Switch Laurel AST to getIonSerializer% format#405

Draft

keyboardDrummer-bot wants to merge 26 commits into

mainfrom

bot/issue-404-ion-serializer

Commits on May 1, 2026

Switch Laurel AST to getIonSerializer% elaborator format
keyboardDrummer-bot
committed
Bump Strata submodule to keyboardDrummer/Strata#7 (bot/ion-deserializer)
keyboardDrummer-bot
committed
Regenerate Laurel AST and update consumers for new IonSerializer format
keyboardDrummer-bot
committed
Fix Long.MIN_VALUE overflow in longLiteral: use BigInteger.negate()
keyboardDrummer-bot
committed
Fix OpaqueSpec: only use for methods without a body
keyboardDrummer-bot
committed
Fix OpaqueSpec: always wrap ensures clauses, even with a body
keyboardDrummer-bot
committed
Log Strata errors to stderr for CI visibility
keyboardDrummer-bot
committed
Fix CI: use z3 solver explicitly for Strata backend
keyboardDrummer-bot
committed

Commits on Jun 25, 2026

Commits on Jun 26, 2026