Merge branch 'master' into afromher_rust

FStarLang · Jan 9, 2025 · 2406ac2 · 2406ac2
2 parents e80c30f + 68bf420
commit 2406ac2
Show file tree

Hide file tree

Showing 22 changed files with 284 additions and 252 deletions.
diff --git a/.docker/build/install-deps.sh b/.docker/build/install-deps.sh
@@ -19,7 +19,7 @@ git clone --branch $FSTAR_BRANCH https://github.com/FStarLang/FStar "$FSTAR_HOME
 opam install --deps-only "$FSTAR_HOME/fstar.opam"
 OTHERFLAGS='--admit_smt_queries true' make -j 24 -C "$FSTAR_HOME"
 
-sudo "$FSTAR_HOME/bin/get_fstar_z3.sh" "/usr/local/bin"
+sudo "$FSTAR_HOME/.scripts/get_fstar_z3.sh" "/usr/local/bin"
 
 # Install other deps
 "$build_home"/install-other-deps.sh
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