Merge pull request #518 from FStarLang/protz_enums

Improved compilation scheme for enums.
FStarLang · Jan 8, 2025 · 0e372f6 · 0e372f6
2 parents e111ce5 + d5748c7
commit 0e372f6
Show file tree

Hide file tree

Showing 21 changed files with 283 additions and 251 deletions.
diff --git a/krmllib/hints/C.Endianness.fst.hints b/krmllib/hints/C.Endianness.fst.hints
diff --git a/krmllib/hints/C.Failure.fst.hints b/krmllib/hints/C.Failure.fst.hints