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.