Revision 97d4e95e
Added by Lélio Brun over 3 years ago
| dune-project | ||
|---|---|---|
| 29 | 29 |
intermediate representation and relies mainly on lustrec to produce code \ |
| 30 | 30 |
or verification artifacts.") |
| 31 | 31 |
(depends |
| 32 |
conf-gmp |
|
| 32 | 33 |
ocamlgraph |
| 33 | 34 |
menhir |
| 34 | 35 |
zarith |
Also available in: Unified diff
add gmp dep