TAPAAL 2.0.2

Milestone information

Project:
TAPAAL
Series:
2.0
Version:
2.0.2
Released:
 
Registrant:
Kenneth Yrke Jørgensen
Release registered:
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:
2 Jiri Srba, 14 Kenneth Yrke Jørgensen, 1 Morten Jacobsen
Blueprints:
No blueprints are targeted to this milestone.
Bugs:
28 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-2.0.2.tar.gz (md5) tapaal-2.0.2-src 71
last downloaded 37 weeks ago
Total downloads: 71

Release notes 

TAPAAL 2.0.2 is a maintanance release, it improves the layout
of the query dialog and adds a new example of train level crossing
(available from File/Example nets). The upgrade is recommended
to all TAPAAL users.

Changelog 

This release does not have a changelog.

0 blueprints and 28 bugs targeted

Bug report Importance Assignee Status
848640 #848640 Simulation mode can deactivate components 2 Critical Kenneth Yrke Jørgensen  10 Fix Released
849985 #849985 Component editing problems save/open 2 Critical   10 Fix Released
870793 #870793 Optimized reductions to UPPAAL fails with orphant transitions 2 Critical   10 Fix Released
828016 #828016 Batch processing does not work 3 High   10 Fix Released
829363 #829363 Enable to turn symmetry off for TAPAAL engine 3 High   10 Fix Released
831992 #831992 Problem showing query dialog on small screens 3 High Kenneth Yrke Jørgensen  10 Fix Released
832021 #832021 Drawing a arc from transition to place can make an arrow not connected to anything 3 High Kenneth Yrke Jørgensen  10 Fix Released
832081 #832081 Remember the most recently used directory in file opening dialog 3 High   10 Fix Released
844681 #844681 Renaming of capital to small letters in shared places/transitions 3 High Kenneth Yrke Jørgensen  10 Fix Released
848125 #848125 Problem loading net to batch processing 3 High   10 Fix Released
859832 #859832 Query Parsing Problem 3 High   10 Fix Released
861816 #861816 Broken Query Layout 3 High Jiri Srba  10 Fix Released
867767 #867767 Selection possible in simulation mode 3 High   10 Fix Released
868151 #868151 Very slow verification when trace is on "some" 3 High Morten Jacobsen  10 Fix Released
870816 #870816 Memory allocation error with 32 bit version 3 High   10 Fix Released
871445 #871445 Removal of components can deactivate the last component 3 High Kenneth Yrke Jørgensen  10 Fix Released
836539 #836539 Show hotkeys on mouseover in the editor 4 Medium Jiri Srba  10 Fix Released
837937 #837937 Boundedness Check and Green Icon 4 Medium   10 Fix Released
848127 #848127 Remember path in open file dialog also for batch processing 4 Medium   10 Fix Released
856239 #856239 Highlight the first component 4 Medium Kenneth Yrke Jørgensen  10 Fix Released
860555 #860555 Removing component jumps at the last component 4 Medium Kenneth Yrke Jørgensen  10 Fix Released
872282 #872282 Possible to remove the last component 4 Medium Kenneth Yrke Jørgensen  10 Fix Released
872801 #872801 After entering simulation mode selection is broken 4 Medium Kenneth Yrke Jørgensen  10 Fix Released
872815 #872815 Possible to disable all active templates using undo/redo 4 Medium Kenneth Yrke Jørgensen  10 Fix Released
872818 #872818 Undo/Redo on a constant does not update the Global constant list 4 Medium Kenneth Yrke Jørgensen  10 Fix Released
873336 #873336 Undo/Redo does not work for copy of template 4 Medium Kenneth Yrke Jørgensen  10 Fix Released
844693 #844693 Editing a shared place without renaming it still creates an undo/redo object 5 Low Kenneth Yrke Jørgensen  10 Fix Released
831990 #831990 Changing capitalization of places/transitions is now allowed 1 Undecided Kenneth Yrke Jørgensen  10 Fix Released
This milestone contains Public information
Everyone can see this information.