<feed xmlns='http://www.w3.org/2005/Atom'>
<title>RNT/lib/kernel/BranchManager.ml, branch relation-bipartite-registration</title>
<subtitle></subtitle>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/'/>
<entry>
<title>dune fmt</title>
<updated>2026-09-26T00:51:33+00:00</updated>
<author>
<name>Marcos Magueta</name>
<email>maguetamarcos@gmail.com</email>
</author>
<published>2026-09-26T00:51:33+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/commit/?id=584fbca6d920e9a9f91d451667f9380714ac2175'/>
<id>584fbca6d920e9a9f91d451667f9380714ac2175</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>Make objects printable</title>
<updated>2026-09-24T02:16:27+00:00</updated>
<author>
<name>Estevan Castilho</name>
<email>tevo@riajuu.net</email>
</author>
<published>2026-09-24T02:16:27+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/commit/?id=2d7c5b7c6696f39028ab07064ff75548d71ee5cf'/>
<id>2d7c5b7c6696f39028ab07064ff75548d71ee5cf</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>Do not assume that the hash of an object is its storage address</title>
<updated>2026-09-19T01:09:24+00:00</updated>
<author>
<name>Estevan Castilho</name>
<email>tevo@riajuu.net</email>
</author>
<published>2026-09-19T01:08:28+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/commit/?id=2e2d7f6a9b116dac2fa20be657c916cb498c1508'/>
<id>2e2d7f6a9b116dac2fa20be657c916cb498c1508</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>fix initialization persistence</title>
<updated>2026-09-03T02:42:52+00:00</updated>
<author>
<name>Marcos Magueta</name>
<email>maguetamarcos@gmail.com</email>
</author>
<published>2026-09-03T02:42:52+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/commit/?id=836e1ab528379ac5e0e9151cf369628dcf1034a3'/>
<id>836e1ab528379ac5e0e9151cf369628dcf1034a3</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>Branch registration</title>
<updated>2026-09-03T02:23:51+00:00</updated>
<author>
<name>Estevan Castilho</name>
<email>tevo@riajuu.net</email>
</author>
<published>2026-09-03T02:23:27+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/commit/?id=1259773fac4d7c334351c61ab8cf71231c1af4ef'/>
<id>1259773fac4d7c334351c61ab8cf71231c1af4ef</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>Make it build again</title>
<updated>2026-08-29T02:29:07+00:00</updated>
<author>
<name>Estevan Castilho</name>
<email>tevo@riajuu.net</email>
</author>
<published>2026-08-29T02:29:07+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/commit/?id=207beed2554a5b717625d5d64fd4bcf7e516d2df'/>
<id>207beed2554a5b717625d5d64fd4bcf7e516d2df</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>The branch manager should persist changes to the root</title>
<updated>2026-08-23T03:52:08+00:00</updated>
<author>
<name>Estevan Castilho</name>
<email>tevo@riajuu.net</email>
</author>
<published>2026-08-23T03:52:08+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/commit/?id=8f87d272038ddea11c366d9a14079666daf6628b'/>
<id>8f87d272038ddea11c366d9a14079666daf6628b</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>Register the branch manager as part of the object tree</title>
<updated>2026-08-23T03:35:01+00:00</updated>
<author>
<name>Estevan Castilho</name>
<email>tevo@riajuu.net</email>
</author>
<published>2026-08-23T03:35:01+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/commit/?id=1d0b73b051cff4b14919808c51acbdd1c3e11767'/>
<id>1d0b73b051cff4b14919808c51acbdd1c3e11767</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>
</feed>
