aboutsummaryrefslogtreecommitdiffstats
BranchCommit messageAuthorAge
constraintsgenerates_when constraint utilityMarcos Magueta6 weeks
drop-journalfix testsMarcos Magueta4 weeks
indexesdocs for hashed index keys, merged restrictions and narrower where modesMarcos Magueta4 days
journaljournal for the websiteMarcos Magueta4 weeks
karuta-subsystemdriver due to the lack of an init system for headless runMarcos Magueta4 days
lifecycle-ergonomicsStyleEstevan Castilho4 weeks
masterbeam subsystem hack for karuta execution under internal nodeMarcos Magueta4 days
relation-bipartite-registrationFOL test with program instantiationMarcos Magueta5 weeks
relation-registrationFix build, allow users to register relationsEstevan Castilho6 weeks
sessionfollow only a snapshot instead of the dead branchMarcos Magueta5 weeks
[...]
 
 
AgeCommit messageAuthorFilesLines
2026-09-26Fix build, allow users to register relationsrelation-registrationEstevan Castilho5-1/+29
2026-09-25dune fmtMarcos Magueta58-1190/+1123
2026-09-26Merge branch 'branch-registration'Estevan Castilho21-44/+143
2026-09-25Split that up a littleEstevan Castilho1-15/+20
2026-09-24Actually register the multigroupEstevan Castilho6-12/+43
2026-09-24Multigroup registration stubEstevan Castilho4-9/+26
2026-09-24Make objects printableEstevan Castilho12-3/+31
2026-09-24`assoc` on associativesEstevan Castilho4-16/+34
2026-09-23windows gitignoreMarcos Magueta1-1/+2
2026-09-23cardinality testsMarcos Magueta2-0/+26
[...]
 
Clone
git@src.symbolic.engineering:RNT.git