TAPAAL

TAPAAL 2.1.1

  1. Series 2.1
  2. 2.1.1

Milestone for trageting bugfixes for 2.1 series

Milestone information

Project:
TAPAAL
Series:
2.1
Version:
2.1.1
Released:
 
Registrant:
Jiri Srba
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:
3 Jakob Taankvist, 2 Jiri Srba, 1 Mathias Andersen, 2 Mathias Grund Sørensen
Blueprints:
No blueprints are targeted to this milestone.
Bugs:
11 Fix Released

Download files for this release

File Description Downloads

Release notes 

This release does not have release notes.

Changelog 

View the full changelog

    A maintenance release fixing several bugs and
    improving the speed of loading large models and moving/sorting in the component list,
    introducing a new update notification dialog,
    fixing a rare memory leak in the TAPAAL engine verifytapn,
    possibility to change the values of constants using the arrows left/right,
    user preferences are now relative to the version of TAPAAL,
    tool tips can be disabled,
    query dialog allows to create any query and suggests automatically the most suitable verification engine, and
    it is now possible to move in the error trace using the arrows up/down while the arrows left/right change the currently displayed component.

0 blueprints and 11 bugs targeted

Bug report Importance Assignee Status
1003486 #1003486 Nonactive components can impose invariant restrictios in simulator 3 High Jakob Taankvist  10 Fix Released
808276 #808276 Moving in the trace using 6 rewrites the time delay 4 Medium   10 Fix Released
954433 #954433 New version - remember in preferences 4 Medium   10 Fix Released
956793 #956793 Query name does not get updated in list when changed 4 Medium Jakob Taankvist  10 Fix Released
959196 #959196 Placement of OK/Cancel buttons Edit Annotation 4 Medium Mathias Andersen  10 Fix Released
991866 #991866 Annotation Edit Dialog Behaviour 4 Medium Mathias Grund Sørensen  10 Fix Released
1013606 #1013606 Mixed headings in export from batch processing 4 Medium Jakob Taankvist  10 Fix Released
928935 #928935 Slow component sorting, moving up/down 5 Low   10 Fix Released
958402 #958402 Enable-Disable Tool tips 5 Low Jiri Srba  10 Fix Released
874127 #874127 New version dialog should bring the user to download 6 Wishlist Jiri Srba  10 Fix Released
1020628 #1020628 Slow loading of many components 1 Undecided Mathias Grund Sørensen  10 Fix Released
This milestone contains Public information
Everyone can see this information.