Update the change log [ci skip]

GreenSolver · Dec 5, 2018 · f556086 · f556086
1 parent 1dd2210
commit f556086
Showing 1 changed file with 11 additions and 0 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -22,6 +22,17 @@ and this project adheres to [Semantic Versioning](http://semver.org/spec/v2.0.0.
 - ...
 
 
+## [0.1.4] - 2018.12.05
+
+### Added
+- The log level is now read from the configuration
+- More timing information is collected and displayed (SATService, SATCanonizerService, SATFactorizerService, RedisStore)
+- New in-memory store
+- New redis client that operates asynchronously
+
+### Fixed
+- Z3 processes are now killed after the complete their work
+
 
 ## [0.1.3] - 2018.07.17