cleanup

cryspen · Oct 29, 2024 · 3400e59 · 3400e59
1 parent 516b6f3
commit 3400e59
Show file tree

Hide file tree

Showing 5 changed files with 141 additions and 378 deletions.
diff --git a/libcrux-intrinsics/Cargo.toml b/libcrux-intrinsics/Cargo.toml
@@ -10,6 +10,8 @@ readme.workspace = true
 description = "Libcrux intrinsics crate"
 exclude = ["/proofs"]
 
+[dependencies]
+
 [features]
 simd128 = []
 simd256 = []

diff --git a/libcrux-intrinsics/proofs/fstar/extraction/Libcrux_intrinsics.Arm64_extract.fsti b/libcrux-intrinsics/proofs/fstar/extraction/Libcrux_intrinsics.Arm64_extract.fsti
@@ -1,5 +1,5 @@
 module Libcrux_intrinsics.Arm64_extract
-#set-options "--fuel 0 --ifuel 1 --z3rlimit 80"
+#set-options "--fuel 0 --ifuel 1 --z3rlimit 15"
 open Core
 open FStar.Mul