RNT/test/integration, branch master

RNT/test/integration, branch master Formatting 2026-10-24T01:50:35+00:00 Estevan Castilho tevo@riajuu.net 2026-10-24T01:50:35+00:00 b2ff91614a7f1c7dd54a43bbfe88bbb6694b0a71

tests and some pointer for program on ephemeral 2026-10-11T04:28:58+00:00 Marcos Magueta maguetamarcos@gmail.com 2026-10-11T04:28:58+00:00 cc0b15c84de8b866cccd8b660b0ce0afcfba3d98

tests 2026-10-08T23:06:03+00:00 Marcos Magueta maguetamarcos@gmail.com 2026-10-08T23:06:03+00:00 4896005e5d156e8a590b12946a54507daa895686

fix tests 2026-10-08T05:12:17+00:00 Marcos Magueta maguetamarcos@gmail.com 2026-10-08T05:12:17+00:00 46e348142d782cfd94ba37421f92e2871b0f4c22

fix multigroup deriving and tests 2026-10-01T03:53:12+00:00 Marcos Magueta maguetamarcos@gmail.com 2026-10-01T03:53:12+00:00 80b0e6fa676afaefbd3a6dc9edeab073343f0a2b

ephemeral relations as outputs of FOL and program overhaul 2026-09-26T16:22:10+00:00 Marcos Magueta maguetamarcos@gmail.com 2026-09-26T16:22:10+00:00 504e2d03a10f1641b36a9d5f127a18bc943562ce

dune fmt 2026-09-26T00:51:33+00:00 Marcos Magueta maguetamarcos@gmail.com 2026-09-26T00:51:33+00:00 584fbca6d920e9a9f91d451667f9380714ac2175

Actually register the multigroup 2026-09-24T04:26:17+00:00 Estevan Castilho tevo@riajuu.net 2026-09-24T04:25:50+00:00 721b1fda713a08bbc4f9a8e50820ce1491e32ff1

Multigroup registration stub 2026-09-24T02:17:01+00:00 Estevan Castilho tevo@riajuu.net 2026-09-24T02:17:01+00:00 5a1088413468f171886d39339a8de96697af64c5

Merge branch 'master' into evaluator 2026-09-17T01:52:58+00:00 Estevan Castilho tevo@riajuu.net 2026-09-17T01:52:58+00:00 4a172f7bc032d9d0e16fa446f1f5e19cc4feb0fe