Switch to more efficient sexp datatype - #1365

Draft

myreen wants to merge 17 commits into

Commits on Feb 19, 2026

Replace simpleSexp with mlsexp in fromSexpScript

tanyongkiam
and
claude
committed
a151eb9

Commits on Feb 20, 2026

Replace simpleSexpParse with mlsexp in compiler integration

tanyongkiam
and
claude
committed
41e62c1
Remove simpleSexp translations from bootstrap/dafny/scheme translation files

tanyongkiam
and
claude
committed
822c744

Commits on Mar 25, 2026

Merge remote-tracking branch 'origin/master' into sexp-switch
myreen
committed
74f4e34

Commits on Jun 5, 2026

Merge remote-tracking branch 'origin/master' into sexp-switch

dnezam
and
claude
committed
fc199fe
Fix fromSexpTheory after simpleSexp -> mlsexp switch

dnezam
and
claude
committed
5276b34

Commits on Jun 6, 2026

Fix to_sexpProg after simpleSexp -> mlsexp switch

dnezam
and
claude
committed
47675db
Fix dafny_compilerProg after simpleSexp -> mlsexp switch

dnezam
and
claude
committed
8780fbe
Update README.md
dnezam
committed
0207a34
Fix sexp_parserProg
dnezam
committed
878c205
Merge remote-tracking branch 'origin/master' into sexp-switch
dnezam
committed
defef5c
Fix bad merge
dnezam
committed
e966b70
Actually fix bad merge
dnezam
committed
e301442
Replace removed print_sexp with mlsexp$sexp_to_string

dnezam
and
claude
committed
eae30ec

Commits on Jun 7, 2026

Update changes-since-release.md
dnezam
committed
8d01255
Rewrite astToSexprLib for the mlsexp representation

dnezam
and
claude
committed
52f2db0

Commits on Jun 9, 2026

Add underscores to make encoding consistent with constructor name
dnezam
committed
ccb7f39