<feed xmlns='http://www.w3.org/2005/Atom'>
<title>Sakura/lib/nt_ffi.ml, branch docs/tuple-insertion</title>
<subtitle></subtitle>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/Sakura/'/>
<entry>
<title>Fix memory layout and populate attributes for join on clause</title>
<updated>2026-07-07T01:46:09+00:00</updated>
<author>
<name>Marcos Magueta</name>
<email>maguetamarcos@gmail.com</email>
</author>
<published>2026-07-07T01:46:09+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/Sakura/commit/?id=be375a52da6174dfda5b68617d27e1542cc80499'/>
<id>be375a52da6174dfda5b68617d27e1542cc80499</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>Format</title>
<updated>2026-06-24T02:53:26+00:00</updated>
<author>
<name>Marcos Magueta</name>
<email>maguetamarcos@gmail.com</email>
</author>
<published>2026-06-24T02:53:26+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/Sakura/commit/?id=c284fcd570342c31bc21169960579a20a763e32e'/>
<id>c284fcd570342c31bc21169960579a20a763e32e</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>RNT ephemeral relations representation</title>
<updated>2026-06-23T01:55:27+00:00</updated>
<author>
<name>Marcos Magueta</name>
<email>maguetamarcos@gmail.com</email>
</author>
<published>2026-06-23T01:55:27+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/Sakura/commit/?id=b81586ee4a0543a5f9866586c78dccdd6328934a'/>
<id>b81586ee4a0543a5f9866586c78dccdd6328934a</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>Migrate the plan action constructors over to the unified interface (#73)</title>
<updated>2026-06-11T00:42:33+00:00</updated>
<author>
<name>Estevan Castilho</name>
<email>tevo@riajuu.net</email>
</author>
<published>2026-06-11T00:42:33+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/Sakura/commit/?id=57b55b51ee6a1d4678ba37e4631d61a248411ff2'/>
<id>57b55b51ee6a1d4678ba37e4631d61a248411ff2</id>
<content type='text'>
* Bump `RNT` to a version including the new unified planner interface

* Use the new unified planner interface

* github workflow

* Revert "github workflow"

This reverts commit 294b35a81569819047d4af173000b4ff7bc5d6a6.

* But do keep the flake changes

---------

Co-authored-by: Marcos Magueta &lt;maguetamarcos@gmail.com&gt;</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
* Bump `RNT` to a version including the new unified planner interface

* Use the new unified planner interface

* github workflow

* Revert "github workflow"

This reverts commit 294b35a81569819047d4af173000b4ff7bc5d6a6.

* But do keep the flake changes

---------

Co-authored-by: Marcos Magueta &lt;maguetamarcos@gmail.com&gt;</pre>
</div>
</content>
</entry>
<entry>
<title>Link against RNT directly, rather than `dlopen`ing at runtime</title>
<updated>2026-05-28T01:15:11+00:00</updated>
<author>
<name>Estevan Castilho</name>
<email>tevo@riajuu.net</email>
</author>
<published>2026-05-28T00:31:11+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/Sakura/commit/?id=1378202e6b0b51d7d338a1042824860f19fcbc9b'/>
<id>1378202e6b0b51d7d338a1042824860f19fcbc9b</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>RNT interface</title>
<updated>2026-05-18T15:35:26+00:00</updated>
<author>
<name>Marcos Magueta</name>
<email>maguetamarcos@gmail.com</email>
</author>
<published>2026-05-18T15:35:26+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/Sakura/commit/?id=cf0fffed43d0ca7618cd0013411151e057b7a32a'/>
<id>cf0fffed43d0ca7618cd0013411151e057b7a32a</id>
<content type='text'>
Co-authored-by: Estevan Castilho &lt;tevo@riajuu.net&gt;</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
Co-authored-by: Estevan Castilho &lt;tevo@riajuu.net&gt;</pre>
</div>
</content>
</entry>
</feed>
