First, you need to pull halo, the Haskell to Logic Translator:
git submodule update --init
Then, in the main directory, run
cabal install
This installs the hcc executable.
The testsuite is in the testsuite directory, with an own readme.
First, you need to pull halo, the Haskell to Logic Translator:
git submodule update --init
Then, in the main directory, run
cabal install
This installs the hcc executable.
The testsuite is in the testsuite directory, with an own readme.