TAPAAL 2.0.1By: Jiri Srba
TAPAAL Team Announces Release of TAPAAL 2.0.1
We are announcing the release of the following TAPAAL updates:
- TAPAAL 2.0.1
TAPAAL 2.0.1 is a maintenance release with a number of bug fixes, one of them connected to a wrong boundedness checking result in some particular scenarios. This is a highly recommended update for all users of 2.0.0.
Note also that new TAPAAL exercises were added to the Documentation page.