Squashed history.

Author: gram-signal

.github/workflows/hax.yml

@@ -0,0 +1,26 @@
+name: hax
+
+on:
+  push:
+
+jobs:
+  fstar-type-checking:
+    runs-on: "ubuntu-latest"
+
+    steps:
+      - uses: actions/checkout@v4
+
+      - name: ⤵ Install and configure hax
+        uses: hacspec/hax-actions@main
+        with:
+          fstar: v2025.02.17
+
+      - run: sudo apt-get install protobuf-compiler
+
+      - name: 🏃 Extract F*
+        run: |
+          rm -f proofs/fstar/extraction/*.fst*
+          ./hax.py extract
+      - name: 🏃 Type-check extracted F*
+        run: ./hax.py prove
+

.github/workflows/test.yml

@@ -0,0 +1,64 @@
+name: CI
+on: [push]
+
+jobs:
+  test:
+    name: cargo test
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - uses: actions-rust-lang/setup-rust-toolchain@v1
+        with:
+          toolchain: nightly
+          components: clippy
+      - run: sudo apt-get install protobuf-compiler
+      - run: ./check_copyrights.sh
+      - run: cargo test --all-features
+      - run: cargo clippy --workspace --all-targets --all-features --keep-going -- -D warnings
+  msrv:
+    name: MSRV
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - uses: actions-rust-lang/setup-rust-toolchain@v1
+        with:
+          toolchain: 1.80.1
+          components: clippy
+      - run: sudo apt-get install protobuf-compiler
+      - run: cargo +1.80.1 build
+  crosspoly_i586:
+    name: cross test polynomial i586
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - uses: actions-rust-lang/setup-rust-toolchain@v1
+        with:
+          toolchain: nightly
+      - run: wget https://github.com/cross-rs/cross/releases/download/v0.2.5/cross-x86_64-unknown-linux-gnu.tar.gz
+      - run: tar xvzf cross-x86_64-unknown-linux-gnu.tar.gz
+      - run: chmod u+x cross
+      - run: ./cross test --target i586-unknown-linux-gnu polynomial
+  crosspoly_i686:
+    name: cross test polynomial i686
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - uses: actions-rust-lang/setup-rust-toolchain@v1
+        with:
+          toolchain: nightly
+      - run: wget https://github.com/cross-rs/cross/releases/download/v0.2.5/cross-x86_64-unknown-linux-gnu.tar.gz
+      - run: tar xvzf cross-x86_64-unknown-linux-gnu.tar.gz
+      - run: chmod u+x cross
+      - run: ./cross test --target i686-unknown-linux-gnu polynomial
+  crosspoly_aarch64:
+    name: cross test polynomial aarch64
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - uses: actions-rust-lang/setup-rust-toolchain@v1
+        with:
+          toolchain: nightly
+      - run: wget https://github.com/cross-rs/cross/releases/download/v0.2.5/cross-x86_64-unknown-linux-gnu.tar.gz
+      - run: tar xvzf cross-x86_64-unknown-linux-gnu.tar.gz
+      - run: chmod u+x cross
+      - run: ./cross test --target aarch64-unknown-linux-gnu polynomial

.gitignore

@@ -0,0 +1,4 @@
+/target
+tarpaulin-report.html
+rust-toolchain.toml
+/.fstar-cache