History

0.0.4 (2024-11-03)

change build mode with Pipenv removal
add feature to build transition actions without disjunctive preconditions
fix bug in parser for types requirement and empty actions
remove online version at fond4ltlf

0.0.3 (2021-06-17)

add references
change docs website
update ltlf2dfa to version v1.0.1
update online version at fond4ltlf

0.0.2 (2020-07-10)

structure refactoring
enhance parsing
introduce testing
introduce Continuous Integration
update ltlf2dfa to version 1.0.1
update online version at fond4ltlf

0.0.1 (2020-03-20)

online version at fond4ltlf
update ltlf2dfa version