Fix citation file and README

ymherklotz · Oct 1, 2021 · 1cb470d · 1cb470d
1 parent 1b36d45
commit 1cb470d
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 3 deletions.
diff --git 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

diff --git a/README.org b/README.org
@@ -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.