This is a project of Avy verifier and extra dependencies

To install/build

BRANCH_NAME is one of dev, master, hwmcc15

git checkout -b LOCAL_NAME origin/BRANCH_NAME

git submodule init

git submodule update

mkdir build ; cd build

cmake -DCMAKE_BUILD_TYPE=[Release|Debug] [-DAVY_STATIC_EXE=ON] ../

cmake --build .

The main executable is `build/avy/src/avy'

Arie Gurfinkel and Yakir Vizel

HWMCC'15

1. Binary distribution avy+fib

CAV'15

To reproduce our experiments for CAV'15, follow these steps:

1. Binary distribution avy+fib

2. HWMCC benchmarks HWMCC'13 HWMCC'14 Intel

3. navy --verbose=3 --min-suffix=1 --sat-simp=0 --itp-simp=0 --shallow-push=1 --reset-cover=1 --glucose --glucose_itp --opt-bmc=1