Commits

Breadcrumbs

History for

onlang-additions

User selector

All users

Datepicker

All time

Commit history

Commits on Jul 28, 2026

• fix(bootstrap): verify.sh expectation, != opcode, bytecode test, docs

  Show description for 7310932
  dporkka

  committed
  7310932View commit details

  Copy full SHA for 7310932

  View code at this pointBrowse repository at this point

• fix(bootstrap): Bool/Int type mismatch in hex compiler

  Show description for ad778a9
  dporkka

  committed
  ad778a9View commit details

  Copy full SHA for ad778a9

  View code at this pointBrowse repository at this point

• feat: end-to-end .nbc compilation pipeline

  Show description for 9ce7913
  dporkka

  committed
  9ce7913View commit details

  Copy full SHA for 9ce7913

  View code at this pointBrowse repository at this point

• feat(compile_hex): add and/or short-circuit with JmpF/Jmp markers

  Show description for 59aee81
  dporkka

  committed
  59aee81View commit details

  Copy full SHA for 59aee81

  View code at this pointBrowse repository at this point

• feat(compile_hex): constant pool with value markers + fixup patching

  Show description for def873a
  dporkka

  committed
  def873aView commit details

  Copy full SHA for def873a

  View code at this pointBrowse repository at this point

• feat(compile_hex): branch markers + fixup_hex.py offset patching

  Show description for 08f337b
  dporkka

  committed
  08f337bView commit details

  Copy full SHA for 08f337b

  View code at this pointBrowse repository at this point

• fix(compile_hex): correct ConstU encoding, add if/then/else

  Show description for 35bd163
  dporkka

  committed
  35bd163View commit details

  Copy full SHA for 35bd163

  View code at this pointBrowse repository at this point

• feat(bootstrap): Stage 10 — hex bytecode output (compile_hex.nula)

  Show description for bafc543
  dporkka

  committed
  bafc543View commit details

  Copy full SHA for bafc543

  View code at this pointBrowse repository at this point

• feat(compile_arith): add not prefix, true/false literals

  Show description for b1d48e2
  dporkka

  committed
  b1d48e2View commit details

  Copy full SHA for b1d48e2

  View code at this pointBrowse repository at this point

• feat(compile_arith): add boolean operators (and/or) with short-circuit

  Show description for 8878070
  dporkka

  committed
  8878070View commit details

  Copy full SHA for 8878070

  View code at this pointBrowse repository at this point

• feat(compile_arith): add comparison operators (== != < > <= >=)

  Show description for 14d292e
  dporkka

  committed
  14d292eView commit details

  Copy full SHA for 14d292e

  View code at this pointBrowse repository at this point

• feat(compile_arith): add let bindings with scoped variable support

  Show description for 9dee19c
  dporkka

  committed
  9dee19cView commit details

  Copy full SHA for 9dee19c

  View code at this pointBrowse repository at this point

• feat(compile_arith): add if/then/else to bytecode compiler

  Show description for c06e64d
  dporkka

  committed
  c06e64dView commit details

  Copy full SHA for c06e64d

  View code at this pointBrowse repository at this point

• feat(bootstrap): Stage 9 — bytecode compiler for arithmetic expressions

  Show description for dadb2ad
  dporkka

  committed
  dadb2adView commit details

  Copy full SHA for dadb2ad

  View code at this pointBrowse repository at this point

• feat(bootstrap): stdin REPL mode for interactive expression evaluation

  Show description for 09cd1f3
  dporkka

  committed
  09cd1f3View commit details

  Copy full SHA for 09cd1f3

  View code at this pointBrowse repository at this point

• feat(bootstrap): Stage 8 — comparison and boolean operators

  Show description for 13b6a7a
  dporkka

  committed
  13b6a7aView commit details

  Copy full SHA for 13b6a7a

  View code at this pointBrowse repository at this point

• feat(bootstrap): Stage 7 — if/then/else conditional expression

  Show description for 0d3b254
  dporkka

  committed
  0d3b254View commit details

  Copy full SHA for 0d3b254

  View code at this pointBrowse repository at this point

• feat(bootstrap): Stage 6 — 4-slot environment, 4-deep let nesting

  Show description for 0748cd9
  dporkka

  committed
  0748cd9View commit details

  Copy full SHA for 0748cd9

  View code at this pointBrowse repository at this point

Commits on Jul 25, 2026

• docs: update README and CHANGELOG for bootstrap Stage 5

  dporkka

  committed
  743eb7bView commit details

  Copy full SHA for 743eb7b

  View code at this pointBrowse repository at this point

Commits on Jul 24, 2026

• fix(bootstrap): use out-of-band sentinel for parse-pratt left operand

  Show description for bda873f
  dporkka

  committed
  bda873fView commit details

  Copy full SHA for bda873f

  View code at this pointBrowse repository at this point

• feat(bootstrap): Stage 5 closures with env capture

  Show description for 2c2bcce
  dporkka

  committed
  2c2bcceView commit details

  Copy full SHA for 2c2bcce

  View code at this pointBrowse repository at this point

• docs(bootstrap): update status — compiler bug fixed, Stage 4 unblocked

  dporkka

  committed
  e53eaebView commit details

  Copy full SHA for e53eaeb

  View code at this pointBrowse repository at this point

• docs(bootstrap): document compiler spill bug blocking Stage 4, add minimal repro

  Show description for 2ff2661
  dporkka

  committed
  2ff2661View commit details

  Copy full SHA for 2ff2661

  View code at this pointBrowse repository at this point

• docs: update bootstrap README and CHANGELOG for inline spilling

  dporkka

  committed
  82aaa11View commit details

  Copy full SHA for 82aaa11

  View code at this pointBrowse repository at this point

• docs(bootstrap): update Stage 4 blocker notes with spill capacity status

  dporkka

  committed
  1033de8View commit details

  Copy full SHA for 1033de8

  View code at this pointBrowse repository at this point

• feat: formal HM soundness proofs, break-with-value, ArrLen VM fix

  Show description for c44642a
  dporkka

  committed
  c44642aView commit details

  Copy full SHA for c44642a

  View code at this pointBrowse repository at this point

• docs: note related RFCs in bootstrap README

  dporkka

  committed
  6256882View commit details

  Copy full SHA for 6256882

  View code at this pointBrowse repository at this point

• docs(bootstrap): update README for Stage 3 status and Stage 4 blocker

  Show description for a0edbdc
  dporkka

  committed
  a0edbdcView commit details

  Copy full SHA for a0edbdc

  View code at this pointBrowse repository at this point

• feat(bootstrap): Stage 3 — identifiers, let bindings, variables

  Show description for 747ca50
  dporkka

  committed
  747ca50View commit details

  Copy full SHA for 747ca50

  View code at this pointBrowse repository at this point

• feat(bootstrap): Stage 2 Pratt parser with String primitives

  Show description for f5be26c
  dporkka

  committed
  f5be26cView commit details

  Copy full SHA for f5be26c

  View code at this pointBrowse repository at this point

Commits on Jul 19, 2026

• feat: formal semantics scaffold + bootstrap compiler skeleton

  Show description for e1f358b
  dporkka

  committed
  e1f358bView commit details

  Copy full SHA for e1f358b

  View code at this pointBrowse repository at this point

Loading