<feed xmlns='http://www.w3.org/2005/Atom'>
<title>RNT/test/unit/evaluators, branch indexes</title>
<subtitle></subtitle>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/'/>
<entry>
<title>share the condition check and employee fixture across tests</title>
<updated>2026-10-31T06:17:49+00:00</updated>
<author>
<name>Marcos Magueta</name>
<email>maguetamarcos@gmail.com</email>
</author>
<published>2026-10-31T06:17:49+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/commit/?id=2c500b00e821c11aa9d5c86985e6adc2b59572a9'/>
<id>2c500b00e821c11aa9d5c86985e6adc2b59572a9</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>clearer names in fol, merging restrictions as they sink</title>
<updated>2026-10-31T05:56:49+00:00</updated>
<author>
<name>Marcos Magueta</name>
<email>maguetamarcos@gmail.com</email>
</author>
<published>2026-10-31T05:56:49+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/commit/?id=97dc56016bd0c7ddea4445c5ea5978220cc9e776'/>
<id>97dc56016bd0c7ddea4445c5ea5978220cc9e776</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>where modes drop only the attribute its index reads</title>
<updated>2026-10-31T05:52:11+00:00</updated>
<author>
<name>Marcos Magueta</name>
<email>maguetamarcos@gmail.com</email>
</author>
<published>2026-10-31T05:52:11+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/commit/?id=dc7d355dbc581c2595a2bba4c377cacb6c2ff696'/>
<id>dc7d355dbc581c2595a2bba4c377cacb6c2ff696</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>update tests and add beam tests</title>
<updated>2026-10-31T05:28:17+00:00</updated>
<author>
<name>Marcos Magueta</name>
<email>maguetamarcos@gmail.com</email>
</author>
<published>2026-10-31T05:28:17+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/commit/?id=71856adc5ff5d64c7be1b37854fc8a205d55e482'/>
<id>71856adc5ff5d64c7be1b37854fc8a205d55e482</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>Formatting</title>
<updated>2026-10-24T01:50:35+00:00</updated>
<author>
<name>Estevan Castilho</name>
<email>tevo@riajuu.net</email>
</author>
<published>2026-10-24T01:50:35+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/commit/?id=b2ff91614a7f1c7dd54a43bbfe88bbb6694b0a71'/>
<id>b2ff91614a7f1c7dd54a43bbfe88bbb6694b0a71</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>temporary handle instead of type description everywhere</title>
<updated>2026-10-12T15:00:45+00:00</updated>
<author>
<name>Marcos Magueta</name>
<email>maguetamarcos@gmail.com</email>
</author>
<published>2026-10-12T15:00:45+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/commit/?id=7689433baac01b6e9f3d7f91bec0ec1b89f15104'/>
<id>7689433baac01b6e9f3d7f91bec0ec1b89f15104</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>relation scan with enumerable and release</title>
<updated>2026-10-12T14:58:25+00:00</updated>
<author>
<name>Marcos Magueta</name>
<email>maguetamarcos@gmail.com</email>
</author>
<published>2026-10-12T14:58:25+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/commit/?id=ad33454a204aa5791445e7d15f02ba0447fff85e'/>
<id>ad33454a204aa5791445e7d15f02ba0447fff85e</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>tests and some pointer for program on ephemeral</title>
<updated>2026-10-11T04:28:58+00:00</updated>
<author>
<name>Marcos Magueta</name>
<email>maguetamarcos@gmail.com</email>
</author>
<published>2026-10-11T04:28:58+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/commit/?id=cc0b15c84de8b866cccd8b660b0ce0afcfba3d98'/>
<id>cc0b15c84de8b866cccd8b660b0ce0afcfba3d98</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>fix tests</title>
<updated>2026-10-08T05:12:17+00:00</updated>
<author>
<name>Marcos Magueta</name>
<email>maguetamarcos@gmail.com</email>
</author>
<published>2026-10-08T05:12:17+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/commit/?id=46e348142d782cfd94ba37421f92e2871b0f4c22'/>
<id>46e348142d782cfd94ba37421f92e2871b0f4c22</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>FOL test with program instantiation</title>
<updated>2026-10-03T00:55:45+00:00</updated>
<author>
<name>Marcos Magueta</name>
<email>maguetamarcos@gmail.com</email>
</author>
<published>2026-10-03T00:55:45+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/commit/?id=73aec387d33626e33026432db5b1137b59edf0cf'/>
<id>73aec387d33626e33026432db5b1137b59edf0cf</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
</feed>
