News and announcements

TAPAAL 3.8.0

Written for TAPAAL by Jiri Srba on 2021-04-06

We are happy to announce the release of TAPAAL 3.8.0 that contains

  * improved performance of untimed verifypn engine,
  * the GUI can now show reduced net in the editor, and
  * numberous bug fixes and smaller GUI improvements.

TAPAAL 3.7.1

Written for TAPAAL by Jiri Srba on 2020-11-01

   We are happy to announce new release of TAPAAL. This version includes:

* GUI and engine support for Petri net games (untimed and dicrete time),
* the possibility to explicitly edit timed/untimed and game/non-game nets,
* updated verifypn (untimed) engine,
* quick drawing of nets when holding ctrl while in arc-drawing mode,
* large refactoring and bug fixes in the GUI.

TAPAAL 3.6.1

Written for TAPAAL by Jiri Srba on 2020-03-18

We are happy to announce the release of TAPAAL 3.6.1 that contains numerous bug fixes and improvements, in particular:

* highlighted constants in editor now blink

* save and load paths are not remembered separately

* fixed integration with UPPAAL verifyta engine

* loading of large nets is now twice as fast

* on linux you can start tapaal with a net as argument, on mac the icon is now dropable.

TAPAAL 3.6.0

Written for TAPAAL by Jiri Srba on 2019-10-21

Today we released TAPAAL 3.6.0 that introduces:

* Automatic layout generator for a net (available in Tools)
* Alignment of a net to the current grid size (available in View)
* Numerous bug fixes