TAPAAL Team Announce the Release of TAPAAL 3.1.2 that includes
- bug fixes in the untimed and discrete verification engines
- small GUI improvements in the simulator
- fixes a bug in the query dialog that allowed to use darts in cases where it should be disabled
- improved export/import of traces in a new XML format.