Repository navigation

TypedPython stage 2: typed IR → C back end, end to end on desktop - #64

Merged

b-re-w merged 54 commits into

developfrom

work/typedpython-m2

Oct 3, 2026

Merged

TypedPython stage 2: typed IR → C back end, end to end on desktop#64
b-re-w merged 54 commits into
developfrom
work/typedpython-m2

Commits on Oct 2, 2026
Commits on Oct 3, 2026
- Perf: Run Pyrefly once per gate check, probes included
  b-re-w
  committed
  4f99132
- Feat: TypedPython incremental compilation cache (module unit)
  b-re-w
  committed
  cd9a412
- Feat: TypedPython IR safety verifier (SPEC N-8)
  b-re-w
  committed
  a017473
- Spec: Settle IR ambiguities found by the verifier
  b-re-w
  committed
  9d8edcf
- Feat: Make compiled a builtin for plain CPython and the gate
  b-re-w
  committed
  7fd5547
- Feat: TypedPython C runtime (tp_runtime.h) with differential tests against CPython
  b-re-w
  committed
  1917324
- Feat: TypedPython C back end (IR -> C-API extension) and build driver
  b-re-w
  committed
  c159115
- Feat: TypedPython front end (AST + Pyrefly types -> typed IR)
  b-re-w
  committed
  8f87972
- Merge branch 'work/tp-cgen' into work/typedpython-m2
  b-re-w
  committed
  f0dcb5e
- Merge branch 'work/tp-frontend' into work/typedpython-m2
  b-re-w
  committed
  542b1f5
- Merge branch 'work/tp-verify' into work/typedpython-m2
  b-re-w
  committed
  a3c6809
- Merge branch 'work/tp-incremental' into work/typedpython-m2
  b-re-w
  committed
  59902b5
- Merge branch 'work/tp-builtin' into work/typedpython-m2
  b-re-w
  committed
  f6627ec
- Merge branch 'work/typedpython-gate-once' into work/typedpython-m2
  b-re-w
  committed
  b4688c8
- Docs: The compile slot needs no separate .py fallback
  b-re-w
  committed
  14ccf6a
- Feat: TypedPython pipeline and demo on the IR-to-C back end
  b-re-w
  committed
  8f6b87c
- Spec: Proven i64 ops, callee-only redo, entry snapshots of globals
  b-re-w
  committed
  957315e
- Fix: Put Function.entry_globals after the fields without defaults
  b-re-w
  committed
  ac366e9
- Feat: Front end records proven i64 ops, redo calls and entry globals
  b-re-w
  committed
  4c26827
- Feat: Verifier re-proves proven ops, redo calls and entry globals
  b-re-w
  committed
  f34e238
- Merge branch 'work/m2-fe' into work/typedpython-m2
  b-re-w
  committed
  a3f3489
- Feat: C back end for proven ops, redo calls and entry globals
  b-re-w
  committed
  8e650c1
- Merge branch 'work/m2-ve' into work/typedpython-m2
  b-re-w
  committed
  c945ac3
- Merge branch 'work/m2-cg' into work/typedpython-m2
  b-re-w
  committed
  0ffd9a6
- Spec: Record the proven/redo/entry-globals rules the verifier enforces (N-8)
  b-re-w
  committed
  43638b2
- Spec: Local fixed-size arrays and tuple returns in the IR (fannkuch, M2)
  b-re-w
  committed
  513f10f
- Feat: Incremental TypedPython builds (pipeline.compile_project, typedpython build)
  b-re-w
  committed
  fc03e83
- CI: Run the TypedPython C tests under ASan+UBSan
  b-re-w
  committed
  d163293
- Merge branch 'work/m2-inc' into work/typedpython-m2
  b-re-w
  committed
  3c10a57
- Merge branch 'work/m2-san' into work/typedpython-m2
  b-re-w
  committed
  19cb97e
- Feat: Verifier proves local arrays and tuples
  b-re-w
  committed
  eb4dcb8
- Feat: Front end lowers local arrays and tuple returns (fannkuch)
  b-re-w
  committed
  ae67e09
- Feat: Runtime helpers for local arrays and tuples
  b-re-w
  committed
  64a7744
- Merge branch 'work/m2-rt2' into work/typedpython-m2
  b-re-w
  committed
  699c56d
- Merge branch 'work/m2-fe2' into work/typedpython-m2
  b-re-w
  committed
  90929db
- Feat: C back end for local arrays and tuples
  b-re-w
  committed
  95d96d4
- Merge branch 'work/m2-ve2' into work/typedpython-m2
  b-re-w
  committed
  a63c659
- Merge branch 'work/m2-cg2' into work/typedpython-m2
  b-re-w
  committed
  0e464af
- Merge remote-tracking branch 'origin/develop' into work/typedpython-m2
  b-re-w
  committed
  d75005a
- CI: Plant the ASan self-check fault in the redzone and show the report head
  b-re-w
  committed
  82f6d7c
- CI: Let the ASan self-check case reach ASan
  b-re-w
  committed
  9a16536

Commits

Commits on Oct 2, 2026

Commits on Oct 3, 2026