TAPAAL 3.8.1

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

We are happy to announce the release of TAPAAL 3.8.1 with an improved performance of the untimed verifypn engine and numerous bug fixes.