aboutsummaryrefslogtreecommitdiffstats
path: root/test/unit/evaluators/FOL.ml (follow)
Commit message (Expand)AuthorAgeFilesLines
* share the condition check and employee fixture across testsMarcos Magueta4 days1-33/+12
* clearer names in fol, merging restrictions as they sinkMarcos Magueta4 days1-2/+8
* where modes drop only the attribute its index readsMarcos Magueta4 days1-45/+65
* update tests and add beam testsMarcos Magueta4 days1-3/+161
* FormattingEstevan Castilho11 days1-6/+9
* temporary handle instead of type description everywhereMarcos Magueta2026-10-121-2/+2
* relation scan with enumerable and releaseMarcos Magueta2026-10-121-10/+3
* tests and some pointer for program on ephemeralMarcos Magueta2026-10-111-96/+142
* fix testsdrop-journalMarcos Magueta2026-10-081-5/+38
* FOL test with program instantiationrelation-bipartite-registrationMarcos Magueta2026-10-021-1/+93
* ephemeral relations as outputs of FOL and program overhaulMarcos Magueta2026-09-261-25/+94
* dune fmtMarcos Magueta2026-09-251-9/+6
* fix testsMarcos Magueta2026-09-231-4/+2
* make substantial relation use merkle.interfaceMarcos Magueta2026-09-181-3/+1
* substantial relation context removal and test fixMarcos Magueta2026-09-181-4/+9
* fol evaluatorMarcos Magueta2026-09-131-0/+71
generated by cgit v1.2.3 (git 2.25.1) at 2026-11-04 11:36:45 +0000