giles a341041627 datalog: scoreboard bump (preserve before loops/erlang merge)

2026-05-18 14:48:00 +00:00

..

tests

datalog: dl-set-strategy! validates known strategy values

2026-05-11 09:40:29 +00:00

aggregates.sx

datalog: aggregate validates that agg-var appears in goal

2026-05-11 07:57:01 +00:00

api.sx

datalog: dl-retract! preserves EDB in mixed relations

2026-05-11 07:51:08 +00:00

builtins.sx

datalog: anonymous _ in negation is existential, not unbound

2026-05-11 08:49:20 +00:00

conformance.conf

datalog: Phase 6 adornments + SIPS analysis (194/194)

2026-05-08 09:51:05 +00:00

conformance.sh

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

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

datalog.sx

datalog: refresh datalog.sx API doc with magic-sets + later additions

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

db.sx

datalog: dl-set-strategy! validates known strategy values

2026-05-11 09:40:29 +00:00

demo.sx

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

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

eval.sx

datalog: anonymous-renamer avoids user _anon<N> collision

2026-05-11 09:34:41 +00:00

magic.sx

datalog: magic pre-saturation is conditional, not unconditional

2026-05-11 10:15:05 +00:00

parser.sx

datalog: parser accepts negative integer literals (248/248)

2026-05-10 20:55:42 +00:00

scoreboard.json

datalog: scoreboard bump (preserve before loops/erlang merge)

2026-05-18 14:48:00 +00:00

scoreboard.md

datalog: dl-set-strategy! validates known strategy values

2026-05-11 09:40:29 +00:00

strata.sx

datalog: stratifier rejects recursion through aggregation (165/165)

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

tokenizer.sx

datalog: quoted 'atoms' tokenize as strings

2026-05-11 08:39:24 +00:00

unify.sx

datalog: dl-walk handles circular substitutions without infinite loop (257/257)

2026-05-11 07:20:20 +00:00