-
ad252088c3
ocaml: phase 4 module type S = sig … end parser (+3 tests, 389 total)
giles
2026-05-08 15:11:45 +00:00
-
76ccbfbab6
ocaml: refresh scoreboard (387/387 across 14 suites)
giles
2026-05-08 15:07:55 +00:00
-
98049d5458
ocaml: phase 1+3 record patterns { f = pat } (+4 tests, 386 total)
giles
2026-05-08 15:06:44 +00:00
-
92619301e2
HS: 1514/1514 = 100.0% — zero skips (full upstream coverage)
giles
2026-05-08 15:05:15 +00:00
-
0cf5c8f219
ocaml: phase 5.1 expr_eval.ml baseline (9/9 pass)
giles
2026-05-08 15:01:04 +00:00
-
47e68454ad
js-on-sx: String(arr) honours Array.prototype.toString overrides
giles
2026-05-08 14:46:35 +00:00
-
8644668fc9
mk: phase 6 done — fd-fire-store iterates, N-queens FD works
giles
2026-05-08 14:44:59 +00:00
-
62a5a29d5b
datalog-plan: rolling status 239/239 (magic worklist bug fixed)
giles
2026-05-08 14:41:29 +00:00
-
17d6f58cc5
datalog: dl-magic-rewrite worklist now drains across rule chains (239/239)
giles
2026-05-08 14:41:05 +00:00
-
a6e758664b
mk: phase 6H — fd-times (x * y = z)
giles
2026-05-08 14:37:17 +00:00
-
5d3c248fdd
mk: phase 6G — fd-plus (x + y = z)
giles
2026-05-08 14:36:25 +00:00
-
f88388b2f9
mk: phase 6F — fd-distinct (pairwise alldifferent)
giles
2026-05-08 14:35:19 +00:00
-
c01ddc2b23
mk: phase 6E — fd-lt + fd-lte + fd-eq with propagation
giles
2026-05-08 14:34:10 +00:00
-
e981368dcf
datalog: magic ≡ semi on federation foaf demo (237/237)
giles
2026-05-08 14:29:18 +00:00
-
27637aa0f9
mk: phase 6D — fd-neq with propagation + constraint reactivation
giles
2026-05-08 14:24:28 +00:00
-
59bec68dcc
perf: Phase 6 — substrate perf-regression alarm (perf-smoke)
giles
2026-05-08 14:23:45 +00:00
-
4a7cff2f6b
datalog: built-in-only query goals (236/236)
giles
2026-05-08 14:19:25 +00:00
-
21c541bd1b
datalog: parser rejection tests for invalid relation names (233/233)
giles
2026-05-08 14:16:31 +00:00
-
e9d4d107a6
HS: clear final 3 skips — template-components + async event dispatch (1514/1514)
giles
2026-05-08 14:14:27 +00:00
-
0985dc6386
datalog: disjunction via multiple rules test (231/231)
giles
2026-05-08 14:12:34 +00:00
-
f2817bb6be
mk: phase 6C — fd-in + fd-label (domain narrowing + labelling)
giles
2026-05-08 14:09:18 +00:00
-
f12edc8fd9
datalog: indirect aggregate cycle rejected (230/230)
giles
2026-05-08 14:08:02 +00:00
-
92f6f187b7
merge: architecture into bugs/jit-perf — Phase 1 deadline tweaks
giles
2026-05-08 14:07:14 +00:00
-
-
c71da0e1cf
mk: phase 6B — clpfd.sx domain primitives
giles
2026-05-08 14:06:19 +00:00
-
c361946974
perf: deadline tweaks (tcl 2400→300s, erlang 120→600s); plan + Phase 1 findings
giles
2026-05-08 14:05:29 +00:00
-
9f539ab392
ocaml: phase 3 polymorphic variants (+4 tests, 382 total)
giles
2026-05-08 14:03:09 +00:00
-
986b15c0e5
ocaml: phase 6 Float module: sqrt/sin/cos/pow/floor/ceil/round/pi (+6 tests, 378 total)
giles
2026-05-08 13:58:52 +00:00
-
0b4f5e1df9
js-on-sx: top-level this resolves to the global object
giles
2026-05-08 13:55:12 +00:00
-
ee002f2e02
ocaml: phase 1/5/6 float arithmetic +./-./*./. (+5 tests, 372 total)
giles
2026-05-08 13:55:04 +00:00
-
16df48ff74
ocaml: phase 6 List.combine/split/iter2/fold_left2/map2 (+4, 367 total)
giles
2026-05-08 13:48:48 +00:00
-
dac9cf124f
ocaml: refresh scoreboard (364/364 across 14 suites)
giles
2026-05-08 13:45:29 +00:00
-
46d0eb258e
ocaml: phase 5.1 baseline 8/8 — quicksort + exceptions + closures
giles
2026-05-08 13:44:28 +00:00
-
de7be332c8
ocaml: phase 5.1 baseline OCaml programs (5/5 pass) + lookahead boundary
giles
2026-05-08 13:33:24 +00:00
-
4ab79f5758
js-on-sx: parser handles comma operator (a, b, c)
giles
2026-05-08 13:20:53 +00:00
-
756d5fba64
ocaml: phase 5 HM with user type declarations (+6 tests, 363 total)
giles
2026-05-08 13:12:07 +00:00
-
5bc7895ce0
ocaml: phase 5 HM let-rec + cons / append op types (+6 tests, 357 total)
giles
2026-05-08 13:08:51 +00:00
-
81247eb6ea
ocaml: phase 5 HM ctor inference for option/result (+7 tests, 351 total)
giles
2026-05-08 13:05:22 +00:00
-
d2bf0c0d00
ocaml: phase 5 HM pattern-match inference (+5 tests, 344 total)
giles
2026-05-08 13:02:15 +00:00
-
202ea9cf5f
ocaml: phase 6 List.sort + compare (+7 tests, 339 total)
giles
2026-05-08 12:59:50 +00:00
-
812aa75d43
ocaml: phase 6 Hashtbl (+6 tests, 332 total)
giles
2026-05-08 12:57:22 +00:00
-
6d7197182e
ocaml: phase 5 HM tuple + list types (+7 tests, 326 total)
giles
2026-05-08 12:54:15 +00:00
-
b7627b4102
js-on-sx: ToPrimitive treats functions as non-primitive
giles
2026-05-08 12:50:40 +00:00
-
a0abdcf520
ocaml: refresh scoreboard (320/320 across 14 suites)
giles
2026-05-08 12:50:39 +00:00
-
88c02c7c73
ocaml: phase 6 expanded stdlib (+15 tests, 319 total)
giles
2026-05-08 12:49:23 +00:00
-
9edccb8f33
datalog: bipartite friends-with-hobby join test (229/229)
giles
2026-05-08 12:39:04 +00:00
-
bc557a5ad2
ocaml: phase 3 exception declarations (+4 tests, 304 total)
giles
2026-05-08 12:37:58 +00:00
-
8e508bc90f
datalog: magic existence check (bb-adornment) regression test (228/228)
giles
2026-05-08 12:35:33 +00:00
-
25f709549e
GUEST-plan: session snapshot — 551 tests, phases 1-5 complete
giles
2026-05-08 12:32:57 +00:00
-
d8f6250962
ocaml: phase 3 type declarations (+5 tests, 300 total)
giles
2026-05-08 12:32:39 +00:00
-
f8b9bde1a5
mk: zip-with-o — element-wise combine of two lists
giles
2026-05-08 12:31:53 +00:00
-
5f4defe99e
datalog: magic over rule with negation regression test (227/227)
giles
2026-05-08 12:31:50 +00:00
-
2a36e692f4
mk: take-while-o + drop-while-o — predicate-driven prefix/suffix
giles
2026-05-08 12:30:53 +00:00
-
d1e00e2e9e
mk: arith-progo — arithmetic progression generation
giles
2026-05-08 12:29:34 +00:00
-
d20df7aa8c
datalog: magic over rule with aggregate body literal (226/226)
giles
2026-05-08 12:28:52 +00:00
-
de6fd1b183
mk: counto — count occurrences of x in l (intarith)
giles
2026-05-08 12:28:31 +00:00
-
851e0585cf
ocaml: phase 3 'as' alias + 'when' guard in match (+6 tests, 295 total)
giles
2026-05-08 12:28:07 +00:00
-
f4a902a6df
mk: nub-o — dedupe by keeping the last occurrence
giles
2026-05-08 12:27:03 +00:00
-
d891831f08
mk: simplify-step-o — algebraic-identity simplifier (conda demo)
giles
2026-05-08 12:25:36 +00:00
-
091030f13e
mk: flat-mapo — concatMap-style relation
giles
2026-05-08 12:24:23 +00:00
-
f5ab66e1a3
mk: foldl-o — relational left fold
giles
2026-05-08 12:23:40 +00:00
-
c51d52dae2
GUEST-plan: log foldr-o (post-commit oversight)
giles
2026-05-08 12:21:54 +00:00
-
3842496f3b
mk: foldr-o — relational right fold
giles
2026-05-08 12:21:42 +00:00
-
08f4a7babd
mk: enumerate-i / enumerate-from-i — 501/501 milestone
giles
2026-05-08 12:20:03 +00:00
-
221c7fef35
mk: partitiono — split list by predicate
giles
2026-05-08 12:18:25 +00:00
-
363ebc8f04
mk: appendo3 — 3-list append
giles
2026-05-08 12:16:40 +00:00
-
7ff72cefb2
mk: lengtho-i — integer-indexed length
giles
2026-05-08 12:15:53 +00:00
-
064ab2900b
mk: sumo + producto — fold list to integer
giles
2026-05-08 12:14:15 +00:00
-
4f5f8015fb
mk: mino + maxo — find min/max of a list
giles
2026-05-08 12:12:32 +00:00
-
c4b6f1fa0f
mk: sortedo — list is non-decreasing (intarith)
giles
2026-05-08 12:10:52 +00:00
-
6454603568
mk: subseto — every element of l1 is in l2
giles
2026-05-08 12:09:06 +00:00
-
d51ae65bbb
js-on-sx: fn.toString honours Function.prototype.toString overrides
giles
2026-05-08 12:07:55 +00:00
-
4df277803d
mk: cycle-free path search test
giles
2026-05-08 12:07:00 +00:00
-
58d78de32a
mk: removeo-allo — remove every occurrence
giles
2026-05-08 12:04:17 +00:00
-
6bc3c14dac
mk: btree-walko — binary-tree walker via matche
giles
2026-05-08 12:02:13 +00:00
-
eb69039935
mk: swap-firsto — swap first two list elements
giles
2026-05-08 11:59:41 +00:00
-
c04ddd105b
mk: pairlisto — relational zip
giles
2026-05-08 11:57:12 +00:00
-
136cacbd3f
mk: iterate-no — apply a relation n times
giles
2026-05-08 11:54:24 +00:00
-
6fc155ddd8
mk: rev-acco + rev-2o — accumulator-style reverse
giles
2026-05-08 11:51:51 +00:00
-
d992788a03
mk: even-i / odd-i — host-arithmetic parity goals
giles
2026-05-08 11:49:47 +00:00
-
4d861575df
mk: selecto — choose element + rest of list
giles
2026-05-08 11:47:27 +00:00
-
e202c81a0d
mk: subo — contiguous sublist relation
giles
2026-05-08 11:45:31 +00:00
-
fc14a8063b
mk: prefixo + suffixo — appendo-derived sublist relations
giles
2026-05-08 11:40:28 +00:00
-
6ee02db2ab
mk: palindromeo — list reads same forwards/backwards
giles
2026-05-08 11:38:29 +00:00
-
7b6cb64548
mk: not-membero — relational "x is not in l"
giles
2026-05-08 11:36:14 +00:00
-
c2b238635f
mk: repeato + concato
giles
2026-05-08 11:34:28 +00:00
-
8c48a0be63
mk: tako + dropo — Peano-indexed prefix and suffix
giles
2026-05-08 11:32:33 +00:00
-
54a58c704e
mk: eveno + oddo — Peano parity predicates
giles
2026-05-08 11:30:02 +00:00
-
ada405b37b
mk: defrel — Prolog-style relation-definition macro
giles
2026-05-08 11:27:49 +00:00
-
e97bdc4602
js-on-sx: native prototypes carry wrapped primitive marker
giles
2026-05-08 11:27:18 +00:00
-
99066430fd
mk: lasto + init-o — last and not-last list relations
giles
2026-05-08 11:25:12 +00:00
-
48835f2d4f
mk: relational database queries — Datalog-style demo
giles
2026-05-08 11:22:12 +00:00
-
16fe22669a
mk: cyclic-graph behaviour test — motivates Phase 7 tabling
giles
2026-05-08 11:19:29 +00:00
-
2d51a8c4ea
mk: numbero / stringo / symbolo type predicates
giles
2026-05-08 11:17:27 +00:00
-
b4c1253891
mk: graph reachability via patho — classic miniKanren
giles
2026-05-08 11:15:24 +00:00
-
e7dca2675c
mk: everyo / someo — predicate-style relations
giles
2026-05-08 11:13:22 +00:00
-
f00054309d
mk: mapo (relational map) — 300/300 milestone
giles
2026-05-08 11:11:26 +00:00
-
cfb43a3cdf
mk: samelengtho — equal-length relation
giles
2026-05-08 11:09:48 +00:00
-
186171fec3
mk: pythagorean triples search — intarith showcase
giles
2026-05-08 11:07:33 +00:00
-
9795532f7d
mk: intarith.sx — ground-only integer arithmetic via project
giles
2026-05-08 11:02:09 +00:00
-
b89b0def93
mk: 2x2 Latin square — small classic FD constraint demo
giles
2026-05-08 11:00:12 +00:00