Commits

History for

onnext/doc-example-verification

Commits on Aug 11, 2026

fix: AOT backend recursive function return type inference
dporkka
committed
6e3d51b

Commits on Aug 10, 2026

style: cargo fmt
dporkka
committed
8f4bcc8

Commits on Aug 9, 2026

feat: CRDT ergonomics - first-class syntax, auto-sync, built-in merge
dporkka
committed
d7e5436
feat: Scale-to-Zero hibernation for actors
dporkka
committed
b5eff85

Commits on Aug 8, 2026

feat(repl): % prefix + inline hints + %time/%effect/%cap + session save/load
dporkka
committed
274b649

Commits on Aug 5, 2026

fix: exhaustiveness for Skolem, Variant, Function, Actor in match arms
dporkka
committed
b3ad38c

Commits on Aug 1, 2026

Commits on Jul 31, 2026

feat(repl): show inferred expression types alongside values
dporkka
committed
89d4b3e

Commits on Jul 30, 2026

Commits on Jul 29, 2026

Commits on Jul 25, 2026

style: apply rustfmt to entire codebase
dporkka
committed
c4a3fd5
feat: AI terminology decoupling — Inference effect + keyword cleanup
dporkka
committed
937b155

Commits on Jul 23, 2026

Commits on Jul 19, 2026

ci: enforce zero warnings, fix clippy lints, add release build
dporkka
committed
5f6006f

Commits on Jul 17, 2026

Commits on Jul 14, 2026

Close remaining language/runtime gaps
dporkka
committed
1edd01b

Commits on Jul 12, 2026

feat: actor-heap reclamation, growable heaps, lineariso enforcement
dporkka
committed
a7166ec

Commits on Jul 11, 2026

Extend test coverage to 856 tests (77 new) across 12 source files
dporkka
committed
3672b79

Commits on Jul 10, 2026

fix: wire OrcaGc delivery, add dedicated Nil type, remove dead SharedHeapGc
dporkka
committed
1ec3e47

Commits on Jul 9, 2026

Commits on Jul 8, 2026

Commits on Jul 7, 2026

v0.2: add typed HIR -> MIR -> bytecode compiler pipeline
dporkka
committed
5541214