37 lines (24 loc) · 1.17 KB

History

0.2.0

What's Changed

Update README.md by @marcofavorito in #70
Clean up dev environment, other fixes by @marcofavorito in #316
Windows support for Lydia docker by @gallorob in #60
Lydia backend fixes by @marcofavorito in #319

New Contributors

@gallorob made their first contribution in #60

Full Changelog: https://github.com/whitemech/logaut/compare/v0.1.1...v0.2.0

0.1.1

Minor fixes.

Upgrade development dependencies to their latest version
Improve MONA output processing (#57), by exploiting the fact that transitions are already deterministic and automaton is minimal.

0.1.0

First release.

Synchronize with pylogics==0.1.0 and Lydia backend at version 0.1.1.

0.1.0a0

First alpha release.

Support for backend Lydia and LTLf2DFA, and translations from LTLf/LDLf and LTLf/PLTLf respectively.