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.
projects / cdsspec-compiler.git / blob