Skip to content

Tags: watssec/souffle

Tags

2.2

Toggle 2.2's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Merge pull request souffle-lang#2175 from souffle-lang/XiaowenHu96-pa…

…tch-2-1

Fix packaging

2.1

Toggle 2.1's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Merge pull request souffle-lang#2018 from souffle-lang/XiaowenHu96-pa…

…tch-2

Update entrypoint.sh

2.0.2

Toggle 2.0.2's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Merge pull request souffle-lang#1661 from mmcgr/changelog

Update changelog

2.0.1

Toggle 2.0.1's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Merge pull request souffle-lang#1556 from mmcgr/changes

Update changelog

2.0.0

Toggle 2.0.0's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Merge pull request souffle-lang#1511 from mmcgr/reachability

Use unreachable macro for all compilers

1.7.1

Toggle 1.7.1's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Merge pull request souffle-lang#1181 from mmcgr/changelog

Update changelog

1.7.0

Toggle 1.7.0's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Merge pull request souffle-lang#1167 from b-scholz/Reordering

Reordering conjunctive terms based on complexity

1.6.2

Toggle 1.6.2's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Merge pull request souffle-lang#1100 from mmcgr/release

Update changelog

1.6.1

Toggle 1.6.1's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Merge pull request souffle-lang#1095 from mmcgr/dist

Fix building of release sources

1.6.0

Toggle 1.6.0's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Update changelog (souffle-lang#1087)

* Update changelog