diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2021-10-01 19:47:55 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2021-10-01 19:47:55 +0100 |
| commit | ac8cf178fe769bd64105430b3501682ea36fb13e (patch) | |
| tree | 4e9c887ec998651c6c5f754ab74fc732013fffd3 | |
| parent | db79a3f386d3307033e45968eed7b676490c9ffe (diff) | |
| parent | 1cb470d7b34a6e4fba73e0c57e51c44a220912bb (diff) | |
| download | vericert-kvx-ac8cf178fe769bd64105430b3501682ea36fb13e.tar.gz vericert-kvx-ac8cf178fe769bd64105430b3501682ea36fb13e.zip | |
Merge branch 'release/v1.2.2'
| -rw-r--r-- | CHANGELOG.org | 5 | ||||
| -rw-r--r-- | CITATION.cff | 4 | ||||
| -rw-r--r-- | README.org | 1 |
3 files changed, 7 insertions, 3 deletions
diff --git a/CHANGELOG.org b/CHANGELOG.org index af5e771..66f754d 100644 --- a/CHANGELOG.org +++ b/CHANGELOG.org @@ -12,6 +12,11 @@ - Add *RTLPar*, which can execute groups of instructions in parallel. - Add scheduling pass to go from RTLBlock to RTLPar. +* 2021-10-01 - v1.2.2 + +Mainly fix some documentation and remove any ~Admitted~ theorems, even though +these were in parts of the compiler that were never used. + * 2021-07-12 - v1.2.1 Main release for OOPSLA'21 paper. 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. |