cleanup

cryspen · Oct 29, 2024 · 5cf6072 · 5cf6072
1 parent 9c3247c
commit 5cf6072
Show file tree

Hide file tree

Showing 31 changed files with 417 additions and 5,010 deletions.
diff --git a/.github/workflows/mlkem.yml b/.github/workflows/mlkem.yml
@@ -87,11 +87,6 @@ jobs:
           rustc --print=cfg
           cargo build --verbose $RUST_TARGET_FLAG --features pre-verification
 
-      - name: 🔨 Build unpacked
-        run: |
-          rustc --print=cfg
-          cargo build --verbose $RUST_TARGET_FLAG --features pre-verification,unpacked
-
       - name: 🔨 Build Release
         run: cargo build --verbose --release $RUST_TARGET_FLAG --features pre-verification
 

diff --git a/Cargo.lock b/Cargo.lock
diff --git a/fstar-helpers/Makefile.base b/fstar-helpers/Makefile.base
diff --git a/fstar-helpers/Makefile.generic b/fstar-helpers/Makefile.generic
diff --git a/fstar-helpers/README.md b/fstar-helpers/README.md
diff --git a/fstar-helpers/fstar-bitvec/BitVec.Equality.fst b/fstar-helpers/fstar-bitvec/BitVec.Equality.fst
diff --git a/fstar-helpers/fstar-bitvec/BitVec.Equality.fsti b/fstar-helpers/fstar-bitvec/BitVec.Equality.fsti