Download

HiFrog is implemented in C++ and the current implementation lives at the branch 'hifrog'  of the repository https://github.com/usi-verification-and-security/upprover
 

To experiment with HiFrog code:

1- Install OpenSMT2 as a library to be used in HiFrog by following the instructions from here.

2- Fetch the hifrog repository by switching to the hifrog branch:

$ git clone --single-branch --branch hifrog https://github.com/usi-verification-and-security/upprover.git hifrog

3- Create a build directory and build hifrog using cmake

cd upprover/trunk/cprover;
mkdir build;
cd build; 
cmake ..;
make

 

** If you need any assistance feel free to contact us via sepideh.a65[at]gmail.com