giles 0985dc6386 datalog: disjunction via multiple rules test (231/231)

2026-05-08 14:12:34 +00:00

..

aggregates.sx

datalog: indirect aggregate cycle rejected (230/230)

2026-05-08 14:08:02 +00:00

api.sx

datalog: dl-eval ≡ dl-eval-magic equivalence test (215/215)

2026-05-08 10:19:58 +00:00

builtins.sx

datalog: bounded-successor regression test (224/224)

2026-05-08 10:36:13 +00:00

demo.sx

datalog: org-chart + transitive headcount demo (219/219)

2026-05-08 10:24:10 +00:00

eval.sx

datalog: disjunction via multiple rules test (231/231)

2026-05-08 14:12:34 +00:00

magic.sx

datalog: magic existence check (bb-adornment) regression test (228/228)

2026-05-08 12:35:33 +00:00

negation.sx

datalog: stratified negation (Phase 7, 124/124)

2026-05-08 08:20:56 +00:00

parse.sx

datalog: parser + 18 tests + conformance harness (Phase 1 done, 44/44)

2026-05-07 23:31:24 +00:00

semi_naive.sx

datalog: first-arg index per relation (Phase 5e perf, 169/169)

2026-05-08 09:27:44 +00:00

tokenize.sx

datalog: tokenizer + 26 tests (Phase 1)

2026-05-07 23:05:59 +00:00

unify.sx

datalog: unification + substitution + 28 tests (Phase 2, 72/72)

2026-05-07 23:34:35 +00:00