Skip to content
Snippets Groups Projects
Commit 7f8215b5 authored by Manos Koukoutos's avatar Manos Koukoutos
Browse files

Changelog

parent ce3c5dfd
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 3 additions and 0 deletions
CHANGELOG.md
+ 3
− 0
View file @ 7f8215b5
...@@ -15,6 +15,9 @@ Among the changes are (see the commits for details): ...@@ -15,6 +15,9 @@ Among the changes are (see the commits for details):
* Many additions to Leon's library, including the state monad * Many additions to Leon's library, including the state monad
* Numerous refactorings and bug fixes thanks to relentless work of Manos * Numerous refactorings and bug fixes thanks to relentless work of Manos
* Add --watch option to automatically re-run Leon after file modifications, thanks to Etienne * Add --watch option to automatically re-run Leon after file modifications, thanks to Etienne
* Somewhat extended source language that allows for deep type hierarchies (Manos)
* Synthesis improvements: nore specific grammar for CEGIS and various optimizations, new synthesis rules
and new design of the exploration strategy (Etienne and Manos)
#### v3.0 #### v3.0
*Released 17.02.2015* *Released 17.02.2015*
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment