TAPAAL 3.4.0
Initial release
Milestone information
- 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:
- No bugs are targeted to this milestone.
Download files for this release
Release notes
We are happy to announce the release of TAPAAL 3.4.0 with improved engines for the discrete-time verification (verifydtapn) and the untimed engine (verifypn). It also includes a GUI support for using partial order reduction for the discrete-time engine. The summar of features are:
- Partial order reduction to the verifydtapn engine.
- Support for timed-safety-games to the engine (no GUI support yet).
- Refactoring of verifydtapn engine and all around for performance improvement
(including new successor generator).
- Numerous improvements for the untimed verifypn engine (including
structural reductions for CTL and advanced query simplification algorithms).
Changelog
This release does not have a changelog.
0 blueprints and 0 bugs targeted
There are no feature specifications or bug tasks targeted to this milestone. The project's maintainer, driver, or bug supervisor can target specifications and bug tasks to this milestone to track the things that are expected to be completed for the release.