<feed xmlns='http://www.w3.org/2005/Atom'>
<title>RNT/lib/kernel/SubstantialRelation.ml, branch constraints</title>
<subtitle></subtitle>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/'/>
<entry>
<title>remove dead API</title>
<updated>2026-09-23T06:35:36+00:00</updated>
<author>
<name>Marcos Magueta</name>
<email>maguetamarcos@gmail.com</email>
</author>
<published>2026-09-23T06:35:36+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/commit/?id=28c55a730d9a0a19a62d85c166dc879aebd7b772'/>
<id>28c55a730d9a0a19a62d85c166dc879aebd7b772</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>lift retaining, membership and mode checks out of ephemeral relation</title>
<updated>2026-09-23T06:32:15+00:00</updated>
<author>
<name>Marcos Magueta</name>
<email>maguetamarcos@gmail.com</email>
</author>
<published>2026-09-23T06:32:15+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/commit/?id=882511dc8c0abded18ba6abdca64938db2652771'/>
<id>882511dc8c0abded18ba6abdca64938db2652771</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>refactor ephemeral and subs relations</title>
<updated>2026-09-23T06:23:40+00:00</updated>
<author>
<name>Marcos Magueta</name>
<email>maguetamarcos@gmail.com</email>
</author>
<published>2026-09-23T06:23:40+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/commit/?id=b4422c99e10a8daee452b22aea84cb1f68ae54bc'/>
<id>b4422c99e10a8daee452b22aea84cb1f68ae54bc</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>make subst relation carry the modes instead of build on every call</title>
<updated>2026-09-23T06:01:40+00:00</updated>
<author>
<name>Marcos Magueta</name>
<email>maguetamarcos@gmail.com</email>
</author>
<published>2026-09-23T06:01:40+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/commit/?id=f88aeff9f7a673e945484a31fbcaed647bb3d2fa'/>
<id>f88aeff9f7a673e945484a31fbcaed647bb3d2fa</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>scan possily leaks its transaction before its first fetch</title>
<updated>2026-09-23T05:44:12+00:00</updated>
<author>
<name>Marcos Magueta</name>
<email>maguetamarcos@gmail.com</email>
</author>
<published>2026-09-23T05:44:12+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/commit/?id=d65bdec20c930a3188d8e0619f861481dabe02ee'/>
<id>d65bdec20c930a3188d8e0619f861481dabe02ee</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>make scan use rdonly transaction on the cursor to avoid deadlock</title>
<updated>2026-09-23T05:41:09+00:00</updated>
<author>
<name>Marcos Magueta</name>
<email>maguetamarcos@gmail.com</email>
</author>
<published>2026-09-23T05:41:09+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/commit/?id=1af6d13048de3773149f689de3c07af96db07f1d'/>
<id>1af6d13048de3773149f689de3c07af96db07f1d</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>provenance</title>
<updated>2026-09-20T06:00:57+00:00</updated>
<author>
<name>Marcos Magueta</name>
<email>maguetamarcos@gmail.com</email>
</author>
<published>2026-09-20T06:00:57+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/commit/?id=3184f85de1dac7071afcf9838dfc3f8609b20a5a'/>
<id>3184f85de1dac7071afcf9838dfc3f8609b20a5a</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>generate and mode functionality for substantial relation</title>
<updated>2026-09-20T05:23:34+00:00</updated>
<author>
<name>Marcos Magueta</name>
<email>maguetamarcos@gmail.com</email>
</author>
<published>2026-09-20T05:23:34+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/commit/?id=2c7ff1f0f7d9c71a8f866bfc9e75c1ad6a5feaa3'/>
<id>2c7ff1f0f7d9c71a8f866bfc9e75c1ad6a5feaa3</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>test mem @ merkle interface without decoding &amp; missing value error</title>
<updated>2026-09-18T03:24:38+00:00</updated>
<author>
<name>Marcos Magueta</name>
<email>maguetamarcos@gmail.com</email>
</author>
<published>2026-09-18T03:24:38+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/commit/?id=c80121c23a90c60b9975e04a49d98c8dfb4866a1'/>
<id>c80121c23a90c60b9975e04a49d98c8dfb4866a1</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>
</feed>
