Merge pull request #3419 from mtzguido/read_krml

Main: introduce --read_krml_file mode
FStarLang · Aug 27, 2024 · 8b8de3f · 8b8de3f
2 parents ca60642 + 034f553
commit 8b8de3f
Show file tree

Hide file tree

Showing 8 changed files with 1,480 additions and 330 deletions.
diff --git a/ocaml/fstar-lib/generated/FStar_Extraction_Krml.ml b/ocaml/fstar-lib/generated/FStar_Extraction_Krml.ml
diff --git a/ocaml/fstar-lib/generated/FStar_Main.ml b/ocaml/fstar-lib/generated/FStar_Main.ml