From 7f8215b50174adfc16aedc2f15eb31e98a099007 Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Thu, 25 Feb 2016 18:40:04 +0100
Subject: [PATCH] Changelog

---
 CHANGELOG.md | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 862ea523b..9ea1ad0fe 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -15,6 +15,9 @@ Among the changes are (see the commits for details):
 * Many additions to Leon's library, including the state monad
 * 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
+* 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
 *Released 17.02.2015*
-- 
GitLab