Fixed bug on the main part
First fully working version of horn backend.
Has to be called with "-horn -node main_node"
The test script compute the smt2 file and calls z3 on them.
Is it working?
Working on bugs
Second (almost) working version
First (almost) working version
In the middle of the coding process. Just pushing thinks
The missing file