aboutsummaryrefslogtreecommitdiffstats
path: root/test/unit/evaluators/FOL.ml (follow)
Commit message (Collapse)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 13:33:02 +0000