giles
0 Followers · 0 Following
  • Joined on 2024-04-09
Repositories Projects Packages Public Activity Starred Repositories
giles pushed to loops/minikanren at coop/rose-ash 2026-05-08 14:37:27 +00:00
a6e758664b mk: phase 6H — fd-times (x * y = z)
giles pushed to loops/minikanren at coop/rose-ash 2026-05-08 14:36:31 +00:00
5d3c248fdd mk: phase 6G — fd-plus (x + y = z)
giles pushed to loops/minikanren at coop/rose-ash 2026-05-08 14:35:23 +00:00
f88388b2f9 mk: phase 6F — fd-distinct (pairwise alldifferent)
giles pushed to loops/minikanren at coop/rose-ash 2026-05-08 14:34:14 +00:00
c01ddc2b23 mk: phase 6E — fd-lt + fd-lte + fd-eq with propagation
giles pushed to loops/datalog at coop/rose-ash 2026-05-08 14:29:21 +00:00
e981368dcf datalog: magic ≡ semi on federation foaf demo (237/237)
giles pushed to loops/minikanren at coop/rose-ash 2026-05-08 14:24:33 +00:00
27637aa0f9 mk: phase 6D — fd-neq with propagation + constraint reactivation
giles pushed to loops/datalog at coop/rose-ash 2026-05-08 14:19:28 +00:00
4a7cff2f6b datalog: built-in-only query goals (236/236)
giles pushed to loops/datalog at coop/rose-ash 2026-05-08 14:16:37 +00:00
21c541bd1b datalog: parser rejection tests for invalid relation names (233/233)
giles pushed to hs-f at coop/rose-ash 2026-05-08 14:14:40 +00:00
e9d4d107a6 HS: clear final 3 skips — template-components + async event dispatch (1514/1514)
giles pushed to loops/datalog at coop/rose-ash 2026-05-08 14:12:37 +00:00
0985dc6386 datalog: disjunction via multiple rules test (231/231)
giles pushed to loops/minikanren at coop/rose-ash 2026-05-08 14:09:23 +00:00
f2817bb6be mk: phase 6C — fd-in + fd-label (domain narrowing + labelling)
giles pushed to loops/datalog at coop/rose-ash 2026-05-08 14:08:09 +00:00
f12edc8fd9 datalog: indirect aggregate cycle rejected (230/230)
giles pushed to loops/minikanren at coop/rose-ash 2026-05-08 14:06:27 +00:00
c71da0e1cf mk: phase 6B — clpfd.sx domain primitives
giles pushed to loops/ocaml at coop/rose-ash 2026-05-08 14:03:14 +00:00
9f539ab392 ocaml: phase 3 polymorphic variants (+4 tests, 382 total)
giles pushed to loops/ocaml at coop/rose-ash 2026-05-08 13:58:54 +00:00
986b15c0e5 ocaml: phase 6 Float module: sqrt/sin/cos/pow/floor/ceil/round/pi (+6 tests, 378 total)
giles pushed to loops/js at coop/rose-ash 2026-05-08 13:55:17 +00:00
0b4f5e1df9 js-on-sx: top-level this resolves to the global object
giles pushed to loops/ocaml at coop/rose-ash 2026-05-08 13:55:07 +00:00
ee002f2e02 ocaml: phase 1/5/6 float arithmetic +./-./*./. (+5 tests, 372 total)
giles pushed to loops/ocaml at coop/rose-ash 2026-05-08 13:48:49 +00:00
16df48ff74 ocaml: phase 6 List.combine/split/iter2/fold_left2/map2 (+4, 367 total)
giles pushed to loops/ocaml at coop/rose-ash 2026-05-08 13:45:32 +00:00
dac9cf124f ocaml: refresh scoreboard (364/364 across 14 suites)
giles pushed to loops/ocaml at coop/rose-ash 2026-05-08 13:44:30 +00:00
46d0eb258e ocaml: phase 5.1 baseline 8/8 — quicksort + exceptions + closures