Merge pull request #3364 from FStarLang/gebner_safe_dyn

Generalize `FStar.Dyn`
FStarLang · Aug 7, 2024 · f5bac7a · f5bac7a
2 parents 401f413 + 73b6e82
commit f5bac7a
Show file tree

Hide file tree

Showing 37 changed files with 221 additions and 296 deletions.
diff --git a/ocaml/fstar-lib/FStar_Compiler_Dyn.ml b/ocaml/fstar-lib/FStar_Compiler_Dyn.ml
diff --git a/ocaml/fstar-lib/generated/FStar_Extraction_ML_Modul.ml b/ocaml/fstar-lib/generated/FStar_Extraction_ML_Modul.ml
diff --git a/ocaml/fstar-lib/generated/FStar_Parser_AST.ml b/ocaml/fstar-lib/generated/FStar_Parser_AST.ml
diff --git a/ocaml/fstar-lib/generated/FStar_Reflection_V1_Embeddings.ml b/ocaml/fstar-lib/generated/FStar_Reflection_V1_Embeddings.ml
diff --git a/ocaml/fstar-lib/generated/FStar_Reflection_V1_NBEEmbeddings.ml b/ocaml/fstar-lib/generated/FStar_Reflection_V1_NBEEmbeddings.ml
diff --git a/ocaml/fstar-lib/generated/FStar_Reflection_V2_Embeddings.ml b/ocaml/fstar-lib/generated/FStar_Reflection_V2_Embeddings.ml