TAPAAL 1.3
This version will include new features such as
- k-boundedness optimizer
- Constants in the GUI
- Export to tikz/pgf
- Inhibitor arcs
And a number of bugfixes
Milestone information
- Project:
- TAPAAL
- Series:
- 1.3
- Version:
- 1.3
- Released:
- Registrant:
- Kenneth Yrke Jørgensen
- Release registered:
- Active:
- No. Drivers cannot target bugs and blueprints to this milestone.
Activities
- Assigned to you:
- No blueprints or bugs assigned to you.
- Assignees:
- No users assigned to blueprints and bugs.
- Blueprints:
- No blueprints are targeted to this milestone.
- Bugs:
- 2 Fix Released
Download files for this release
Release notes
We are happy to announce a new release of TAPAAL 1.3.
This release fixes a number of bugs and brings several new features like:
* parametrized net templates with constants
* optimization of the number of extra tokens in case the net is bounded
* export of nets directly to tikz
* improved layout of the list of queries
* automatic update notifier
We are also glad that our development team has grown up with three new members Lasse Jacobsen, Morten Jacobsen and Mikael H. Møller.
Changelog
View the full changelog
0 blueprints and 2 bugs targeted
Bug report | Importance | Assignee | Status | |||
---|---|---|---|---|---|---|
449474 | #449474 | Right click delete on a selection does not work | 5 Low | 10 Fix Released | ||
451851 | #451851 | Verifyta version/location not displayed | 5 Low | 10 Fix Released |