• Joined on 2024-04-09
giles pushed to loops/ocaml at coop/rose-ash 2026-05-08 16:02:48 +00:00
404c908a9a ocaml: phase 6 Map/Set extensions iter/fold/filter/union/inter (+4 tests, 422 total)
giles pushed to loops/js at coop/rose-ash 2026-05-08 16:02:19 +00:00
ee422f3d15 js-on-sx: Function constructor compiles + evaluates JS source
giles pushed to loops/ocaml at coop/rose-ash 2026-05-08 15:51:38 +00:00
b297c83b1d ocaml: refresh scoreboard (419/419 across 14 suites)
giles pushed to loops/ocaml at coop/rose-ash 2026-05-08 15:50:24 +00:00
85867e329b ocaml: phase 6 Map.Make / Set.Make functors (+4 tests, 418 total)
giles pushed to loops/ocaml at coop/rose-ash 2026-05-08 15:46:35 +00:00
cd93b11328 ocaml: phase 6 Sys module constants (+5 tests, 414 total)
giles pushed to loops/ocaml at coop/rose-ash 2026-05-08 15:43:17 +00:00
4bca2cacff ocaml: phase 5 parse ctor arg types in user type-defs (+3 tests, 409 total)
giles pushed to loops/ocaml at coop/rose-ash 2026-05-08 15:35:30 +00:00
d61ee088c5 ocaml: refresh scoreboard (407/407 across 14 suites)
giles pushed to loops/ocaml at coop/rose-ash 2026-05-08 15:34:20 +00:00
f40dfbbeb5 ocaml: phase 6 String extensions (+6 tests, 406 total)
giles pushed to loops/js at coop/rose-ash 2026-05-08 15:31:40 +00:00
f0dffd275d js-on-sx: arguments object + Array.from mapFn calling convention
giles pushed to loops/ocaml at coop/rose-ash 2026-05-08 15:30:33 +00:00
9f05e24c52 ocaml: phase 6 List.take/drop/filter_map/flat_map (+6 tests, 400 total)
giles pushed to loops/ocaml at coop/rose-ash 2026-05-08 15:22:38 +00:00
86343345dc ocaml: phase 1+3 or-patterns (P1 | P2 | ...) parens-only (+5 tests, 394 total)
giles pushed to loops/ocaml at coop/rose-ash 2026-05-08 15:11:48 +00:00
ad252088c3 ocaml: phase 4 module type S = sig … end parser (+3 tests, 389 total)
giles pushed to loops/ocaml at coop/rose-ash 2026-05-08 15:07:58 +00:00
76ccbfbab6 ocaml: refresh scoreboard (387/387 across 14 suites)
giles pushed to loops/ocaml at coop/rose-ash 2026-05-08 15:06:47 +00:00
98049d5458 ocaml: phase 1+3 record patterns { f = pat } (+4 tests, 386 total)
giles pushed to hs-f at coop/rose-ash 2026-05-08 15:05:28 +00:00
92619301e2 HS: 1514/1514 = 100.0% — zero skips (full upstream coverage)
giles pushed to loops/ocaml at coop/rose-ash 2026-05-08 15:01:09 +00:00
0cf5c8f219 ocaml: phase 5.1 expr_eval.ml baseline (9/9 pass)
giles pushed to loops/js at coop/rose-ash 2026-05-08 14:46:42 +00:00
47e68454ad js-on-sx: String(arr) honours Array.prototype.toString overrides
giles pushed to loops/minikanren at coop/rose-ash 2026-05-08 14:45:05 +00:00
8644668fc9 mk: phase 6 done — fd-fire-store iterates, N-queens FD works
giles pushed to loops/datalog at coop/rose-ash 2026-05-08 14:41:36 +00:00
62a5a29d5b datalog-plan: rolling status 239/239 (magic worklist bug fixed)
giles pushed to loops/datalog at coop/rose-ash 2026-05-08 14:41:11 +00:00
17d6f58cc5 datalog: dl-magic-rewrite worklist now drains across rule chains (239/239)