TAPAAL

TAPAAL 1.0

  1. Series old-series
  2. 1.0

The milestone for the first public release. The release will include:

  - Editor with: undo/redo, quick draw, copy/past, illegal syntax check
  - Simulator with: simulation history, select token to fire, arbitrary time delays
  - Verifier with: running from gui, generation of test data sets, show error traces in simulator

Milestone information

Project:
TAPAAL
Series:
old-series
Version:
1.0
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:
1 Jiri Srba, 13 Joakim Byg, 9 Kenneth Yrke Jørgensen
Blueprints:
No blueprints are targeted to this milestone.
Bugs:
1 Invalid, 24 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-1.0-win.zip (md5) Binary TAPAAL 1.0 Windows 20
last downloaded 45 weeks ago
download icon tapaal-1.0.zip (md5) Binary TAPAAL 1.0 Linux/Os X 23
last downloaded 45 weeks ago
download icon README.txt (md5) TAPAAL 1.0 Readme 17
last downloaded 39 weeks ago
download icon source-release.tar (md5) TAPAAL 1.0 16
last downloaded 45 weeks ago
Total downloads: 76

Release notes 

This release does not have release notes.

Changelog 

This release does not have a changelog.

0 blueprints and 25 bugs targeted

Bug report Importance Assignee Status
347509 #347509 Age of tokens on MouseOver still wrong! 3 High   3 Invalid
327553 #327553 Simulator consumes tokens of wrong age 3 High Kenneth Yrke Jørgensen  10 Fix Released
328616 #328616 Drawing of arcs and transportarcs is not disabled when entering animation mode 3 High Kenneth Yrke Jørgensen  10 Fix Released
330089 #330089 Simulator and invariants 3 High Kenneth Yrke Jørgensen  10 Fix Released
331007 #331007 Simulator, 0.02 time delays and weird age of tokens 3 High Kenneth Yrke Jørgensen  10 Fix Released
335919 #335919 Animator stropped working 3 High Kenneth Yrke Jørgensen  10 Fix Released
346040 #346040 Timed-delays and visualization on MouseOver is not synchronized 3 High Joakim Byg  10 Fix Released
352457 #352457 Age of tokens in simulation is wrong 3 High Jiri Srba  10 Fix Released
327546 #327546 Normal arcs are merged with transport arcs 4 Medium Kenneth Yrke Jørgensen  10 Fix Released
331012 #331012 UPPAAL verification does not work 4 Medium Kenneth Yrke Jørgensen  10 Fix Released
331762 #331762 Edit grouping of transport arcs should be disallowed 4 Medium   10 Fix Released
333965 #333965 Trace animation from UPPAAL does not work 4 Medium Kenneth Yrke Jørgensen  10 Fix Released
339884 #339884 Dialog for place does not close 4 Medium Joakim Byg  10 Fix Released
342768 #342768 Enter does not work in the transition editing dialog 4 Medium Joakim Byg  10 Fix Released
343760 #343760 Places/transitions with the character + and * should be disallowed 4 Medium Joakim Byg  10 Fix Released
345061 #345061 Simulation of a trace - keys 4 and 6 do not work 4 Medium Joakim Byg  10 Fix Released
346038 #346038 The keys 4 and 6 do not work the very first time when used 4 Medium Joakim Byg  10 Fix Released
347510 #347510 Query dialog should disable sym.red. when a trace selected 4 Medium Joakim Byg  10 Fix Released
351234 #351234 Save Uppaal XML 4 Medium Joakim Byg  10 Fix Released
341804 #341804 Query String Still Shows up 5 Low Joakim Byg  10 Fix Released
342766 #342766 Verification (translation) to UPPAAL fails 5 Low Kenneth Yrke Jørgensen  10 Fix Released
342769 #342769 Default right interval ) 5 Low Joakim Byg  10 Fix Released
346036 #346036 Query name is aligned to the right 5 Low Joakim Byg  10 Fix Released
353079 #353079 Negative time delay should be disallowed 5 Low Joakim Byg  10 Fix Released
343074 #343074 Visualization of tokens on MouseOver 6 Wishlist Joakim Byg  10 Fix Released
This milestone contains Public information
Everyone can see this information.