git clone https://github.com/Marie-Donnie/Compilo.git
make
Requires Doxygen (Download Doxygen)
doxygen doxyconfig
Use by launching html/index.html in your browser.
./testo
General syntax:
./compilo <GPL> <GPL-program>
As an example, using Ultimate.gpl on somme.ult:
./compilo Ultimate gpl somme.ult