Certified encodings for proof logging #613
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: RustSAT | |
| on: | |
| push: | |
| branches: [ "main", "next-major" ] | |
| pull_request: | |
| branches: [ "main", "next-major" ] | |
| env: | |
| CARGO_TERM_COLOR: always | |
| jobs: | |
| build-test: | |
| name: Build and test | |
| strategy: | |
| matrix: | |
| os: [ubuntu-latest, macos-latest, windows-latest] | |
| # 1.66.1 is the MSRV | |
| rust-version: ["1.66.1", stable] | |
| runs-on: ${{ matrix.os }} | |
| steps: | |
| - name: Checkout sources | |
| uses: actions/checkout@v4 | |
| with: | |
| submodules: "recursive" | |
| - name: Install stable toolchain | |
| uses: dtolnay/rust-toolchain@stable | |
| with: | |
| toolchain: ${{ matrix.rust-version }} | |
| - uses: Swatinem/rust-cache@v2 | |
| with: | |
| shared-key: "build-test" | |
| # Matrix instances (other than the OS) need to be added to this explicitly | |
| key: ${{ matrix.rust-version }} | |
| - name: Install latest nextest release | |
| uses: taiki-e/install-action@nextest | |
| - name: Set up Python | |
| uses: actions/setup-python@v5 | |
| with: | |
| python-version: 3.12 | |
| - name: Install VeriPB | |
| run: pip install https://gitlab.com/MIAOresearch/software/VeriPB/-/archive/version2/VeriPB-version2.zip | |
| - name: Cargo build | |
| run: cargo build -p rustsat --verbose --features=all | |
| env: | |
| CMAKE_BUILD_PARALLEL_LEVEL: ${{ fromJSON('["", "4"]')[matrix.os == 'macos-latest'] }} | |
| - name: Run tests | |
| run: cargo nextest run --profile ci -p rustsat --verbose --features=all | |
| env: | |
| CMAKE_BUILD_PARALLEL_LEVEL: ${{ fromJSON('["", "4"]')[matrix.os == 'macos-latest'] }} | |
| - name: CaDiCaL external solver | |
| if: matrix.os == 'ubuntu-latest' | |
| run: | | |
| curl -O https://media.christophjabs.info/cadical-2-0-0 | |
| chmod +x cadical-2-0-0 | |
| RS_EXT_SOLVER=./cadical-2-0-0 cargo nextest run --profile ci -p rustsat --test external_solver --verbose -- --ignored | |
| - name: Kissat external solver | |
| if: matrix.os == 'ubuntu-latest' | |
| run: | | |
| curl -O https://media.christophjabs.info/kissat-3-1-1 | |
| chmod +x kissat-3-1-1 | |
| RS_EXT_SOLVER=./kissat-3-1-1 cargo nextest run --profile ci -p rustsat --test external_solver --verbose -- --ignored | |
| - name: Gimsatul external solver | |
| if: matrix.os == 'ubuntu-latest' | |
| run: | | |
| curl -O https://media.christophjabs.info/gimsatul-1-1-2 | |
| chmod +x gimsatul-1-1-2 | |
| RS_EXT_SOLVER=./gimsatul-1-1-2 cargo nextest run --profile ci -p rustsat --test external_solver --verbose -- --ignored | |
| kani: | |
| runs-on: ubuntu-24.04 | |
| steps: | |
| - name: Checkout sources | |
| uses: actions/checkout@v4 | |
| with: | |
| submodules: "recursive" | |
| - name: Cargo kani | |
| uses: model-checking/kani-github-action@v1 | |
| with: | |
| args: '-p rustsat' |