Skip to content

Latest commit

 

History

History

alive2_snapshot

Alive2 Snapshot

a custom snapshot of Alive2 with only the relevant dependencies/modules and custom changes to be compatible with the latest default LLVM version(s).

see README.md for more details.

Build

make sure you are in the root directory first and run either make build_alive2 or make full_build.