Skip to content

Releases: whitemech/LTLf2DFA

Release v1.0.1

17 Jun 09:31
@francescofuggitti francescofuggitti
v1.0.1
7830a08
This commit was signed with the committer’s verified signature.
francescofuggitti Francesco Fuggitti
GPG key ID: C4DAC1145F0CED26
Learn about vigilant mode.
Compare
Choose a tag to compare
Release v1.0.1 Latest
Latest 
update classifiers for pypi
Assets 2

Second Release

21 May 15:23
@francescofuggitti francescofuggitti
1.0.0
031bb3b
This commit was signed with the committer’s verified signature.
francescofuggitti Francesco Fuggitti
GPG key ID: C4DAC1145F0CED26
Learn about vigilant mode.
Compare
Choose a tag to compare
Second Release

Major changes

Assets 2

First release

19 Mar 20:18
@francescofuggitti francescofuggitti
0.2.2.post0
434ceb1
Compare
Choose a tag to compare
First release Pre-release
Pre-release 
0.2.2.post0

bug fix, 0.2.2.post0 release
Assets 2