diff --git a/README.md b/README.md index 381dddb8bc08a2e13c8b958e57d1f90712a4002d..72753e735e243d8573be55d4a006827a3baad3c4 100644 --- a/README.md +++ b/README.md @@ -1,4 +1,4 @@ -Leon 2.2 +Leon 2.3 ========== Getting Started @@ -141,6 +141,17 @@ Since the main Leon project depends on the library, you should import both of th Changelog --------- +#### v2.3 +*Released 03.03.2014* + +* Accept multiple files with multiple modules/classes. Support class + definitions with methods. +* Introduce the Leon library with common generic datastructures, List and + Option for now. +* Add PortfolioSolver which tries a list of solvers (--solvers) in parallel. +* Add EnumerationSolver which uses Vanuatoo to guess models. +* Add documentation and sbt support for development under Eclipse, + #### v2.2 *Released 04.02.2014*