Skip to content

Commit

Permalink
Merge pull request #1661 from mmcgr/changelog
Browse files Browse the repository at this point in the history
Update changelog
  • Loading branch information
mmcgr authored Sep 25, 2020
2 parents 447ee26 + 3a1ed04 commit b33abd3
Showing 1 changed file with 11 additions and 4 deletions.
15 changes: 11 additions & 4 deletions debian/changelog.in
Original file line number Diff line number Diff line change
@@ -1,9 +1,16 @@
souffle (@VERSION@-1) UNRELEASED; urgency=low

* UNSTABLE WORK IN PROGRESS
* Enhanced MST (azreika)
* Restructuring for reability and maintainability (b-scholz, mmcgr)
* Various bugfixes
* Fix OSX user library paths (mmcgr)
* Fix concurrent profling (mmcgr)
* Fix indirect index use (aeflores)
* Fix 'as' type conversion (darth-tytus)
* Fix output of hint statistics (azreika)
* Implement Record/ADT user-defined functors (darth-tytus)
* Optimise ADT encoding (darth-tytus)
* Added limitsize directive (b-scholz)
* Add heuristic-based clause reordering (azreika)
* Enhanced Magic Set transformation (azreika)
* Restructuring for readability and maintainability (b-scholz, mmcgr)

-- Martin McGrane <[email protected]> @DEBDATE@

Expand Down

0 comments on commit b33abd3

Please sign in to comment.