everett 0.1.0

A clean, zero-dependency statevector quantum simulator.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72

name: CI

on:
  push:
    branches: [main]
  pull_request:

concurrency:
  group: ${{ github.workflow }}-${{ github.ref }}
  cancel-in-progress: true

jobs:
  check:
    name: nix flake check
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v5
      - uses: DeterminateSystems/nix-installer-action@v16
      # GitHub-Actions-backed nix store cache; needs no external service or auth.
      - uses: nix-community/cache-nix-action@v6
        with:
          primary-key: nix-${{ runner.os }}-${{ hashFiles('flake.lock', '**/Cargo.lock') }}
          restore-prefixes-first-match: nix-${{ runner.os }}-
      # no --all-systems: the runner is x86_64-linux and cannot build the
      # toolchain for other platforms (the fenix channel drv is per-system).
      - run: nix flake check

  miri:
    name: miri
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v5
      - name: install miri
        # each rustup component needs its own --component flag. the nightly
        # toolchain is selected per-command with `+nightly` below, which takes
        # precedence over the repo's rust-toolchain.toml (pinned to stable).
        run: |
          rustup toolchain install nightly --component miri --component rust-src
          cargo +nightly miri setup
      - name: cargo miri test
        run: |
          MIRIFLAGS="-Zmiri-strict-provenance -Zmiri-tree-borrows" \
            cargo +nightly miri test miri_

  kani:
    name: kani
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v5
      - uses: model-checking/kani-github-action@v1

  coverage:
    name: coverage
    runs-on: ubuntu-latest
    needs: check
    steps:
      - uses: actions/checkout@v5
      - uses: DeterminateSystems/nix-installer-action@v16
      - uses: nix-community/cache-nix-action@v6
        with:
          primary-key: nix-${{ runner.os }}-${{ hashFiles('flake.lock', '**/Cargo.lock') }}
          restore-prefixes-first-match: nix-${{ runner.os }}-
      - name: cargo llvm-cov
        run: nix develop --command cargo llvm-cov --all-features --lcov --output-path lcov.info
      # uploading is best-effort: a missing CODECOV_TOKEN (or codecov outage)
      # should not fail the build, since coverage was still generated above.
      - uses: codecov/codecov-action@v5
        continue-on-error: true
        with:
          files: lcov.info
          fail_ci_if_error: false
          token: ${{ secrets.CODECOV_TOKEN }}