Deploy 4b766a6 to gh-pages

.github/codecov.yml

@@ -0,0 +1,6 @@
+coverage:
+  status:
+    patch: off
+    project: off
+ignore:
+ - "test-binaries"

.github/dependabot.yml

@@ -0,0 +1,13 @@
+version: 2
+updates:
+- package-ecosystem: "github-actions"
+  directory: "/"
+  schedule:
+    interval: daily
+  open-pull-requests-limit: 10
+
+- package-ecosystem: cargo
+  directory: "/"
+  schedule:
+    interval: daily
+  open-pull-requests-limit: 10

.github/workflows/docs.yml

@@ -0,0 +1,47 @@
+name: Generate documentation
+on:
+    push:
+        branches:
+            - main
+
+jobs:
+    doc:
+        name: Document
+        runs-on: ubuntu-latest
+        permissions:
+            contents: write  # To push a branch
+            pull-requests: write  # To create a PR from that branch
+        steps:
+            -   uses: actions/checkout@v3
+                with:
+                    fetch-depth: 0
+            -   name: Install latest mdbook
+                run: |
+                    tag=$(curl 'https://api.github.com/repos/rust-lang/mdbook/releases/latest' | jq -r '.tag_name')
+                    url="https://github.com/rust-lang/mdbook/releases/download/${tag}/mdbook-${tag}-x86_64-unknown-linux-gnu.tar.gz"
+                    mkdir mdbook
+                    curl -sSL $url | tar -xz --directory=./mdbook
+                    echo `pwd`/mdbook >> $GITHUB_PATH
+            -   name: Install rust
+                uses: actions-rs/toolchain@v1
+                with:
+                    toolchain: nightly
+            -   name: Generate reference manual
+                run: mdbook build docs
+            -   name: Generate API documentation
+                run: cargo +nightly doc --workspace --no-deps --all-features --target-dir docs/api
+            -   name: Deploy GitHub Pages
+                run: |
+                    cd docs
+                    git worktree add gh-pages
+                    git config user.name "Deploy from CI"
+                    git config user.email ""
+                    cd gh-pages
+                    git update-ref -d refs/heads/gh-pages
+                    rm -rf *
+                    mv ../book/* .
+                    mkdir docs
+                    mv ../api/doc/* docs
+                    git add .
+                    git commit -m "Deploy $GITHUB_SHA to gh-pages"
+                    git push --force --set-upstream origin gh-pages

.github/workflows/rust.yml

@@ -0,0 +1,120 @@
+name: Test and Check
+
+on:
+  push:
+    branches: [ main ]
+  pull_request:
+
+env:
+  CARGO_TERM_COLOR: always
+
+jobs:
+  build:
+    name: Build
+    runs-on: ubuntu-latest
+    steps:
+      -   name: Checkout sources
+          uses: actions/checkout@v3
+
+      -   name: Install rust
+          uses: actions-rs/toolchain@v1
+          with:
+            toolchain: stable
+            override: true
+
+      -   name: Build no-std
+          uses: actions-rs/cargo@v1
+          with:
+            command: build
+            toolchain: stable
+            args: --no-default-features
+
+      # Build std is handled by test job
+
+  test:
+    name: Test
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout sources
+        uses: actions/checkout@v3
+
+      - name: Install rust
+        uses: actions-rs/toolchain@v1
+        with:
+          toolchain: stable
+          override: true
+
+      - name: Install cargo-llvm-cov
+        uses: taiki-e/install-action@v2
+        with:
+          tool: cargo-llvm-cov
+
+      - name: Run tests
+        run: cargo llvm-cov --all-features --lcov --output-path lcov.info
+        env:
+          RUST_BACKTRACE: 1
+
+      - name: Upload coverage to Codecov
+        uses: codecov/codecov-action@v3
+        with:
+          files: lcov.info
+          fail_ci_if_error: false
+
+  check:
+    name: Check style
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout sources
+        uses: actions/checkout@v3
+
+      - name: Install rust
+        uses: actions-rs/toolchain@v1
+        with:
+          toolchain: stable
+          components: rustfmt, clippy
+          override: true
+
+      - name: Run cargo fmt
+        uses: actions-rs/cargo@v1
+        with:
+          command: fmt
+          toolchain: stable
+          args: --all --check
+
+      - name: Run cargo clippy
+        uses: actions-rs/cargo@v1
+        with:
+          command: clippy
+          toolchain: stable
+          args: --workspace --all-features -- -D warnings
+
+      - name: Run clippy (fuzzers)
+        uses: actions-rs/cargo@844f36862e911db73fe0815f00a4a2602c279505
+        with:
+          command: clippy
+          args: --manifest-path ./fuzz/Cargo.toml --all-targets -- -D warnings
+
+  fuzz:
+    name: Smoke-test fuzzing targets
+    runs-on: ubuntu-20.04
+    steps:
+      - name: Checkout sources
+        uses: actions/checkout@8e5e7e5ab8b370d6c329ec480221332ada57f0ab
+        with:
+          persist-credentials: false
+      - name: Install stable toolchain
+        uses: actions-rs/toolchain@16499b5e05bf2e26879000db0c1d13f7e13fa3af
+        with:
+          toolchain: nightly
+          override: true
+          default: true
+      - name: Install cargo fuzz
+        uses: taiki-e/install-action@70233fe3d27d863712ee34eede2087e36bde6b5e
+        with:
+          tool: cargo-fuzz
+      - name: Smoke-test fuzz targets
+        run: |
+          cargo fuzz build
+          for target in $(cargo fuzz list) ; do
+            cargo fuzz run $target -- -max_total_time=10
+          done

.gitignore

@@ -0,0 +1,11 @@
+/target
+/docs/book
+validation/measurement_report.aux
+validation/measurement_report.fdb_latexmk
+validation/measurement_report.fls
+validation/measurement_report.log
+validation-ht/measurement_report.aux
+validation-ht/measurement_report.fdb_latexmk
+validation-ht/measurement_report.fls
+validation-ht/measurement_report.log
+*swp

.rustfmt.toml

@@ -0,0 +1,10 @@
+unstable_features = true
+format_macro_matchers = true
+format_strings = true
+hex_literal_case = "Lower"
+imports_granularity = "Crate"
+normalize_comments = true
+normalize_doc_attributes = true
+group_imports = "StdExternalCrate"
+use_try_shorthand = true
+wrap_comments = true