GitLab

Last minute changes, nothing involved, removing unused dependencies



See merge request !52

Add 2 to 3 line comment to every file to explain where it is used and what it contains. Add references to paper where possible

Certification

Fix some bugs in testcases and implement a conversion which is able to prove all benchmarks apart from Traincar which has not yet been tested with it.

See merge request !46

Fix checker rewrites list. Did not contain interval negation before which led to computation getting stuck on subtraction benchmarks