Skip to content

Tags: whitemech/FOND4LTLf

Tags

v0.0.4

Toggle v0.0.4's commit message

Verified

This commit was signed with the committer’s verified signature.
francescofuggitti Francesco Fuggitti
update README and make new release

v0.0.3

Toggle v0.0.3's commit message

Verified

This commit was signed with the committer’s verified signature.
francescofuggitti Francesco Fuggitti
update readme 2

0.0.1

Toggle 0.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 #8 from whitemech/fix/ci

Update package CI