TAPAAL 2.1.0

Milestones include:

  - Majore GUI improvements
  - New Simulator
  - Fully resizable panels
  - updated engine, can how handle generale queries with discrete inclusion
  - several bug fixes

Milestone information

Project:
TAPAAL
Series:
2.1
Version:
2.1.0
Released:
2012-03-17  
Registrant:
Kenneth Yrke Jørgensen
Release registered:
2012-03-18
Active:
No. Drivers cannot target bugs and blueprints to this milestone.  

Download RDF metadata

Activities

Assigned to you:
No blueprints or bugs assigned to you.
Assignees:
5 Jakob Taankvist, 9 Jiri Srba, 9 Kenneth Yrke Jørgensen, 9 Mathias Andersen, 1 mhm
Blueprints:
No blueprints are targeted to this milestone.
Bugs:
37 Fix Released

Download files for this release

After you've downloaded a file, you can verify its authenticity using its MD5 sum or signature. (How do I verify a download?)

File Description Downloads
download icon tapaal-src-2.1.0.tar.gz (md5) tapaal-src-2.1.0 26
last downloaded 5 weeks ago
Total downloads: 26

Release notes 

TAPAAL Team Announces Release of TAPAAL 2.1.0
TAPAAL 2.1.0 is a major release with several new features and GUI improvements. The main updates include:

A new version of TAPAAL engine that allows to use discrete inclusion technique even for queries that are now upward closed.
 - Numerous GUI improvements including a fully resizable panels, possibility for different workspace configurations for showing/hiding the interval [0,inf), and more.
- During the verification process there is now displayed a timer.
- Simulator now displays a clickable list of enabled transitions in all active components.
- New engine selection dialog provides an overview of the configured engines and the settings are remembered in preferences.
- Improved batch processing dialog with a better layout and the possibility to individually select verification engines.
- Sorting of components shared places/transitions, queries and constants in the editor panels.
- Improved query dialog with simplified/advanced view.
- New net statistics tool.
- New hot key assignments including command-modification for Mac users.
- When a transition is select in the editor window, it can be now rotated using the mouse wheel; if a place is selected the wheel changes the number of tokens in the place.
- Improved installation options, including an .exe launcher for windows users.
- Several bug fixes.

Changelog 

This release does not have a changelog.

0 blueprints and 37 bugs targeted

Bug report Importance Assignee Status
896891 #896891 Saved nets that cannot be open 2 Critical Jiri Srba  10 Fix Released
915296 #915296 Rename and Remove for shared places/transitions are not disable when list is empty 2 Critical Kenneth Yrke Jørgensen  10 Fix Released
940234 #940234 Using Enabled Transitions does not clear the trace 2 Critical Kenneth Yrke Jørgensen  10 Fix Released
948502 #948502 Discrete inclusion provides wrong answer 2 Critical Jiri Srba  10 Fix Released
805224 #805224 No error notification if Java not found on windows 3 High Kenneth Yrke Jørgensen  10 Fix Released
856272 #856272 Add timer to verification running dialog 3 High   10 Fix Released
891944 #891944 Deleting a shared transition 3 High Kenneth Yrke Jørgensen  10 Fix Released
894332 #894332 Space for constants in guards on arcs and in invariants 3 High Mathias Andersen  10 Fix Released
915305 #915305 Entering numbers in edit place, batch and query 3 High Mathias Andersen  10 Fix Released
928927 #928927 Untimed trace simulation broken 3 High Jakob Taankvist  10 Fix Released
934468 #934468 Timedelay in Simulator allows to write nonumeric values 3 High Mathias Andersen  10 Fix Released
944740 #944740 Offset from 5 to 100 3 High Jiri Srba  10 Fix Released
684819 #684819 When entering a constant, enter has to be pressed twice 4 Medium Jiri Srba  10 Fix Released
872836 #872836 Switching between simulation and edit mode changes the selected template to the last 4 Medium Kenneth Yrke Jørgensen  10 Fix Released
874217 #874217 Linux file dialog does not remember last directory 4 Medium Kenneth Yrke Jørgensen  10 Fix Released
892975 #892975 The selection of shared places/transitions dropdown menu 4 Medium Jiri Srba  10 Fix Released
893969 #893969 Syntax errors in names should keep dialogs active 4 Medium Mathias Andersen  10 Fix Released
893972 #893972 Short names of components, places, transitions, constants 4 Medium Mathias Andersen  10 Fix Released
894334 #894334 Sort constants alphabetically in dropdown menus 4 Medium Jiri Srba  10 Fix Released
894337 #894337 Going to simulator and back changes the currecntly selected query 4 Medium Mathias Andersen  10 Fix Released
898117 #898117 Query change and entering of batch processing 4 Medium Jiri Srba  10 Fix Released
928931 #928931 Resizing in Simulator for Untimed Queries 4 Medium Jakob Taankvist  10 Fix Released
928934 #928934 Hotkeys on Token Selection method in Simulators 4 Medium Jakob Taankvist  10 Fix Released
928936 #928936 Too big token numbers make TAPAAL freeze 4 Medium Mathias Andersen  10 Fix Released
934132 #934132 Ctrl vs. Cmd on Mac 4 Medium Jiri Srba  10 Fix Released
934135 #934135 Rotation of transitions and adding tokens by scrolling 4 Medium Jakob Taankvist  10 Fix Released
939830 #939830 Engine selection dialog focus on "Close" 4 Medium Mathias Andersen  10 Fix Released
940090 #940090 Enlaring the drawing surface by larger steps 4 Medium Jiri Srba  10 Fix Released
947869 #947869 Premature end of file 4 Medium   10 Fix Released
784720 #784720 Zooming seems to recreate a lot of the GUI 5 Low   10 Fix Released
900411 #900411 Component copy with zoom 5 Low mhm  10 Fix Released
940280 #940280 Simulation stepback/forward are enabled when entering simulation mode 5 Low Kenneth Yrke Jørgensen  10 Fix Released
686541 #686541 Popup-dialogs should have meaningful names 6 Wishlist Kenneth Yrke Jørgensen  10 Fix Released
810901 #810901 Easier installation 6 Wishlist Kenneth Yrke Jørgensen  10 Fix Released
894328 #894328 Add alphabetic sorting of shared places/transitions/constants 6 Wishlist   10 Fix Released
928924 #928924 User selectable batch processing 6 Wishlist Jakob Taankvist  10 Fix Released
928925 #928925 Engines configurations dialog 6 Wishlist Mathias Andersen  10 Fix Released
This milestone contains Public information
Everyone can see this information.