pyspec: native contract decorator recognition surface#1427

Open

julesmt wants to merge 71 commits into

mainfrom

julesmt/feature/decorator-recognition-surface

Commits on May 12, 2026

Fix typo in architecture doc (#1159)

joscoh
and
Josh Cohen
authored

Commits on May 15, 2026

Add int-valued recursion with termination checking (#1167)

joscoh
and
Josh Cohen
authored

Commits on May 18, 2026

Merge `main` into `main2` (#1177)

authored

Commits on May 19, 2026

Commits on May 20, 2026

Automate single page verso doc building via `make` (#1193)
leo-leesco
authored

Commits on May 22, 2026

Merge with main (#1197)

authored

Commits on May 27, 2026

Remove ability to initialize variable with nondeterministic variables (#1220)

joscoh
and
Josh Cohen
authored

Commits on May 28, 2026

Commits on May 29, 2026

Commits on Jun 1, 2026

Commits on Jun 2, 2026

Fix Python for-loop translation: continue now advances the counter (#1302)

leo-leesco
and
keyboardDrummer-bot
authored

Commits on Jun 3, 2026

Fix stack overflow in verify pipeline on large Core programs (#1314)

joscoh
and
Josh Cohen
authored
Prove `LExpr.resolve` produces well-annotated terms (#1309)

joscoh
and
Josh Cohen
authored
Merge with main 2026 06 01 (#1311)

authored

Commits on Jun 4, 2026

Fix bugs in Function typing (#1288)

joscoh
and
Josh Cohen
authored

Commits on Jun 5, 2026

Commits on Jun 6, 2026

Fix outdated ion-java jar path in README (#1336)
amanda-zx
authored

Commits on Jun 8, 2026

Commits on Jun 9, 2026

Support transparent procedures (#1215)

keyboardDrummer
and
keyboardDrummer-bot
authored

Commits on Jun 10, 2026

Commits on Jun 12, 2026

feat(laurel): Support bitvector types as composite fields (#1357)
olivier-aws
authored

Commits on Jun 15, 2026

feat(laurel): add Java-style ++ and -- operators (#1320)
olivier-aws
authored

Commits on Jun 16, 2026

Commits on Jun 17, 2026

fix(laurel): datatype `==`/`!=` mis-lowered to reference comparison in heap-writing procedures (#1349)

fabiomadge
and
ssomayyajula
authored

Commits on Jun 18, 2026

Commits on Jun 19, 2026

Fix resolution errors during phases (#1389)

keyboardDrummer
and
keyboardDrummer-bot
authored

Commits on Jun 20, 2026

laurel: wire old() to Core two-state semantics (#1203)

authored

Commits on Jun 22, 2026

Commits on Jun 23, 2026

Commits on Jun 25, 2026

Laurel: avoid quantified modifies frames when using array theory (#1374)

authored

Commits on Jun 26, 2026

pyspec: decorator framework (DecoratorForm + diagnostics extract)
julesmt
committed

Commits on Jun 27, 2026

pyspec: native contract decorator recognition surface
julesmt
committed