This repository holds the source code of Fiat, a Coq ADT synthesis library.
- To build the library: Coq 8.4pl6
- To step through the examples: GNU Emacs 24.3 , Proof General 4.4
- To extract and run OCaml code: OCaml 4.02.0
- To build the core library:
make fiat-core
- To build the SQL-like libary:
make querystructures
- To build the parsers libary:
make parsers