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

…

api.sx

…

builtins.sx

datalog: anonymous _ in negation is existential, not unbound

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

conformance.conf

…

conformance.sh

…

datalog.sx

…

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

…

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