Merge pull request #3070 from gebner/idecontfrom

Add `push-partial-checked-file` IDE request
FStarLang · Oct 23, 2023 · 61ccb46 · 61ccb46
2 parents f7c80bf + c3dd2f4
commit 61ccb46
Show file tree

Hide file tree

Showing 23 changed files with 570 additions and 216 deletions.
diff --git a/ocaml/fstar-lib/generated/FStar_CheckedFiles.ml b/ocaml/fstar-lib/generated/FStar_CheckedFiles.ml
diff --git a/ocaml/fstar-lib/generated/FStar_Interactive_Ide.ml b/ocaml/fstar-lib/generated/FStar_Interactive_Ide.ml
diff --git a/ocaml/fstar-lib/generated/FStar_Interactive_Ide_Types.ml b/ocaml/fstar-lib/generated/FStar_Interactive_Ide_Types.ml