| title | date | draft |
|---|---|---|
TAPAAL 3.9.5 |
2023-02-24 09:00:20 +0100 |
false |
We are happy to announce the release of TAPAAL 3.9.5 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.