<feed xmlns='http://www.w3.org/2005/Atom'>
<title>RNT/lib/kernel/Generator.ml, branch constraints</title>
<subtitle></subtitle>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/'/>
<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>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>ephemeral relation and generator at the kernel</title>
<updated>2026-09-11T04:10:28+00:00</updated>
<author>
<name>Marcos Magueta</name>
<email>maguetamarcos@gmail.com</email>
</author>
<published>2026-09-10T03:20:27+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/commit/?id=e3d42d5074be054c2f6a2e9f02805ab047f07db9'/>
<id>e3d42d5074be054c2f6a2e9f02805ab047f07db9</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
</feed>
