HiFrog is implemented in C++ and the current implementation lives at the repository https://github.com/usi-verification-and-security/upprover branch 'hifrog'
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
