giles

giles pushed to main at coop/rose-ash

2026-03-25 01:21:19 +00:00

6417d15e60 Merge branch 'ocaml-vm'

99e2009c2b Fix sx_docs Dockerfile: install dune + set PATH for OCaml build

Compare 2 commits »

giles pushed to main at coop/rose-ash

2026-03-25 00:59:56 +00:00

73810d249d Merge branch 'ocaml-vm'

1ae5906ff6 Skip Playwright in deploy (needs running server)

Compare 2 commits »

giles pushed to main at coop/rose-ash

2026-03-25 00:36:59 +00:00

2bc1aee888 Merge branch 'ocaml-vm'

4dfaf09e04 Add lib/ to CI test Dockerfile

Compare 2 commits »

giles pushed to main at coop/rose-ash

2026-03-25 00:35:07 +00:00

7ac026eccb Merge branch 'ocaml-vm'

b174a57c9c Fix spec/freeze.sx → lib/freeze.sx in CI test scripts

Compare 2 commits »

giles pushed to main at coop/rose-ash

2026-03-25 00:31:58 +00:00

1b5d3e8eb1 Add spec/, lib/, web/ to sx_docs Docker image

giles pushed to main at coop/rose-ash

2026-03-25 00:22:33 +00:00

0fce6934cb Use dom-on for event handlers; add CI config and stepper Playwright test

giles pushed to main at coop/rose-ash

2026-03-25 00:12:02 +00:00

7d7de86034 Fix stepper client-side [object Object] flash and missing CSSX styles

f3f70cc00b Move stdlib out of spec — clean spec/library boundary

50871780a3 Add call-lambda + trampoline handler tests for dom-on pattern

57cffb8bcc Fix isomorphic SSR: revert inline opcodes, add named let compilation, fix cookie decode

eb4233ff36 Add inline VM opcodes for hot primitives (OP_ADD through OP_DEC)

Compare 130 commits »

giles pushed to wasm at coop/rose-ash

2026-03-16 07:14:05 +00:00

0caa965de0 OCaml CEK machine compiled to WebAssembly for browser execution

giles created branch wasm in coop/rose-ash

2026-03-16 07:14:05 +00:00

giles pushed to macros at coop/rose-ash

2026-03-15 23:35:08 +00:00

5ab3ecb7e0 Add OCaml SX kernel build to sx_docs Docker image and enable in production

313f7d6be1 OCaml bootstrapper Phase 2: HTML renderer, SX server, Python bridge

16fa813d6d Add hosts/ocaml/_build/ to .gitignore

818e5d53f0 OCaml bootstrapper: transpiler compiles full CEK evaluator (61/61 tests)

Compare 4 commits »

giles pushed to main at coop/rose-ash

2026-03-15 23:35:02 +00:00

5ab3ecb7e0 Add OCaml SX kernel build to sx_docs Docker image and enable in production

313f7d6be1 OCaml bootstrapper Phase 2: HTML renderer, SX server, Python bridge

16fa813d6d Add hosts/ocaml/_build/ to .gitignore

818e5d53f0 OCaml bootstrapper: transpiler compiles full CEK evaluator (61/61 tests)

Compare 4 commits »

giles pushed to macros at coop/rose-ash

2026-03-15 18:05:36 +00:00

3a268e7277 Data-first HO forms, fix plan pages, aser error handling (1080/1080)

bdbf594bc8 Add 125 new tests: CEK-advanced, signals, integration (1063/1063)

a1fa1edf8a Add 68 new tests: continuations-advanced + render-advanced (938/938)

2ef3f03db3 Fix eval-expr stub: define as CEK wrapper, not error stub

9f32c8cf0d Frame-based dynamic scope: 870/870 — all tests passing

Compare 18 commits »

giles pushed to main at coop/rose-ash

2026-03-15 18:05:26 +00:00

3a268e7277 Data-first HO forms, fix plan pages, aser error handling (1080/1080)

bdbf594bc8 Add 125 new tests: CEK-advanced, signals, integration (1063/1063)

a1fa1edf8a Add 68 new tests: continuations-advanced + render-advanced (938/938)

Compare 3 commits »

giles pushed to main at coop/rose-ash

2026-03-15 15:10:58 +00:00

2ef3f03db3 Fix eval-expr stub: define as CEK wrapper, not error stub

giles pushed to main at coop/rose-ash

2026-03-15 14:56:24 +00:00

9f32c8cf0d Frame-based dynamic scope: 870/870 — all tests passing

giles pushed to main at coop/rose-ash

2026-03-15 14:25:53 +00:00

719da7914e Multi-shot delimited continuations: 868/870 passing

c6a662c980 Phase 4: Eliminate nested CEK from HO form handlers

e475222099 Merge eval.sx + frames.sx + cek.sx into single evaluator.sx

b4df216fae Phase 2: Remove dead tree-walk code from eval.sx

Compare 4 commits »

giles pushed to main at coop/rose-ash

2026-03-15 13:04:37 +00:00

9b4f735a0e Fix edge cases: 864/870 JS full, 747/747 standard, 679/679 Python

293af75821 Phase 1: CEK is now the sole evaluator on JavaScript

ebb3445667 Cross-host test suite: JS 870/870, Python 679/679 (100% both)

8f146cc810 Add strict typing mode + 139 new tests: 749/749 passing

c67adaceaf All 610 spec tests passing (100%)

Compare 21 commits »

giles pushed to macros at coop/rose-ash

2026-03-15 10:46:52 +00:00

4b21efc43c JS test harness: 375/469 spec tests pass with full build

giles pushed to macros at coop/rose-ash

2026-03-15 10:37:09 +00:00

1ea80a2b71 Add comprehensive spec tests: 132 primitives + 9 freeze/thaw

giles pushed to macros at coop/rose-ash

2026-03-15 10:33:54 +00:00

c3aee94c8f Revert eval.sx tree-walk removal — keep stable, pare down later