aboutsummaryrefslogtreecommitdiffstats
path: root/CHANGELOG.org
diff options
context:
space:
mode:
authorYann Herklotz <git@yannherklotz.com>2021-10-01 19:47:55 +0100
committerYann Herklotz <git@yannherklotz.com>2021-10-01 19:47:55 +0100
commitac8cf178fe769bd64105430b3501682ea36fb13e (patch)
tree4e9c887ec998651c6c5f754ab74fc732013fffd3 /CHANGELOG.org
parentdb79a3f386d3307033e45968eed7b676490c9ffe (diff)
parent1cb470d7b34a6e4fba73e0c57e51c44a220912bb (diff)
downloadvericert-kvx-ac8cf178fe769bd64105430b3501682ea36fb13e.tar.gz
vericert-kvx-ac8cf178fe769bd64105430b3501682ea36fb13e.zip
Merge branch 'release/v1.2.2'
Diffstat (limited to 'CHANGELOG.org')
-rw-r--r--CHANGELOG.org5
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.