Skip to content

Tags: HarvardPL/AbcDatalog

Tags

v0.7.2

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
Update release script. (#30)

v0.7.1

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
Release on Maven Central (#24)

* Publish on Maven Central.

* Fix license metadata.

v0.7.0

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
v0.7.0 (#21)

* Script to partially automate release.

* Bump version.

v0.6.0

Formatting.

v0.5.0

More README tweaks.