notes/README.txt

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