3 Commits

Author	SHA1	Message	Date
giles	708b5a2b12	erlang: Phase 10b — 7 more real hot-BIF handlers (HD/TL/TUPLE_SIZE/IS_*), +9 e2e tests	2026-05-15 08:51:01 +00:00
giles	5c7ad01bd1	erlang: Phase 10b slice — real OP_BIF_LENGTH handler, end-to-end VM proof	2026-05-15 08:43:45 +00:00
giles	72896392c8	erlang: Phase 9h — erlang_ext.ml OCaml extension (opcodes 222-239, registered at startup)	2026-05-15 08:24:57 +00:00