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 | |
parent | 1b36d45f27c450a6006241e1b48bbc36107f4464 (diff) | |
download | vericert-stable.tar.gz vericert-stable.zip |
-rw-r--r-- | CITATION.cff | 4 | ||||
-rw-r--r-- | README.org | 1 |
2 files changed, 2 insertions, 3 deletions
diff --git a/CITATION.cff b/CITATION.cff index 9328474..c114ec6 100644 --- a/CITATION.cff +++ b/CITATION.cff @@ -15,9 +15,9 @@ authors: given-names: "John" orcid: "https://orcid.org/0000-0001-6735-5533" title: "Vericert" -version: 1.2.1 +version: 1.2.2 doi: 10.5281/zenodo.5093839 -date-released: 2021-07-12 +date-released: 2021-10-01 url: "https://github.com/ymherklotz/vericert" preferred-citation: type: article @@ -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. |