diff options
Diffstat (limited to 'CHANGELOG.org')
-rw-r--r-- | CHANGELOG.org | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/CHANGELOG.org b/CHANGELOG.org index 621683c..52db994 100644 --- a/CHANGELOG.org +++ b/CHANGELOG.org @@ -11,6 +11,10 @@ - Add *RTLPar*, which can execute groups of instructions in parallel. - Add scheduling pass to go from RTLBlock to RTLPar. +** v1.2.0 - 2021-04-07 + +- Proper RAM inference support. + ** v1.1.0 - 2020-12-17 Add a stable release with all proofs completed. |