From 492debf017b1505c015c797c95556f5036ba264b Mon Sep 17 00:00:00 2001 From: dehnert Date: Thu, 27 Apr 2017 20:39:37 +0200 Subject: [PATCH] added two elements to changelog --- CHANGELOG.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/CHANGELOG.md b/CHANGELOG.md index fd3cee683..7b13f803b 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -14,6 +14,8 @@ Version 1.0.x - Several improvements in parameter lifting - Several improvements in JANI parsing - Properties can contain model variables +- Support for rational numbers/functions in decision diagrams via sylvan +- Elimination-based solvers (exact solution) for models stored as decision diagrams - Export of version and configuration to cmake - Improved building process