News and announcements
TAPAAL 3.9.5
Written for TAPAAL by Jiri Srba on 2023-02-24
We are happy to announce the release of TAPAAL 3.9 that contains
* a bug fix for zooming when changing tabs
* fixes issues with boundeness check and with running some of the example nets, and
* distributed an updated verifytapn (continuous time) verification engine.
TAPAAL 3.9.4
Written for TAPAAL by Jiri Srba on 2023-01-24
We are happy to announce a maintainance release of TAPAAL 3.9.4 which fixes the reporting of conclusive/
TAPAAL 3.9.2
Written for TAPAAL by Jiri Srba on 2022-02-01
We are happy to announce a new release of TAPAAL 3.9.2 that contains fixes in transition name highlighting,
in the simulator as well as in the over/under-
TAPAAL 3.9.1
Written for TAPAAL by Jiri Srba on 2021-11-23
We are glad to announce the release of TAPAAL 3.9.1 that includes:
* numerous bug fixes,
* improved export to tikz,
* rearranged example nets with a few new nets, and
* new versions of all three verification engines.
TAPAAL 3.9.0
Written for TAPAAL by Jiri Srba on 2021-10-18
We are happy to announce the release of TAPAAL 3.9.0 that
* includes GUI support for the creation of LTL queries, and
* distributed a new LTL untimed engine as part of verifypn that also supports partial order reduction.