Skip to content

Commit

Permalink
Update changelog
Browse files Browse the repository at this point in the history
  • Loading branch information
mmcgr committed Jul 29, 2020
1 parent 9ac5f8d commit e5f10fb
Showing 1 changed file with 14 additions and 0 deletions.
14 changes: 14 additions & 0 deletions 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 <mmcgrane@it.usyd.edu.au> 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)
Expand Down

0 comments on commit e5f10fb

Please sign in to comment.