-
f03aa3056d
js-on-sx: js-to-number throws TypeError on non-primitive
giles
2026-05-08 10:53:58 +00:00
-
428ca79f61
mk: rembero / assoco / nth-o — more list relations
giles
2026-05-08 10:50:28 +00:00
-
bf9fe8b365
mk: flatteno — nested list flattener
giles
2026-05-08 10:46:13 +00:00
-
2ae848dfe7
mk: laziness tests — Zzz-conde + interleaving fairness
giles
2026-05-08 10:43:45 +00:00
-
96f66d3596
datalog: dl-magic-query handles mixed EDB+IDB relations (225/225)
giles
2026-05-08 10:41:36 +00:00
-
33693fc957
mk: 4-queens classic benchmark green
giles
2026-05-08 10:41:02 +00:00
-
254052a43b
datalog-plan: rolling status 224/224
giles
2026-05-08 10:36:40 +00:00
-
ec7e4dd5c4
datalog: bounded-successor regression test (224/224)
giles
2026-05-08 10:36:13 +00:00
-
370df5b8e5
datalog: diagonal query (repeated var) regression test (223/223)
giles
2026-05-08 10:33:45 +00:00
-
a648247ae4
datalog: dl-magic-query falls back on built-in/agg/neg goals (222/222)
giles
2026-05-08 10:32:01 +00:00
-
5a3db1a458
datalog: magic preserves arithmetic test (221/221)
giles
2026-05-08 10:29:14 +00:00
-
549cb5ea84
datalog: mixed-EDB+IDB-same-relation regression test (220/220)
giles
2026-05-08 10:27:45 +00:00
-
30880927f2
datalog-plan: rolling status update (219/219, 7 demos)
giles
2026-05-08 10:24:45 +00:00
-
e0c7de1a1c
datalog: org-chart + transitive headcount demo (219/219)
giles
2026-05-08 10:24:10 +00:00
-
de734b27b8
datalog: group-by-via-aggregate-in-rule test (216/216)
giles
2026-05-08 10:22:03 +00:00
-
4c11c4e1b9
js-on-sx: native prototypes inherit from Object.prototype
giles
2026-05-08 10:21:05 +00:00
-
7a64be22d8
datalog: dl-eval ≡ dl-eval-magic equivalence test (215/215)
giles
2026-05-08 10:19:58 +00:00
-
9695d31dab
datalog: dl-rules-of relation-inspection helper (214/214)
giles
2026-05-08 10:17:44 +00:00
-
fc6979a371
datalog: dl-saturated? fixpoint predicate (212/212)
giles
2026-05-08 10:15:29 +00:00
-
43fa31375d
datalog: magic-vs-semi work-shape test on chain-12 (209/209)
giles
2026-05-08 10:13:13 +00:00
-
4a643a5c52
datalog-plan: rolling status header (208/208, all phases addressed)
giles
2026-05-08 10:11:00 +00:00
-
ce8fed6b22
datalog: refresh datalog.sx API doc with magic-sets + later additions
giles
2026-05-08 10:08:58 +00:00
-
5100c5d5a6
datalog-plan: tick Phase 9 federation demo (already in demo.sx)
giles
2026-05-08 10:07:35 +00:00
-
9c5a697e45
datalog: dl-clear-idb! helper (208/208)
giles
2026-05-08 10:06:48 +00:00
-
282a3d3d06
datalog: dl-eval-magic single-call magic-sets entry (206/206)
giles
2026-05-08 10:04:59 +00:00
-
57a1dbb232
datalog: magic-sets benefit test on disjoint-cluster graph (205/205)
giles
2026-05-08 10:03:04 +00:00
-
a53e47b415
datalog: dl-magic-query driver (204/204)
giles
2026-05-08 10:00:44 +00:00
-
a080ce656c
datalog: magic-sets rewriter (Phase 6, 202/202)
giles
2026-05-08 09:58:36 +00:00
-
2a01d8ac91
datalog: magic-sets building blocks (199/199)
giles
2026-05-08 09:53:38 +00:00
-
71b73bd87e
datalog: Phase 6 adornments + SIPS analysis (194/194)
giles
2026-05-08 09:51:05 +00:00
-
88b3db2e9f
js-on-sx: delete obj.key actually removes the key
giles
2026-05-08 09:49:18 +00:00
-
e2c149e60a
datalog: comprehensive integration test (184/184)
giles
2026-05-08 09:47:56 +00:00
-
d66ddc614b
datalog: aggregates work as top-level query goals (183/183)
giles
2026-05-08 09:45:15 +00:00
-
f33a8d69f5
datalog: dl-eval source + query convenience (181/181)
giles
2026-05-08 09:41:02 +00:00
-
148c3f2068
datalog: dl-set-strategy! hook (Phase 6 stub, 179/179)
giles
2026-05-08 09:38:59 +00:00
-
18fb54a8c5
datalog: refresh module headers (findall, 6 demos)
giles
2026-05-08 09:37:12 +00:00
-
cf634ad2b1
datalog: shortest-path demo on weighted DAG (176/176)
giles
2026-05-08 09:35:38 +00:00
-
62da10030b
Merge remote-tracking branch 'origin/loops/tcl' into architecture
giles
2026-05-08 09:33:49 +00:00
-
-
-
-
0e30cf1af6
plans: Phase 6 verified 399/399 — vwait :: deadlock fixed via tcl-var-lookup-or-nil
giles
2026-05-08 09:33:48 +00:00
-
21028c4fb0
tcl: rename tcl-vwait-lookup → tcl-var-lookup-or-nil; use in info exists
giles
2026-05-08 09:32:44 +00:00
-
b3c9d9eb3a
HS: scoreboard 1511/1511 (3 architectural skips remaining)
giles
2026-05-08 09:31:06 +00:00
-
7415dd020e
tcl: Phase 6a fix vwait :: routing — was infinite-looping
giles
2026-05-08 09:30:51 +00:00
-
380580af17
datalog: dl-summary inspection helper (173/173)
giles
2026-05-08 09:30:50 +00:00
-
cc64ec5cf2
datalog: first-arg index per relation (Phase 5e perf, 169/169)
giles
2026-05-08 09:27:44 +00:00
-
7fb65cd26a
ocaml: phase 1+2 records {x=1;y=2} + with-update (+6 tests, 289 total)
giles
2026-05-08 09:26:24 +00:00
-
9473911cf3
ocaml: phase 5.1 conformance.sh + scoreboard (283 tests across 14 suites)
giles
2026-05-08 09:23:06 +00:00
-
74b80e6b0e
ocaml: phase 1 unit/wildcard params + 180s timeout (+5 tests, 283 total)
giles
2026-05-08 09:21:06 +00:00
-
c7315f5877
datalog-plan: progress entry for tag co-occurrence demo
giles
2026-05-08 09:21:00 +00:00
-
9054fe983d
datalog: tag co-occurrence demo (169/169)
giles
2026-05-08 09:20:23 +00:00
-
082749f0a9
js-on-sx: Boolean(NaN) === false
giles
2026-05-08 09:19:21 +00:00
-
408fc27366
datalog: dl-query accepts conjunctive goal lists (167/167)
giles
2026-05-08 09:17:15 +00:00
-
b95d8c5a63
datalog: stratifier rejects recursion through aggregation (165/165)
giles
2026-05-08 09:13:10 +00:00
-
c8bfd22786
ocaml: phase 6 String/Char/Int/Float/Printf modules (+13 tests, 278 total)
giles
2026-05-08 09:10:06 +00:00
-
a63d67247a
datalog: add public-API documentation index in datalog.sx
giles
2026-05-08 09:08:58 +00:00
-
d09ed83fa1
datalog: cooking-posts canonical demo (Phase 10, 162/162)
giles
2026-05-08 09:05:36 +00:00
-
55286cc5bc
datalog: findall aggregate (159/159)
giles
2026-05-08 09:02:43 +00:00
-
26863242a0
ocaml: phase 5 HM type inference — closes lib-guest step 8 (+14 tests, 265 total)
giles
2026-05-08 09:02:25 +00:00
-
5a1dc4392f
datalog: anonymous _ vars are unique per occurrence (Phase 5d, 156/156)
giles
2026-05-08 08:58:17 +00:00
-
4c6790046c
ocaml: phase 2 let..and.. mutual recursion (+3 tests, 251 total)
giles
2026-05-08 08:53:53 +00:00
-
f4c155c9c5
HS: hoist emit-on throttle/debounce helpers to module level (perf)
giles
2026-05-08 08:50:45 +00:00
-
790c17dfc1
datalog: indexed dl-find-bindings + chain-15 differential (Phase 5c, 153/153)
giles
2026-05-08 08:50:24 +00:00
-
19f1cad11d
ocaml: phase 6 stdlib slice (List/Option/Result, +23 tests, 248 total)
giles
2026-05-08 08:49:44 +00:00
-
de302fc236
datalog: rose-ash demo programs (Phase 10 syntactic, 153/153)
giles
2026-05-08 08:45:59 +00:00
-
5603ecc3a6
ocaml: phase 4 functors + module aliases (+5 tests, 225 total)
giles
2026-05-08 08:44:54 +00:00
-
7a898567e4
js-on-sx: global eval(src) actually evaluates the source
giles
2026-05-08 08:44:34 +00:00
-
3cc760082c
datalog: hash-set membership for facts (Phase 5b perf)
giles
2026-05-08 08:42:10 +00:00
-
d45e653a87
ocaml: phase 4 open / include (+5 tests, 220 total)
giles
2026-05-08 08:39:13 +00:00
-
ce603e9879
datalog: SX-data embedding API (Phase 9, 143/143)
giles
2026-05-08 08:34:08 +00:00
-
317f93b2af
ocaml: phase 4 modules + field access (+11 tests, 215 total)
giles
2026-05-08 08:33:34 +00:00
-
0528a5cfa7
plans: tick Phase 6 — namespace, list ops, dict additions, scan/format, exec [WIP]
giles
2026-05-08 08:29:21 +00:00
-
6d04cf7bf2
datalog: aggregation count/sum/min/max (Phase 8, 134/134)
giles
2026-05-08 08:28:45 +00:00
-
2fa0bb4df1
tcl: Phase 6 — namespace, list ops, dict additions, scan/format, exec [WIP]
giles
2026-05-08 08:28:05 +00:00
-
caec05eb27
datalog: stratified negation (Phase 7, 124/124)
giles
2026-05-08 08:20:56 +00:00
-
6a1f63f0d1
ocaml: phase 2 try/with + raise (+6 tests, 204 total)
giles
2026-05-08 08:20:11 +00:00
-
937342bbf0
ocaml: phase 2 function | pat -> body (+4 tests, 198 total)
giles
2026-05-08 08:15:38 +00:00
-
d964f58c48
datalog: semi-naive saturator + delta sets (Phase 5, 114/114)
giles
2026-05-08 08:13:07 +00:00
-
9b8b0b4325
ocaml: phase 2 for/while loops (+5 tests, 194 total)
giles
2026-05-08 08:11:13 +00:00
-
a11f3c33b6
ocaml: phase 2 references ref/!/:= (+6 tests, 189 total)
giles
2026-05-08 08:07:26 +00:00
-
9b833a9442
ocaml: phase 3 pattern matching + constructors (+18 tests, 183 total)
giles
2026-05-08 08:02:56 +00:00
-
4dca583ee3
ocaml: phase 2 evaluator slice (+42 tests, 165 total)
giles
2026-05-08 07:57:20 +00:00
-
3d2a5b1814
mk: phase 6A — minimal FD (ino + all-distincto)
giles
2026-05-08 07:56:58 +00:00
-
bc9261e90a
mk: matche keyword pattern fix + classic puzzles
giles
2026-05-08 07:50:03 +00:00
-
a6ab944c39
ocaml: phase 1 sequence operator ; (+10 tests, 123 total)
giles
2026-05-08 07:48:52 +00:00
-
58c6ec27f3
plans: log blocker — sx-tree MCP disconnected at start of Phase 10
giles
2026-05-08 07:46:59 +00:00
-
fd73f3c51b
mk: phase 5D — matche pattern matching, phase 5 complete
giles
2026-05-08 07:41:51 +00:00
-
9102e57d89
ocaml: phase 1 match/with + pattern parser (+9 tests, 113 total)
giles
2026-05-08 07:29:02 +00:00
-
fa43aa6711
plans: Phase 10 — runtime gaps (⍸ ∪ ∩ ⊥ ⊤ ⊆ ⍎) + life/quicksort as-written
giles
2026-05-08 07:27:22 +00:00
-
9648dac88d
ocaml: phase 1 top-level decls (+9 tests, 104 total)
giles
2026-05-08 07:25:11 +00:00
-
0d2eede5fb
merge: loops/apl — Phase 9 complete (.apl source files run as-written)
giles
2026-05-08 07:23:34 +00:00
-
-
-
-
-
-
b8a0c504bc
mk: phase 4C — permuteo (with inserto helper)
giles
2026-05-08 07:22:41 +00:00
-
a9eb821cce
HS: tokenizer-stream API → 13 tests pass (-13 skips)
giles
2026-05-08 07:22:40 +00:00
-
1b7bb5ad1f
js-on-sx: new <non-callable> throws TypeError instead of hanging
giles
2026-05-08 07:17:44 +00:00
-
d0b358eca2
HS: parser+compiler — toggle for-in lookahead, throttled/debounced modifiers (-2 skips)
giles
2026-05-08 07:16:27 +00:00
-
badb428100
merge: architecture into loops/haskell — Phases 7-16 complete + Phases 17-19 planned
giles
2026-05-08 07:06:28 +00:00
-
-
-
-
bfec2a4320
js-on-sx: JS functions accept extra args silently
giles
2026-05-08 06:36:54 +00:00
-
b1023f11d9
js-on-sx: lower array pad bail-out to 1M to kill remaining hang
giles
2026-05-08 06:03:54 +00:00
-
16f7a14506
js-on-sx: bail out of array set/length at 2^32-1 instead of padding
giles
2026-05-08 05:31:50 +00:00
-
0cfaeb9136
js-on-sx: built-in .length returns spec-defined values
giles
2026-05-08 05:01:12 +00:00
-
8d9ce7838d
js-on-sx: Object.prototype.toString dispatches by [[Class]]
giles
2026-05-08 04:26:37 +00:00
-
fb0ca374a3
js-on-sx: Math.X.name maps SX names to JS for trig/log/etc.
giles
2026-05-08 03:52:21 +00:00