Add z3 installation to dockerfile - #751

Merged

fabianbs96 merged 12 commits into

developmentfrom

f-DockerInstallZ3

Mar 3, 2025

Commits on Feb 21, 2025

Add z3 installation to dockerfile
fabianbs96
authored
f014dcf

Commits on Feb 24, 2025

automatic z3 detection
fabianbs96
committed
6620a0b

Commits on Feb 28, 2025

minor cleanup
fabianbs96
committed
6837aa0
fix: FindZ3.cmake shouldn't try compile with ASAN
jusito-iem
committed
24f28ee
clean: rm z3 auto, not necessary anymore
jusito-iem
committed
df48f01
ci: add arm build for pull requests
jusito-iem
committed
8856f2a
ci: arm runner min is 22.04
jusito-iem
committed
2e3698d
ci: disable swift on 24.04-arm
jusito-iem
committed
74d96ab
clean: fix pre-commit
jusito-iem
committed
ea8979f

Commits on Mar 3, 2025

test: ignore flaky tests for 24.04+
jusito-iem
committed
96e73fd
minor
fabianbs96
committed
479c39e
Merge branch 'development' into f-DockerInstallZ3
fabianbs96
authored
e4af40d