1Standalone Isabelle/C Parser 2============================ 3 4This directory contains a standalone executable build of the Isabelle/C 5parser for lightweight testing whether a C program falls into the 6verification C subset. 7 8Note that this is only the parser, not the Isabelle translation. 9Programs that pass the parse may still fail in translation. 10 11 12Dependencies 13------------ 14 15This build works best with the `mlton` compiler, available from 16 17 http://mlton.org 18 19PolyML has worked as well in the past, but may require some additional 20setup for 64bit platforms. 21