<feed xmlns='http://www.w3.org/2005/Atom'>
<title>RNT/lib/kernel/Storage.mli, 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>Branch serialization</title>
<updated>2026-08-27T01:41:12+00:00</updated>
<author>
<name>Estevan Castilho</name>
<email>tevo@riajuu.net</email>
</author>
<published>2026-08-27T01:35:53+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/commit/?id=e61404f0219cd8f07c6c278f7ee952c70ce5bdf4'/>
<id>e61404f0219cd8f07c6c278f7ee952c70ce5bdf4</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>Typed storage pointers</title>
<updated>2026-08-23T17:03:40+00:00</updated>
<author>
<name>Estevan Castilho</name>
<email>tevo@riajuu.net</email>
</author>
<published>2026-08-23T17:03:40+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/commit/?id=9efb32195a905de2d66ce29164cc22970833c2d7'/>
<id>9efb32195a905de2d66ce29164cc22970833c2d7</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>Tidy up</title>
<updated>2026-08-23T03:06:58+00:00</updated>
<author>
<name>Estevan Castilho</name>
<email>tevo@riajuu.net</email>
</author>
<published>2026-08-22T17:55:26+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/commit/?id=db968eccee931abc8ad00d74d152625a2ab3174e'/>
<id>db968eccee931abc8ad00d74d152625a2ab3174e</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>Move storage helpers to a dedicated module</title>
<updated>2026-08-23T03:06:54+00:00</updated>
<author>
<name>Estevan Castilho</name>
<email>tevo@riajuu.net</email>
</author>
<published>2026-08-13T00:22:02+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/commit/?id=a727eb4351df972ff2e34fa111aeb435e70cdbd4'/>
<id>a727eb4351df972ff2e34fa111aeb435e70cdbd4</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
</feed>
