giles

giles pushed to loops/datalog at coop/rose-ash

2026-05-08 09:45:18 +00:00

d66ddc614b datalog: aggregates work as top-level query goals (183/183)

giles pushed to loops/datalog at coop/rose-ash

2026-05-08 09:41:04 +00:00

f33a8d69f5 datalog: dl-eval source + query convenience (181/181)

giles pushed to loops/datalog at coop/rose-ash

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

148c3f2068 datalog: dl-set-strategy! hook (Phase 6 stub, 179/179)

giles pushed to loops/datalog at coop/rose-ash

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

18fb54a8c5 datalog: refresh module headers (findall, 6 demos)

giles pushed to loops/datalog at coop/rose-ash

2026-05-08 09:35:40 +00:00

cf634ad2b1 datalog: shortest-path demo on weighted DAG (176/176)

giles pushed to architecture at coop/rose-ash

2026-05-08 09:34:02 +00:00

62da10030b Merge remote-tracking branch 'origin/loops/tcl' into architecture

0e30cf1af6 plans: Phase 6 verified 399/399 — vwait :: deadlock fixed via tcl-var-lookup-or-nil

21028c4fb0 tcl: rename tcl-vwait-lookup → tcl-var-lookup-or-nil; use in info exists

7415dd020e tcl: Phase 6a fix vwait :: routing — was infinite-looping

0528a5cfa7 plans: tick Phase 6 — namespace, list ops, dict additions, scan/format, exec [WIP]

Compare 6 commits »

giles pushed to loops/tcl at coop/rose-ash

2026-05-08 09:32:54 +00:00

21028c4fb0 tcl: rename tcl-vwait-lookup → tcl-var-lookup-or-nil; use in info exists

giles pushed to hs-f at coop/rose-ash

2026-05-08 09:31:22 +00:00

b3c9d9eb3a HS: scoreboard 1511/1511 (3 architectural skips remaining)

giles pushed to loops/tcl at coop/rose-ash

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

7415dd020e tcl: Phase 6a fix vwait :: routing — was infinite-looping

giles pushed to loops/datalog at coop/rose-ash

2026-05-08 09:30:55 +00:00

380580af17 datalog: dl-summary inspection helper (173/173)

giles pushed to loops/datalog at coop/rose-ash

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

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

giles pushed to loops/ocaml at coop/rose-ash

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

7fb65cd26a ocaml: phase 1+2 records {x=1;y=2} + with-update (+6 tests, 289 total)

giles pushed to loops/ocaml at coop/rose-ash

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

9473911cf3 ocaml: phase 5.1 conformance.sh + scoreboard (283 tests across 14 suites)

giles pushed to loops/ocaml at coop/rose-ash

2026-05-08 09:21:16 +00:00

74b80e6b0e ocaml: phase 1 unit/wildcard params + 180s timeout (+5 tests, 283 total)

giles pushed to loops/datalog at coop/rose-ash

2026-05-08 09:21:04 +00:00

c7315f5877 datalog-plan: progress entry for tag co-occurrence demo

giles pushed to loops/datalog at coop/rose-ash

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

9054fe983d datalog: tag co-occurrence demo (169/169)

giles pushed to loops/js at coop/rose-ash

2026-05-08 09:19:25 +00:00

082749f0a9 js-on-sx: Boolean(NaN) === false

giles pushed to loops/datalog at coop/rose-ash

2026-05-08 09:17:21 +00:00

408fc27366 datalog: dl-query accepts conjunctive goal lists (167/167)

giles pushed to loops/datalog at coop/rose-ash

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

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

giles pushed to loops/ocaml at coop/rose-ash

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

c8bfd22786 ocaml: phase 6 String/Char/Int/Float/Printf modules (+13 tests, 278 total)