From e5f10fb1a043caebe9b5e4cf30619ec2eb7a66d3 Mon Sep 17 00:00:00 2001 From: Martin McGrane Date: Wed, 29 Jul 2020 12:04:25 +1000 Subject: [PATCH] Update changelog --- debian/changelog.in | 14 ++++++++++++++ 1 file changed, 14 insertions(+) diff --git a/debian/changelog.in b/debian/changelog.in index 66a450eb894..eaa8b87407d 100644 --- a/debian/changelog.in +++ b/debian/changelog.in @@ -1,4 +1,18 @@ souffle (@VERSION@-1) UNRELEASED; urgency=low + * Stop overmaterialising aggregate bodies (rdowavic) + * Parallelise aggregate computation (rdowavic) + * Add JSON IO (GaloisNeko) + * Extend program minimiser (azreika) + * Use greater precision for floating point output (mmcgr) + * Fix duplicated symbols with multiple souffle object files (luc-tielen) + * Fix multithreaded, interpreted, provenance (taipan-snake) + * Fix provenance constraint explanation (taipan-snake) + * Fix path detection for souffle tools (mmcgr) + * Fix output directory use (mmcgr) + + -- Martin McGrane Wed, 29 Jul 2020 11:54:01 +1100 + +souffle (2.0.0); urgency=low * Added `--legacy` flag to allow use of legacy options (darth-tytus) * Added `--show [...]` flag to show various extra bits of information for debugging/optimising (lyndonhenry)