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.