<feed xmlns='http://www.w3.org/2005/Atom'>
<title>RNT/lib/backend, branch constraints</title>
<subtitle></subtitle>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/'/>
<entry>
<title>allow to close storage</title>
<updated>2026-09-23T06:40:37+00:00</updated>
<author>
<name>Marcos Magueta</name>
<email>maguetamarcos@gmail.com</email>
</author>
<published>2026-09-23T06:40:37+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/commit/?id=41c6334bf21b1cbae228b1d75bf3d095ba84bcca'/>
<id>41c6334bf21b1cbae228b1d75bf3d095ba84bcca</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>Associative collections on top of prolly trees</title>
<updated>2026-09-19T03:42:12+00:00</updated>
<author>
<name>Estevan Castilho</name>
<email>tevo@riajuu.net</email>
</author>
<published>2026-09-19T03:42:12+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/commit/?id=82f8bf61e1ded0488334ca4a4b859e969cac100f'/>
<id>82f8bf61e1ded0488334ca4a4b859e969cac100f</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>LMDB safe reading through transactions and protecting pointers from GC</title>
<updated>2026-09-05T23:32:03+00:00</updated>
<author>
<name>Marcos Magueta</name>
<email>maguetamarcos@gmail.com</email>
</author>
<published>2026-09-05T23:32:03+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/commit/?id=18e0c91873167c416e5c69a816741a52d4693bf4'/>
<id>18e0c91873167c416e5c69a816741a52d4693bf4</id>
<content type='text'>
* execution doc rewrite based on multi evaluators
* protect lmdb's buffer from ocaml's lifetime
* appropriate comment on Sys.opaque_identity
* transaction ending to prevent harmfull calls to stale pointers</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
* execution doc rewrite based on multi evaluators
* protect lmdb's buffer from ocaml's lifetime
* appropriate comment on Sys.opaque_identity
* transaction ending to prevent harmfull calls to stale pointers</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>Allow storage backend addresses to be labels rather than hashes</title>
<updated>2026-08-23T03:06:56+00:00</updated>
<author>
<name>Estevan Castilho</name>
<email>tevo@riajuu.net</email>
</author>
<published>2026-08-15T00:09:22+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/commit/?id=5a4f7d5ed6e5d6b2711db316e8de06cea78b54ec'/>
<id>5a4f7d5ed6e5d6b2711db316e8de06cea78b54ec</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>
<entry>
<title>photograph with runtime split for object manager</title>
<updated>2026-08-23T03:06:52+00:00</updated>
<author>
<name>Marcos Magueta</name>
<email>maguetamarcos@gmail.com</email>
</author>
<published>2026-08-03T02:37:13+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/commit/?id=b762cb41da4d822416c3ab66940622882745fc0a'/>
<id>b762cb41da4d822416c3ab66940622882745fc0a</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>architecture diagram on CI</title>
<updated>2026-07-21T05:18:27+00:00</updated>
<author>
<name>Marcos Magueta</name>
<email>maguetamarcos@gmail.com</email>
</author>
<published>2026-07-21T05:18:27+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/commit/?id=fd4e46653d94807a52d5506a172791f1ec1ec891'/>
<id>fd4e46653d94807a52d5506a172791f1ec1ec891</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
</feed>
