Embedding machine integers as machine integer constants#3195
Open
mtzguido wants to merge 7 commits intoFStarLang:masterfrom mtzguido:machine_ints_embed_as_const
+395-514
Commits
Commits on Jan 22, 2024
- committed
Commits on Jan 24, 2024
- committed
- committed
- committed
- committed
- committed
- committed