Skip to content

Commit dd09562

Browse files
authored
Merge pull request #2174 from b-scholz/changelog2
Prepared CHANGELOG for V 2.2
2 parents 6e9cbf3 + d053f81 commit dd09562

1 file changed

Lines changed: 10 additions & 1 deletion

File tree

debian/changelog.in

Lines changed: 10 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,13 @@
1-
souffle (2.1) UNRELEASED; urgency=low
1+
souffle (2.2); urgency=low
2+
* Subsumption clauses, e.g., A(x1) <= A(x2) :- x1 <= x2 (@julienhenry, @b-scholz)
3+
* IR and build improvements (@OlivierHamel, @langston-barrett, @quentin, @b-scholz, @aeflores, @cmuellner, @broffra, @rahlk, @yihozhang, @trofi)
4+
* Refactoring of type analysis (@tytus-metrycki)
5+
* Improved packaging (@XiaowenHu96, @quentin, @uxhg, @cwarden)
6+
* Improved loading of DLLs (@quentin)
7+
* Type annotation printer (@hide-kawabata)
8+
* Performance improvements for eqrel (@langston-barrett, @kevzhumba)
9+
10+
souffle (2.1); urgency=low
211

312
* Choice domain (@XiaowenHu96)
413
* Proper treatment of escape codes in symbol constants (@lyxell)

0 commit comments

Comments
 (0)