diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-10-01 19:39:46 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-10-01 19:40:26 +0100 |
commit | 1b36d45f27c450a6006241e1b48bbc36107f4464 (patch) | |
tree | 4f702bd88c3c8a07dc331ecc614b5f806892c53a /CHANGELOG.org | |
parent | 31b0c9cfbecc4bf9cb3225e4ef3b3e941ae77099 (diff) | |
download | vericert-1b36d45f27c450a6006241e1b48bbc36107f4464.tar.gz vericert-1b36d45f27c450a6006241e1b48bbc36107f4464.zip |
Update Changelog with 1.2.2 release
Diffstat (limited to 'CHANGELOG.org')
-rw-r--r-- | CHANGELOG.org | 5 |
1 files changed, 5 insertions, 0 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. |