Commit Graph

Select branches

Hide Pull Requests

architecture

bugs/jit-bytecode-loop

bugs/resume-letrec

cssx

decoupling

exorcism

hs-e36-websocket

hs-e37-tokenizer

hs-e39-webworker

hs-f

lib/guest/method-chain

lib/guest/quoting

lib/guest/test-runner

lib/smalltalk/refl-env

lib/tcl/uplevel

loops/acl

loops/apl

loops/artdag

loops/commerce

loops/common-lisp

loops/conformance

loops/content

loops/datalog

loops/dream

loops/erlang

loops/events

loops/fed-prims

loops/fed-sx-m1

loops/fed-sx-m2

loops/feed

loops/flow

loops/forth

loops/go

loops/haskell

loops/host-persist

loops/hs

loops/identity

loops/js

loops/kernel

loops/lua

loops/maude

loops/minikanren

loops/mod

loops/ocaml

loops/persist

loops/prolog

loops/radar

loops/relations

loops/ruby

loops/scheme

loops/search

loops/smalltalk

loops/sx-vm-extensions

loops/tcl

macros

main

relations

sexpression

sx

wasm

Mono Color

• d1a2ebd709 fed-sx-m1: Step 5a — pure-functional registry (new/register/lookup/list) + 14 tests giles 2026-05-28 00:46:54 +00:00
• 459427512d go: Phase 7 foundation — generics syntax through parser/typer/eval [shapes-static-types-bidirectional] giles 2026-05-28 00:31:28 +00:00
• 203a3a3c67 fed-sx-m1: Step 4d — bootstrap:build_genesis/verify_genesis + cidhash helpers + 12 tests giles 2026-05-28 00:19:11 +00:00
• c50f5d5155 go: goroutine-panic propagation + 8 corner tests → eval 100/100, Phase 6 acceptance cleared [shapes-scheduler] giles 2026-05-27 23:54:56 +00:00
• 73a1a55572 fed-sx-m1: Step 4c — bootstrap:read_genesis/0,1 + 5 helpers + 15 read tests giles 2026-05-27 23:50:45 +00:00
• ae5df5cfa1 fed-sx-m1: Step 4b-cod — 8 bootstrap codecs/sig-suites/audience files + manifest complete + 14 new parse tests (50 total) giles 2026-05-27 23:21:20 +00:00
• f52ad1fac6 go: panic + recover → eval 92/92, total 509/509, Phase 6 closed [shapes-scheduler] giles 2026-05-27 23:20:46 +00:00
• 5d7b167a93 fed-sx-m1: Step 4b-vld — 3 bootstrap validators + manifest update + 5 new parse tests (36 total) giles 2026-05-27 23:10:11 +00:00
• 219e2fcfe7 go: defer + LIFO drain → eval 86/86, total 503/503 [shapes-scheduler] giles 2026-05-27 23:00:37 +00:00
• cfdb9cd875 fed-sx-m1: Step 4b-proj — 7 bootstrap projections + manifest update + 9 new parse tests (31 total) giles 2026-05-27 22:52:54 +00:00
• 1d3021d206 go: after(d) timer stub + 13 pattern tests → runtime 40/40, Phase 5 closed [shapes-scheduler] giles 2026-05-27 22:24:13 +00:00
• fa99652970 go: eval.sx — range-over-{slice,map,chan} + 7 tests; break-env fix [nothing] giles 2026-05-27 22:09:46 +00:00
• 4807bc9c58 go: eval.sx + sched.sx — select stmt evaluation + 6 tests [nothing] giles 2026-05-27 22:03:17 +00:00
• b693854dc4 go: sched.sx — channels + goroutines (v0 synchronous) + 12 tests; Phase 5 starts [shapes-scheduler] giles 2026-05-27 21:55:41 +00:00
• 674d8115b8 go: eval.sx — method dispatch + unary + e2e programs + 14 tests; Phase 4 bar crossed [nothing] giles 2026-05-27 21:47:07 +00:00
• 99f8f37ff8 go: eval.sx — structs + selector + selector-assign + 8 tests [nothing] giles 2026-05-27 21:39:06 +00:00
• 9ed58bd0fc go: eval.sx — maps + index-assign + 8 tests; word-count e2e [nothing] giles 2026-05-27 21:33:17 +00:00
• ab04ec1cf7 go: eval.sx — slices + index + slice expr + len/append builtins + 10 tests [nothing] giles 2026-05-27 21:28:12 +00:00
• a019aa1edc go: eval.sx — for / break / continue / inc-dec + 7 tests [nothing] giles 2026-05-27 21:22:34 +00:00
• 1340c2626b go: eval.sx — stmts + function application; recursive fib evaluates + 8 tests [nothing] giles 2026-05-27 21:17:26 +00:00
• ff9abe3ae6 go: eval.sx scaffold — literals + vars + binops + 25 tests; Phase 3 closed [nothing] giles 2026-05-27 21:11:20 +00:00
• 21bb17e4a6 go: types.sx — interface satisfaction (structural method-set check) + 7 tests [shapes-static-types-bidirectional] giles 2026-05-27 21:05:08 +00:00
• 4bd9262060 go: types.sx — composite-literal element checking; Phase 3 bar crossed + 10 tests [nothing] giles 2026-05-27 20:59:38 +00:00
• 5b4a8be689 go: types.sx — call type-checking + 8 tests; recursive funcs now type [nothing] giles 2026-05-27 20:56:10 +00:00
• 9f4c6787e4 go: types.sx — func-decl + stmt-level dispatch + 7 tests [nothing] giles 2026-05-27 20:52:59 +00:00
• 5e27a7f0c9 go: types.sx — declaration checking (var/const/type + :=) + 12 tests [nothing] giles 2026-05-27 20:49:27 +00:00
• 86ddaf255c go: types.sx — literal synth + binop + assignability; canonical pitfall handled + 16 tests [shapes-static-types-bidirectional] giles 2026-05-27 20:46:03 +00:00
• 6c3b7d1cf9 go: types.sx scaffold — synth/check skeleton + 12 tests; Phase 3 starts [shapes-static-types-bidirectional] giles 2026-05-27 20:41:02 +00:00
• 2404a593bd go: parse.sx — multi-form file parsing + 7 e2e tests; PHASE 2 COMPLETE [nothing] giles 2026-05-27 20:34:16 +00:00
• 44fb231391 go: parse.sx — switch + select + 8 tests; stmts done [shapes-scheduler] giles 2026-05-27 20:29:37 +00:00
• 171a08a2f8 go: parse.sx — go/defer/send/for-range + 9 tests [shapes-scheduler] giles 2026-05-27 20:24:23 +00:00
• ba41f8a580 go: parse.sx — if/else, for, break/continue, inc-dec + 11 tests [nothing] giles 2026-05-27 20:17:40 +00:00
• 5f6d62f45b go: parse.sx — statements (return / short-decl / assign / block) + 9 tests [nothing] giles 2026-05-27 20:11:01 +00:00
• ad21776002 go: parse.sx — func + method declarations + 8 tests [shapes-static-types-bidirectional] giles 2026-05-27 19:52:07 +00:00
• 4c0295cdff fed-sx-m1: Step 4b-obj — 10 bootstrap object-types + manifest update + 12 new parse tests (22 total) giles 2026-05-27 19:48:26 +00:00
• 4922b6e987 go: parse.sx — package/import/var/const/type declarations + 10 tests [consumes-ast] giles 2026-05-27 19:44:24 +00:00
• 632e06d3cf go: parse.sx — composite literals + 8 tests [nothing] giles 2026-05-27 08:21:47 +00:00
• 48379e04bc go: parse.sx — interface type expressions + 8 tests; type expressions DONE [nothing] giles 2026-05-27 08:16:24 +00:00
• a94ffa0feb go: parse.sx — struct type expressions + 8 tests [proposes-ast] giles 2026-05-27 08:12:07 +00:00
• 9acdbcb8d8 go: parse.sx — func type expressions (anonymous params) + 9 tests [nothing] giles 2026-05-27 08:06:53 +00:00
• 8ba66e0dc9 go: parse.sx — slice/array/map/chan type expressions + 11 tests; parse acceptance crossed [proposes-ast] giles 2026-05-27 08:02:08 +00:00
• 503bdf12d6 go: parse.sx — type assertion v.(T) + minimal type parser + 9 tests [nothing] giles 2026-05-27 07:57:29 +00:00
• e64d72f554 go: parse.sx — index x[i] + slice x[a:b]/x[a:b:c] + 12 tests [proposes-ast] giles 2026-05-27 07:53:10 +00:00
• e1c5fdae53 go: parse.sx — function calls + member access + 12 tests [consumes-ast proposes-ast] giles 2026-05-27 07:48:21 +00:00
• b308ddb9b0 fed-sx-m1: Step 4b-act — Update + Delete activity-types + manifest update + 5 new parse tests (10 total) giles 2026-05-27 07:44:20 +00:00
• 728a91e49f go: parse.sx — unary prefix operators + 11 tests [nothing] giles 2026-05-27 07:43:34 +00:00
• 750035d543 go: parse.sx — binary operators via Pratt precedence climbing + 9 tests [consumes-pratt] giles 2026-05-27 07:39:03 +00:00
• 976c6dd0ef go: parse.sx scaffold — primary expressions + Go precedence table + 17 tests [consumes-pratt consumes-ast] giles 2026-05-27 07:33:31 +00:00
• c1baca2e4e go: lex.sx — operator-set audit + tilde; PHASE 1 COMPLETE + 6 tests [proposes-lex] giles 2026-05-27 07:28:50 +00:00
• 65467c232b go: lex.sx — raw string literals (backtick) + 9 tests [nothing] giles 2026-05-27 07:22:01 +00:00
• 28168b16aa fed-sx-m1: Step 4a — genesis manifest + Create activity-type seed + 5 parse tests; Step 3b parked (substrate term-codec gap) giles 2026-05-27 07:18:04 +00:00
• e60c74f8c3 go: lex.sx — decimal float + imaginary literals + 22 tests [consumes-lex] giles 2026-05-27 07:16:56 +00:00
• ab159dface fed-sx-m1: Step 3a — in-memory log:open/append/tip/replay + 12 tests giles 2026-05-27 07:06:40 +00:00
• fe614fc531 go: lex.sx — hex/octal/binary integer literals + underscores, +14 tests [consumes-lex] giles 2026-05-27 06:57:47 +00:00
• 4fc73a97f4 go: lex.sx — keywords, ident/int/string/rune lits, comments, ops, ASI + 78 tests [consumes-lex] giles 2026-05-26 21:13:06 +00:00
• 53b4a4c1fd fed-sx-m1: Step 2c — envelope:verify_signature/2 (time-aware key lookup + HMAC stand-in) + 11 tests giles 2026-05-26 21:00:39 +00:00
• 0f7444e0d5 plans: Go-on-SX + sister lib/guest extraction plans (scheduler, bidirectional types) giles 2026-05-26 20:54:22 +00:00
• 65dfdd0ba4 fed-sx-m1: Step 2b — envelope:canonical_bytes/1 + 8 determinism tests giles 2026-05-26 20:41:27 +00:00
• e11e8b941f fed-sx-m1: Step 2a — envelope:validate_shape/1 + get_field/2 + 15 shape tests giles 2026-05-26 20:29:25 +00:00
• 9cbf14fe8c fed-sx-m1: Step 1b — nx_cid kernel module + 13 canonical CID tests giles 2026-05-26 19:55:13 +00:00
• 46e0653911 fed-prims: Phase J — http-request + 6 tests giles 2026-05-26 19:53:58 +00:00
• 11ed4ddf27 fed-sx-m1: Step 1a — next/ skeleton + README + gitignore giles 2026-05-26 19:44:56 +00:00
• abde5fbac1 Merge loops/erlang into architecture: Phase 8 host-primitive BIFs (crypto/cid/file:list_dir) giles 2026-05-26 19:30:35 +00:00
• b7fcd17e6e Merge remote-tracking branch 'origin/loops/erlang' into loops/erlang giles 2026-05-18 22:03:43 +00:00
• 89ce7b857d erlang: wire file:list_dir/1 against file-list-dir (Phase 8, +4 ffi tests); 729/729, progress log giles 2026-05-18 22:01:03 +00:00
• 4591ac530b erlang: wire cid:from_bytes/1 + cid:to_string/1 against cid-from-bytes/cid-from-sx (Phase 8, +7 ffi tests) giles 2026-05-18 22:00:41 +00:00
• 250d0511c0 erlang: wire crypto:hash/2 against crypto-sha256/512/sha3-256 (Phase 8, +6 ffi tests) giles 2026-05-18 22:00:17 +00:00
• 380bc69f94 Merge loops/fed-prims into architecture: fed-sx host primitives (Phases A-I) giles 2026-05-18 21:33:01 +00:00
• 77f17cc796 Merge loops/erlang into architecture: Phases 7-10 (hot reload, FFI BIFs, BIF registry, VM opcode extension + erlang_ext); fixes cyclic-env identity hang giles 2026-05-18 20:46:04 +00:00
• 4548461bfc fed-prims: Phase I — handoff (RESOLVED blocker + primitive->BIF mapping) giles 2026-05-18 18:48:35 +00:00
• 7d9dddcc80 fed-prims: Phase H — native-only http-listen HTTP/1.1 server + curl test giles 2026-05-18 18:25:24 +00:00
• 36be6bf44b fed-prims: Phase G — file-list-dir (Sys.readdir, sorted, native-safe) giles 2026-05-18 17:57:20 +00:00
• c352d94cc6 erlang: log cyclic-env regression root-cause + fix in progress log giles 2026-05-18 17:34:24 +00:00
• 857fae1331 erlang: fix er-env-derived-from? to use identical? not = (cyclic-env hang on structural-= evaluators) giles 2026-05-18 17:33:48 +00:00
• f8fc04840a fed-prims: Phase F — RSA-SHA256 PKCS#1 v1.5 verify, pure OCaml, RSA-2048 vector giles 2026-05-18 17:32:35 +00:00
• 76d1e9f53a fed-prims: Phase E — Ed25519 verify (RFC 8032), pure-OCaml bignum + edwards25519 giles 2026-05-18 17:05:59 +00:00
• d8b57784fe fed-prims: Phase D — CIDv1 (multihash + base32 multibase), pure OCaml, canonical IPFS vectors giles 2026-05-18 16:36:42 +00:00
• bcaaa11916 fed-prims: Phase C — dag-cbor encode/decode, pure OCaml, RFC 8949 vectors + determinism giles 2026-05-18 16:10:36 +00:00
• 451bd4be62 fed-prims: Phase B — SHA3-256 (Keccak-f[1600]), pure OCaml, 4 NIST vectors giles 2026-05-18 15:43:51 +00:00
• 19932a42a9 fed-prims: Phase A — SHA-256 + SHA-512, pure OCaml, 7 NIST vectors giles 2026-05-18 15:17:35 +00:00
• 3629dd96a9 fed-prims: bootstrap plan + loop briefing giles 2026-05-18 15:00:33 +00:00
• a341041627 datalog: scoreboard bump (preserve before loops/erlang merge) giles 2026-05-18 14:48:00 +00:00
• b073a82b33 erlang: Phase 10a — trace JIT/compiler architecture, scope into 10a.1-4, block on lib/compiler.sx giles 2026-05-15 09:03:50 +00:00
• 7996bcdacf erlang: 10b BIF-complete (10/18); control opcodes correctly gated on 10a + log giles 2026-05-15 08:59:11 +00:00
• 3b6241508c erlang: Phase 10b — ELEMENT + LISTS_REVERSE real (all 10 BIF opcodes done), +6 e2e tests giles 2026-05-15 08:58:41 +00:00
• 5774065341 erlang: 10b progress — 8/18 handlers real (hot-BIFs done) + log giles 2026-05-15 08:51:37 +00:00
• 708b5a2b12 erlang: Phase 10b — 7 more real hot-BIF handlers (HD/TL/TUPLE_SIZE/IS_*), +9 e2e tests giles 2026-05-15 08:51:01 +00:00
• e6261c2519 erlang: mark 10b in-progress (vertical slice) + progress log giles 2026-05-15 08:44:29 +00:00
• 5c7ad01bd1 erlang: Phase 10b slice — real OP_BIF_LENGTH handler, end-to-end VM proof giles 2026-05-15 08:43:45 +00:00
• 33725de03b erlang: Phase 9g — ring bench on integrated binary (no regression); scope Phase 10 giles 2026-05-15 08:36:05 +00:00
• 5fd358a7a7 erlang: Phase 9i — SX dispatcher consults extension-opcode-id (+6 vm tests, 715/715) giles 2026-05-15 08:30:52 +00:00
• 783e0cb5fe erlang: tick 9h + progress log giles 2026-05-15 08:25:32 +00:00
• 72896392c8 erlang: Phase 9h — erlang_ext.ml OCaml extension (opcodes 222-239, registered at startup) giles 2026-05-15 08:24:57 +00:00
• 12b56afcd3 erlang: Phase 9a integrated (cherry-pick + force-link); plan 9h/9i added giles 2026-05-15 08:11:55 +00:00
• 509197410f vm-ext: force-link Sx_vm_extensions into sx_server.exe (extension-opcode-id now live) giles 2026-05-15 08:10:33 +00:00
• 76614da154 vm-ext: phase E — JIT skips lambdas containing extension opcodes giles 2026-05-15 01:53:39 +00:00
• 4dfccc244d vm-ext: phase D — extensions/ subtree + test_ext + opcode_name lookup giles 2026-05-15 01:05:30 +00:00
• 58d7445559 vm-ext: phase C — extension-opcode-id SX primitive giles 2026-05-15 00:16:03 +00:00
• 4e0a92ec00 vm-ext: phase B — extension registry module giles 2026-05-14 23:28:24 +00:00
• 85728621b0 vm-ext: phase A — extension dispatch fallthrough in sx_vm.ml giles 2026-05-14 22:29:50 +00:00