Merge branch 'master' into check_world_cbor

FStarLang · Nov 9, 2024 · 66ad9bc · 66ad9bc
2 parents d44bd7c + 5aba9a4
commit 66ad9bc
Show file tree

Hide file tree

Showing 965 changed files with 24,846 additions and 2,469 deletions.
diff --git a/.nix/fstar.nix b/.nix/fstar.nix
@@ -13,6 +13,7 @@ stdenv.mkDerivation {
     "examples.*"
     "src(/ocaml-output(/Makefile)?)?"
     "ucontrib.*"
+    "mk.*"
   ];
 
   dontBuild = true;

diff --git a/doc/book/code/GradedMonad.fst.hints b/doc/book/code/GradedMonad.fst.hints
diff --git a/doc/book/code/MonadFunctorInference.fst.hints b/doc/book/code/MonadFunctorInference.fst.hints
diff --git a/doc/book/code/Part1.Assertions.fst.hints b/doc/book/code/Part1.Assertions.fst.hints
diff --git a/doc/book/code/Part1.Quicksort.Main.fst.hints b/doc/book/code/Part1.Quicksort.Main.fst.hints
diff --git a/doc/book/code/Part5.Mapply.fst.hints b/doc/book/code/Part5.Mapply.fst.hints
diff --git a/doc/book/code/Part5.Pow2.fst.hints b/doc/book/code/Part5.Pow2.fst.hints
diff --git a/doc/book/code/ProvableEquality.fst.hints b/doc/book/code/ProvableEquality.fst.hints
diff --git a/doc/book/code/SimplifiedFStarSet.fst.hints b/doc/book/code/SimplifiedFStarSet.fst.hints