Skip to content

Release v0.1.0

Choose a tag to compare

View all tags
@marfvr marfvr released this 20 Jun 08:37
· 43 commits to main since this release
v0.1.0
18f3615
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.

First release.

  • Support for backend Lydia and LTLf2DFA,
    and translations from LTLf/LDLf
    and LTLf/PLTLf respectively.
  • Synchronize with pylogics==0.1.0
    and Lydia backend at version 0.1.1.
Assets 2
Loading