Skip to content

Replace z3 with Bitwuzla in CI #19

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
windtf merged 2 commits into from
Sep 10, 2026
Merged

Replace z3 with Bitwuzla in CI #19

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
b539f96
Replace z3 with bitwuzla in CI
windtf Sep 10, 2026
58693cf
Regenerate stack.yaml.lock to fix stale GitHub archive hashes
kristinas Sep 9, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
10 changes: 7 additions & 3 deletions .github/workflows/stack-test.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -20,10 +20,14 @@ jobs:
enable-stack: true
stack-version: 'latest'

- name: Install dependencies
- name: Install Bitwuzla
run: |
sudo apt-get update
sudo apt-get install -y z3
BITWUZLA_VERSION="0.9.1"
curl -sL "https://github.com/bitwuzla/bitwuzla/releases/download/${BITWUZLA_VERSION}/Bitwuzla-Linux-x86_64-static.zip" -o /tmp/bitwuzla.zip
unzip -q /tmp/bitwuzla.zip -d /tmp
sudo install -m 755 /tmp/Bitwuzla-Linux-x86_64-static/bin/bitwuzla /usr/local/bin/bitwuzla
rm -rf /tmp/Bitwuzla-Linux-x86_64-static /tmp/bitwuzla.zip
bitwuzla --version

- name: Cache Stack
uses: actions/cache@v4
Expand Down
12 changes: 6 additions & 6 deletions stack.yaml.lock
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -44,8 +44,8 @@ packages:
pantry-tree:
sha256: db092592a9914ed1ee72d5916ae4f063667170c0b30a5dc9fd36412582682947
size: 2709
sha256: 1f8b20c1d38659692f2f9320f75b635483ea1750e560b87c89084cc034b8fb58
size: 81865
sha256: 9d41677c16f8dffe9a3d31e4fff00bf53a5d63b88fba5e9a93322031349ea459
size: 81872
url: https://github.com/PLSec-VU/pantomime/archive/491638b742ce2d9fc92976ab0e2037ba259e5ae9.tar.gz
version: 0.1.0.0
original:
Expand All @@ -55,8 +55,8 @@ packages:
pantry-tree:
sha256: 6729f953ad15ea5d00e2c3142142682f064c30c14e84771967407b8b638e89ad
size: 530
sha256: a81aeb4ae7e5a7a023bc3507022dc8b90323e293abbd0bdc235354e67fb29b61
size: 16973
sha256: 98053f17fdd3476737d139beda0e0e3946772e41368f400658151c51fdb6c1e8
size: 16975
url: https://github.com/PLSec-VU/pantomime-base/archive/64dab2d4fd3ef4c27ec9eb698bf61092fb08d8a4.tar.gz
version: 0.1.0.0
original:
Expand All @@ -66,8 +66,8 @@ packages:
pantry-tree:
sha256: 978493e7943f08ff0a4b27b0794f0fa392f1dee60c3a746d1970c3b0731121b9
size: 611
sha256: 73921a56dd8feed1b075b20986ada7ae32041dcabd33418bc63b48f45c6b17bc
size: 19409
sha256: 012c081c9df84a8725e1e814c16b12bb04e3cd4149de96011efab65f3e835f9b
size: 19408
url: https://github.com/PLSec-VU/pantomime-clash/archive/1f42057f228cd5e476af4b35541598843a7b74f9.tar.gz
version: 0.1.0.0
original:
Expand Down
Loading