Skip to content

Commit

Permalink
Merge pull request #2272 from b-scholz/changelog2.3
Browse files Browse the repository at this point in the history
Prepare changelog for Release V2.3
  • Loading branch information
Bernhard Scholz authored May 14, 2022
2 parents a0869f9 + 5f32557 commit cc8ea09
Showing 1 changed file with 12 additions and 1 deletion.
13 changes: 12 additions & 1 deletion debian/changelog
Original file line number Diff line number Diff line change
@@ -1,3 +1,14 @@
souffle (2.3) stable; urgency=low
* Auto-scheduler for rules (SamArch27)
* Better scheduling heuristic (julienhenry)
* Improved component system (quentin)
* Improved type-system for record alias (quentin)
* Introducing include directives (quentin)
* Optional use of libffi (quentin)
* New packaging mechanism using souffle-lang.github.io (XiaowenHu96, mmcgr)
* Misc fixes and refactoring (langston-barrett, aeflores, pnwamk, quentin, b-scholz, XiaowenHu96, OlivierHamel, cwarden, mbid, davidwzhao, cmuellner, luc-tielen)

-- Bernhard Scholz <[email protected]> Sat, 14 May 2022 22:24:08 +1000
souffle (2.2-1) stable; urgency=low

* Subsumption clauses, e.g., A(x1) <= A(x2) :- x1 <= x2 (@julienhenry, @b-scholz)
Expand Down Expand Up @@ -241,7 +252,7 @@ souffle (1.1.0); urgency=low
* Adding ternary functors (b-scholz)
* JNI interface (psubotic)
* Memory optimisations (lyndonhenry)
* Numerous bug fixes.
* Numerous bug fixes.

-- Kostyantyn Vorobyov <[email protected]> Wed, 29 Mar 2017 12:00:23 +1100

Expand Down

0 comments on commit cc8ea09

Please sign in to comment.