Repository navigation

feat(aot): lower finite native dispatch and optimized integer operations - #4423

Closed

yabanana wants to merge 144 commits into

boykopovar:mainfrom

yabanana:feature/aot-finite-dispatch

Closed

feat(aot): lower finite native dispatch and optimized integer operations#4423
yabanana wants to merge 144 commits into
boykopovar:mainfrom
yabanana:feature/aot-finite-dispatch

Commits on Oct 9, 2026
- feat(aot): add experimental native Apple ARM64 compiler
  yabanana
  committed
  c18f040
- test(aot): initialize pointer facts in integer instruction harness
  yabanana
  committed
  a2f4f36
- feat(aot): infer memory effects of direct native calls
  yabanana
  committed
  9cbb67d
- feat(aot): qualify native provider memory effects
  yabanana
  committed
  691cf15
- Merge remote-tracking branch 'origin/main' into feature/aot-call-effects
  yabanana
  committed
  b5b268b
- test(aot): isolate native libraries between compilations
  yabanana
  committed
  6531f63
- feat(aot): prove bounded indexed frame writes
  yabanana
  committed
  e7bdd10
- feat(aot): infer parameter-relative write effects
  yabanana
  committed
  9da3a54
- fix(aot): derive memory writes from instruction semantics
  yabanana
  committed
  2cb720d
- feat(aot): preserve stack pointer argument origins
  yabanana
  committed
  849d3dd
- feat(aot): register native process images with the runtime
  yabanana
  committed
  5ccec75
- feat(aot): guard declared stack object accesses natively
  yabanana
  committed
  4cf60e1
- feat(aot): link immutable image pointers natively
  yabanana
  committed
  3d5178a
- feat(aot): resolve null and constant stack arguments
  yabanana
  committed
  24f9177
- test(aot): isolate native libraries between compilations
  yabanana
  committed
  2a3b8ee
- fix(aot): invalidate pointer cells on semantic memory writes
  yabanana
  committed
  142a7ab
Commits on Oct 11, 2026
Commits on Oct 12, 2026
Commits on Oct 13, 2026
Commits on Oct 14, 2026

Commits

Commits on Oct 9, 2026

Commits on Oct 11, 2026

Commits on Oct 12, 2026

Commits on Oct 13, 2026

Commits on Oct 14, 2026