<feed xmlns='http://www.w3.org/2005/Atom'>
<title>RNT/test/unit/kernel, branch constraints</title>
<subtitle></subtitle>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/'/>
<entry>
<title>fix tests</title>
<updated>2026-09-23T06:47:47+00:00</updated>
<author>
<name>Marcos Magueta</name>
<email>maguetamarcos@gmail.com</email>
</author>
<published>2026-09-23T06:47:47+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/commit/?id=41e5d7b8884f23a1e6b7991d1ffcd548d04c9560'/>
<id>41e5d7b8884f23a1e6b7991d1ffcd548d04c9560</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>make substantial relation use merkle.interface</title>
<updated>2026-09-18T03:18:43+00:00</updated>
<author>
<name>Marcos Magueta</name>
<email>maguetamarcos@gmail.com</email>
</author>
<published>2026-09-18T03:18:43+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/commit/?id=1a35fa647b3598111d7dcb281309651ab413b1bc'/>
<id>1a35fa647b3598111d7dcb281309651ab413b1bc</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>fol evaluator</title>
<updated>2026-09-13T17:27:37+00:00</updated>
<author>
<name>Marcos Magueta</name>
<email>maguetamarcos@gmail.com</email>
</author>
<published>2026-09-13T17:27:37+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/commit/?id=ca8c92915bd3a7fa19ef57b8bd5a9b3f16d05254'/>
<id>ca8c92915bd3a7fa19ef57b8bd5a9b3f16d05254</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>appropriate enumeration  for tuple split on object and resident</title>
<updated>2026-09-13T06:19:46+00:00</updated>
<author>
<name>Marcos Magueta</name>
<email>maguetamarcos@gmail.com</email>
</author>
<published>2026-09-13T06:19:46+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/commit/?id=9b9eab0bb54ed951c56eb6551d9ee470dc5b43aa'/>
<id>9b9eab0bb54ed951c56eb6551d9ee470dc5b43aa</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>Allow users to defer persistence when constructing tree nodes</title>
<updated>2026-09-07T23:33:33+00:00</updated>
<author>
<name>Estevan Castilho</name>
<email>tevo@riajuu.net</email>
</author>
<published>2026-09-07T23:33:33+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/commit/?id=962981db8038b980d89142b0b89a1474f7448986'/>
<id>962981db8038b980d89142b0b89a1474f7448986</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>Substantial relation kernel object</title>
<updated>2026-09-03T19:55:45+00:00</updated>
<author>
<name>Marcos Magueta</name>
<email>maguetamarcos@gmail.com</email>
</author>
<published>2026-09-03T19:55:45+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/commit/?id=441f2f3359d6f59e4f26f1d5751926d26b1c7cf9'/>
<id>441f2f3359d6f59e4f26f1d5751926d26b1c7cf9</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>Merge branch 'ocaml-rewrite' into new-ob</title>
<updated>2026-08-23T03:32:24+00:00</updated>
<author>
<name>Estevan Castilho</name>
<email>tevo@riajuu.net</email>
</author>
<published>2026-08-23T03:17:08+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/commit/?id=26e03cf21247aeed6e6f2bfc269c4c540ca9a451'/>
<id>26e03cf21247aeed6e6f2bfc269c4c540ca9a451</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>Move StringKey out of the tests</title>
<updated>2026-08-23T03:06:55+00:00</updated>
<author>
<name>Estevan Castilho</name>
<email>tevo@riajuu.net</email>
</author>
<published>2026-08-13T02:35:57+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/commit/?id=33653002e66f83ec10f4382dd4ad3c18dbf2abff'/>
<id>33653002e66f83ec10f4382dd4ad3c18dbf2abff</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>Revert "format"</title>
<updated>2026-08-23T03:06:53+00:00</updated>
<author>
<name>Marcos Magueta</name>
<email>maguetamarcos@gmail.com</email>
</author>
<published>2026-08-03T02:38:05+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/commit/?id=b790c77c5e42a220a8419c69dbea3e392ee60fbe'/>
<id>b790c77c5e42a220a8419c69dbea3e392ee60fbe</id>
<content type='text'>
This reverts commit fee14f4b29840357f87f02d51953f41ce90f7d9e.
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
This reverts commit fee14f4b29840357f87f02d51953f41ce90f7d9e.
</pre>
</div>
</content>
</entry>
<entry>
<title>format</title>
<updated>2026-08-23T03:06:53+00:00</updated>
<author>
<name>Marcos Magueta</name>
<email>maguetamarcos@gmail.com</email>
</author>
<published>2026-08-03T02:37:51+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/commit/?id=8d59f43f445164e8cc8bd3fe1a23bd04e807a6b3'/>
<id>8d59f43f445164e8cc8bd3fe1a23bd04e807a6b3</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
</feed>
