Update release notes (#1420)

epfl-lara · May 30, 2023 · a9d0fda · a9d0fda
1 parent 24c1a1d
commit a9d0fda
Showing 1 changed file with 13 additions and 0 deletions.
diff --git a/docs/RELEASE_NOTES.md b/docs/RELEASE_NOTES.md
@@ -1,5 +1,18 @@
 # Release Notes
 
+## Version 0.9.8 (2023-05-30)
+
+### Stainless frontend, library and internals
+
+- Expand Stainless library (#1400, #1402, #1418)
+- Improved reporting (#1396, #1410)
+- Support for enum case objects (#1384)
+- Support `require` and `ensuring` message overloads (#1382)
+- Make `ghost`, `assert` and `require` arguments by-name (#1364)
+- Move equivalence checking to a component (#1378)
+- Some improvements to OL and OCBSL based simplifiers (#1380)
+- Fix issues #1343, #1214, #1351, #1352, #1353, #1365, #1379, #1389, #1390, #1377, #1349, #1405, #1401
+
 ## Version 0.9.7 (2022-11-21)
 
 ### Stainless frontend, library and internals