####------------------------------------------------------------------------####
This repository contains all the source code and library for the specification
compiler. This compiler is written with Java. It takes the C/C++11 source files
and translates them into the new source code for the model checker.