TAPAAL Team Announce the Release of TAPAAL 3.2.1 that includes

  • several bug fixes in the GUI and
  • improved performance of the untimed verifypn engine.

We are not distributing 32 bit binaries for linux and mac anymore as we do not think they used. Should you miss them, let us know please.