To use CIVL to compare the two versions of programs, 
simply type "make compare_CIVL” or “make compareG_CIVL”.
To run the manual version, run "make hand_CIVL";
to run the adic version, run "make adic_CIVL".
The file LOG records modifications made to the original programs so as to run CIVL.
The latest unstable release of CIVL is required to run the examples:
https://vsl.cis.udel.edu/civl/test/trunk/latest/release/index.html
Follow the instructions in the CIVL archive to install CIVL.
