diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2021-10-01 19:42:17 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2021-10-01 19:42:17 +0100 |
| commit | 1cb470d7b34a6e4fba73e0c57e51c44a220912bb (patch) | |
| tree | f743f01dbf1e695c71f35e305f37aa9c3837a206 /README.org | |
| parent | 1b36d45f27c450a6006241e1b48bbc36107f4464 (diff) | |
| download | vericert-1cb470d7b34a6e4fba73e0c57e51c44a220912bb.tar.gz vericert-1cb470d7b34a6e4fba73e0c57e51c44a220912bb.zip | |
Diffstat (limited to 'README.org')
| -rw-r--r-- | README.org | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -34,7 +34,6 @@ compiled and executed. The dependencies of this project are the following: - [[https://coq.inria.fr/][Coq]]: theorem prover that is used to also program the HLS tool. - [[https://ocaml.org/][OCaml]]: the OCaml compiler to compile the extracted files. -- [[https://github.com/mit-plv/bbv][bbv]]: an efficient bit vector library. - [[https://github.com/ocaml/dune][dune]]: build tool for ocaml projects to gather all the ocaml files and compile them in the right order. - [[http://gallium.inria.fr/~fpottier/menhir/][menhir]]: parser generator for ocaml. |