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 |
| lustrec.opam | ||
|---|---|---|
| 14 | 14 |
bug-reports: "https://cavale.enseeiht.fr/redmine/projects/lustrec/issues" |
| 15 | 15 |
depends: [ |
| 16 | 16 |
"dune" {>= "2.8"}
|
| 17 |
"conf-gmp" |
|
| 17 | 18 |
"ocamlgraph" |
| 18 | 19 |
"menhir" |
| 19 | 20 |
"zarith" |
Also available in: Unified diff
add gmp dep