lp:~tapaal-contributor/tapaal/reduction-rules-in-GUI-fix-1648084

Branch merges

Propose for merging

No branches dependent on this one.

Merged into lp:tapaal at revision 939

Jiri Srba: Approve on 2016-12-11

Diff: 89 lines (+18/-3)

2 files modified

src/dk/aau/cs/verification/ReductionStats.java (+10/-2)
src/dk/aau/cs/verification/VerifyTAPN/VerifyPNOutputParser.java (+8/-1)

api

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Bug #1648084: Update GUI in trunk with reductions rules A,B,C,D,E

Critical

Fix Released

Link a bug report

Related blueprints

938. By Mads Johannsen on 2016-12-08

Update reduction rules in GUI

937. By Jiri Srba on 2016-11-27

merged in branch fixing enabled-transition-in-editor-fix-1641313
that also changes the future enabled transitions from blue to yellow

936. By Jiri Srba on 2016-11-12

merged in branch timed-to-untimed-fix-1625989 additing new tool for untiming a net

935. By Jiri Srba on 2016-10-13

merged in branch adding a checkbox in View menu to display 0-age tokens as dots

934. By Jiri Srba on 2016-05-07

merged in branch transition-rotation-fix-1550895 fixing the
rotation of transitions in tikz export

933. By Jiri Srba <email address hidden> on 2016-05-04

merged in branch slash-in-name-fix-1575006

932. By Jiri Srba <email address hidden> on 2016-05-04

merged in branch disable-edit-statistics-fix-1575015

931. By Mads Johannsen on 2016-03-17

 by TAPAAL Contributors review by Jiri Srba approved by Jiri Srba

930. By Mads Johannsen on 2016-03-15

right-click context menu is now enabled only for the select tool (fixes bug 1544465) by TAPAAL Contributors review by Jiri Srba approved by Jiri Srba

929. By Jakob Dyhr on 2016-03-14

List elements on Windows 8 and 10 are now presented visually correct according to the Nimbus L&F. by TAPAAL Contributors review by Jiri Srba approved by Jiri Srba