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.