Merge pull request #1181 from mmcgr/changelog

Update changelog
souffle-lang · Dec 4, 2019 · 7d540f1 · 7d540f1
2 parents ea33d41 + 007abab
commit 7d540f1
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/debian/changelog.in b/debian/changelog.in
@@ -1,4 +1,10 @@
 souffle (@VERSION@-1) UNRELEASED; urgency=low
+  * Enhance program minimiser (azreika)
+  * Fix re-ordering of conjunctive terms
+
+ -- Kostyantyn Vorobyov <[email protected]>  Wed, 04 Dec 2019 09:31:23 +1100
+
+souffle (1.7.0); urgency=low
   * Rewrote Interpreter for enhanced performance (XiaowenHu96,HerbertJordan)
   * Add SWIG interface (detljh,chadgavin,honghyw)
   * Improved C++ interface and documentation (detljh,chadgavin,honghyw)