Update release notes

RELEASE_NOTES.md

@@ -1,32 +1,82 @@
 
 # Release Notes
 
+## Version 0.4.0 (23-08-2019)
+
+### Features
+
+- Support for type members in local classes  (#633)
+- Report functions with missing positions in PositionChecker (#639)
+- Add AmortizedQueue data structure to Stainless library (#635)
+- Add debug section to show the full VC before simplification (#637)
+- Add script to run tests on stainless-actors and bolts (#623)
+- Ignore @library flag on typeclasses which have non-library subclasses (#595)
+- Enable -feature and -unchecked scalac flags in embedded compiler (#610)
+- Enforce sound equality tests (#605, #609)
+- Port partial specification feature from Leon (#438)
+- Add BoundedQuantifiers module to the library (#596)
+
+## Improvements
+
+- Propagate @ghost annotation to variables introduced by calls to default copy getter (#643)
+- Do not lift refinement into pre-/post-conditions when `--type-checker` is enabled (#620)
+- Follow symbolic links when searching for base directory (#621)
+- Check that methods are only overriden by methods with the same ghostiness (#615)
+- Check that required tools are installed before packaging (#599)
+- Add readability check for jars in script (#600)
+
+## Bug fixes
+
+- Add missing serializer for LocalThis (#631)
+- Fix malformed case object constructor method (#641)
+- Use triple quotes and escape \u for extraClasspath and extraCompilerArguments (#626)
+- Fix bug in AssertionInjector where unary minus was lost in strict arithmetic mode (#630)
+- Fix DottyVerificationSuite not being run (non-initialized folder) (#627)
+- Fix bug where anonymous inner classes would have same identifier (#619)
+- Fix handling of super calls in case objects  (#618)
+- Fix a bunch of issues with type members (#580)
+
 ## Version 0.3.2 (16-06-2019)
 
+## Improvements
+
 - Improve support for type members and type aliases (#580)
 
 ## Version 0.3.1 (09-06-2019)
 
-- Add testcase for #532 (#589)
-- Add documentation about the Gitter8 template, and re-order some sections (#588)
+### Features
+
 - Re-enable check for abstract methods overrides and consider methods of abstract classes with empty body to be abstract (#587)
+
+### Improvements
+
+- Add documentation about the Gitter8 template, and re-order some sections (#588)
 - Dealias type aliases more eagerly (#585)
 - Add microtests from recently closed issues (#578)
+- Add testcase for #532 (#589)
 
 ## Version 0.3.0 (02-06-2019)
 
+### Features
+
+- Indexed recursive types and type-checking based VC generation (#479) 
 - Display counter-examples when using metals (#579)
 - Add --no-colors option, for use via metals in VS Code
-- Fix "a required artifact is not listed by module descriptor" error
-- Microtests from recently closed issues (#578)
 - Add FAQ extracted from the C4DT newsletter (#570)
+- Emit warning when dropping require/ensuring/assert in a user @extern function (#562)
+
+### Improvements
+
+- Microtests from recently closed issues (#578)
 - Use git-describe to compute version of artifact in packaging script
-- Indexed recursive types and type-checking based VC generation (#479) 
 - Bump Inox version to 1.1.0-332-ga6cbf8e (#571)
+- Make purity of requires and assertions depend on their bodies (#547)
+
+### Bug fixes
+
+- Fix "a required artifact is not listed by module descriptor" error
 - Fix report being shown twice (#567)
-- Emit warning when dropping require/ensuring/assert in a user @extern function (#562)
 - Update sbt docs and fix plugin publishing issues (#565)
-- Make purity of requires and assertions depend on their bodies (#547)
 - Fix effects checker for MutableMapUpdated tree (#563)
 
 ## Version 0.2.2 (25-06-2019)