Add `getIonDeserializer%` and `getIonSerializer%` elaborators for generic Ion serialization - #1095

Closed

keyboardDrummer-bot wants to merge 86 commits into

mainfrom

bot/ion-deserializer

Commits on Apr 9, 2026

Add getIonDeserializer% elaborator for generic Ion deserialization
keyboardDrummer-bot
committed
2b4a9e0

Commits on Apr 10, 2026

Add Float support and nested/recursive type deserialization
keyboardDrummer-bot
committed
29bfcc7
Replace DDM-based Java generator with getIonSerializer% elaborator
keyboardDrummer-bot
committed
1aad1e3

Commits on Apr 29, 2026

Commits on May 1, 2026

Commits on May 12, 2026

Fix typo in architecture doc (#1159)
joscoh
authored
43550ee

Commits on May 15, 2026

Add int-valued recursion with termination checking (#1167)
joscoh
authored
25f2543

Commits on May 18, 2026

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

authored
3696330

Commits on May 19, 2026

Commits on May 20, 2026

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

Commits on May 22, 2026

Merge with main (#1197)

authored
23e99eb

Commits on May 27, 2026

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

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
06d41f2

Commits on Jun 3, 2026

Fix stack overflow in verify pipeline on large Core programs (#1314)
joscoh
authored
8e97471
Prove `LExpr.resolve` produces well-annotated terms (#1309)
joscoh
authored
8011a42
Merge with main 2026 06 01 (#1311)

authored
47c5d18

Commits on Jun 4, 2026

Fix bugs in Function typing (#1288)
joscoh
authored
4e4ceb9

Commits on Jun 5, 2026

Commits on Jun 6, 2026

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

Commits on Jun 8, 2026

Examples using Lean to prove VCs of Core programs (#1219)
atomb
authored
c4e4a41
docs(BooleFeatureRequests) (#1300)

authored
ead057a
Merge main into main2 (2026-06-08) (#1346)

authored
2e525e8

Commits on Jun 9, 2026

Support transparent procedures (#1215)

keyboardDrummer
and
keyboardDrummer-bot
authored
a364a70

Commits on Jun 10, 2026

Commits on Jun 11, 2026

Commits on Jun 12, 2026

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

Commits on Jun 15, 2026

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

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
0c99354

Commits on Jun 18, 2026

Add type checking to Laurel resolution pass (#1121)

authored
9c40e44
fix(laurel): Run LiftInstanceProcedure before EliminateValueInReturns (#1381)
olivier-aws
authored
45784fa
File-relative error reporting (#1367)

leo-leesco
and
claude
authored
925423b

Commits on Jun 19, 2026

Fix resolution errors during phases (#1389)

keyboardDrummer
and
keyboardDrummer-bot
authored
81f20ab

Commits on Jun 20, 2026

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

authored
0abd9ef

Commits on Jun 22, 2026

Commits on Jun 23, 2026

Commits on Jun 24, 2026

Remove GenDDM and its dependencies
keyboardDrummer-bot
committed
71bc8ee

Commits on Jun 25, 2026

Commits on Jun 26, 2026