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