From 58b58d7fdb279ba4c193a273dc8aa866843e36c0 Mon Sep 17 00:00:00 2001
From: Jad Hamza <jad.hamza@epfl.ch>
Date: Wed, 24 Feb 2021 11:29:51 +0100
Subject: [PATCH] Release notes for Stainless 0.8.0

---
 RELEASE_NOTES.md | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

diff --git a/RELEASE_NOTES.md b/RELEASE_NOTES.md
index 7bee981e4f..829c198eba 100644
--- a/RELEASE_NOTES.md
+++ b/RELEASE_NOTES.md
@@ -1,5 +1,20 @@
 # Release Notes
 
+## Version 0.8.0 (2021-02-24)
+
+### Features
+
+- Support for Scala 2.12.13 (#913)
+- Support for ghost fields in GenC (#904, #907)
+- Initial support for unsigned integers in GenC (#888)
+
+### Bug fixes
+
+- Fix issues watch mode (and add support for Enter key to reload) (#906)
+- Better support for refinement types in type-checker
+- Various bug fixes in extraction phases
+
+
 ## Version 0.7.6 (2021-01-18)
 
 ### Features