Tags: souffle-lang/souffle
Toggle 2.4.1's commit message
changelog for release 2.4.1 (#2432 )
Toggle 2.4's commit message
Update changelog (#2397 )
* Update changelog
Toggle 2.3's commit message
Merge pull request #2272 from b-scholz/changelog2.3
Prepare changelog for Release V2.3
Toggle 2.2's commit message
Merge pull request #2175 from souffle-lang/XiaowenHu96-patch-2-1
Fix packaging
Toggle 2.1's commit message
Merge pull request #2018 from souffle-lang/XiaowenHu96-patch-2
Update entrypoint.sh
Toggle 2.0.2's commit message
Merge pull request #1661 from mmcgr/changelog
Update changelog
Toggle 2.0.1's commit message
Merge pull request #1556 from mmcgr/changes
Update changelog
Toggle 2.0.0's commit message
Merge pull request #1511 from mmcgr/reachability
Use unreachable macro for all compilers
Toggle 1.7.1's commit message
Merge pull request #1181 from mmcgr/changelog
Update changelog
Toggle 1.7.0's commit message
Merge pull request #1167 from b-scholz/Reordering
Reordering conjunctive terms based on complexity
You can’t perform that action at this time.