Update release notes (#1439)

For 0.9.8.1
epfl-lara · Sep 21, 2023 · bf63eb4 · bf63eb4
1 parent 090d4e5
commit bf63eb4
Showing 1 changed file with 14 additions and 0 deletions.
diff --git a/docs/RELEASE_NOTES.md b/docs/RELEASE_NOTES.md
@@ -1,5 +1,19 @@
 # Release Notes
 
+## Version 0.9.8.1 (2023-09-21)
+
+### Stainless frontend, library and internals
+
+- Fix `--watch` crashing on compilation error (#1424)
+- Expand options for equivalence checking (#1422, #1435)
+- Add more info messages (#1425)
+- Add further postconditions for indexOf and apply (#1428)
+- Documentation updates (#1429, #1434, #1431)
+- Fix ghost elimination for GenC (#1433)
+- Reorganize some library files and allow for verification without Stainless library (#1436)
+- Fix issue #1399
+
+
 ## Version 0.9.8 (2023-05-30)
 
 ### Stainless frontend, library and internals