aboutsummaryrefslogtreecommitdiffstats
path: root/test/unit/evaluators/FOL.ml (unfollow)
Commit message (Expand)AuthorFilesLines
4 daysshare the condition check and employee fixture across testsMarcos Magueta1-33/+12
4 daysclearer names in fol, merging restrictions as they sinkMarcos Magueta1-2/+8
4 dayswhere modes drop only the attribute its index readsMarcos Magueta1-45/+65
4 daysupdate tests and add beam testsMarcos Magueta1-3/+161
12 daysFormattingEstevan Castilho1-6/+9
2026-10-12temporary handle instead of type description everywhereMarcos Magueta1-2/+2
2026-10-12relation scan with enumerable and releaseMarcos Magueta1-10/+3
2026-10-11tests and some pointer for program on ephemeralMarcos Magueta1-96/+142
2026-10-08fix testsdrop-journalMarcos Magueta1-5/+38
2026-10-02FOL test with program instantiationrelation-bipartite-registrationMarcos Magueta1-1/+93
2026-09-26ephemeral relations as outputs of FOL and program overhaulMarcos Magueta1-25/+94
2026-09-25dune fmtMarcos Magueta1-9/+6
2026-09-23fix testsMarcos Magueta1-4/+2
2026-09-18make substantial relation use merkle.interfaceMarcos Magueta1-3/+1
2026-09-18substantial relation context removal and test fixMarcos Magueta1-4/+9
2026-09-13fol evaluatorMarcos Magueta1-0/+71
generated by cgit v1.2.3 (git 2.25.1) at 2026-11-04 14:58:56 +0000