aboutsummaryrefslogtreecommitdiffstats
path: root/test/unit/evaluators (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 Castilho12 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-262-164/+94
* dune fmtMarcos Magueta2026-09-252-33/+21
* fix testsMarcos Magueta2026-09-232-8/+4
* make substantial relation use merkle.interfaceMarcos Magueta2026-09-182-4/+2
* substantial relation context removal and test fixMarcos Magueta2026-09-181-4/+9
* fix lambda test and executeMarcos Magueta2026-09-181-5/+13
* lambda latinMarcos Magueta2026-09-131-0/+142
* fol evaluatorMarcos Magueta2026-09-131-0/+71
generated by cgit v1.2.3 (git 2.25.1) at 2026-11-04 14:29:16 +0000