Skip to content

Latest commit

 

History

History
16 lines (13 loc) · 522 Bytes

applying-patch.md

File metadata and controls

16 lines (13 loc) · 522 Bytes

How to apply Alive2 SWPP patch

Note: the Alive2 version must precisely be the commit specified in practice/install-alive2.sh!
Otherwise applying the patch will break the code and won't compile.

cd practice-materials/scripts/linux/alive2 # or Alive2 repository
git apply ../../../../project/alive2-swpp202401-intrinsics.patch # or path to patch

The patch adds a script compile.sh into the repo directory. Modify the LLVM_DIR and Z3_DIR in the script, and run the script.

./compile.sh