Add release notes for Stainless 0.9.3 (#1236)

epfl-lara · Feb 25, 2022 · 064c65c · 064c65c
1 parent abc79fe
commit 064c65c
Showing 1 changed file with 13 additions and 0 deletions.
diff --git a/RELEASE_NOTES.md b/RELEASE_NOTES.md
@@ -1,5 +1,18 @@
 # Release Notes
 
+## Version 0.9.3 (2022-02-25)
+
+### GenC
+
+- Add `cCode.noMangling` annotation and split defines into header and C files
+- Propagate `volatile` and `static` keywords to struct fields
+- Avoid trimming of `cCode.define` functions
+- Introduce a binding to 'guard' against references created by the Referentiator (#1235)
+
+### Build
+
+- Windows build (#1234)
+
 ## Version 0.9.2 (2022-01-17)
 
 ### Stainless frontend, library and internals