lp:~tapaal-contributor/tapaal/weight-values-fix-1770637

Branch merges

Propose for merging

No branches dependent on this one.

Merged into lp:tapaal at revision 962

Jiri Srba: Approve on 2018-05-13

Diff: 97 lines (+17/-5)

5 files modified

src/dk/aau/cs/io/PNMLWriter.java (+1/-1)
src/dk/aau/cs/model/tapn/TimedInputArc.java (+4/-0)
src/dk/aau/cs/model/tapn/TimedOutputArc.java (+4/-0)
src/dk/aau/cs/model/tapn/TransportArc.java (+4/-0)
src/dk/aau/cs/verification/TAPNComposer.java (+4/-4)

api

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Bug #1770637: Problem with weight constants in composer

Critical

Fix Released

Link a bug report

Related blueprints

962. By Jiri Srba on 2018-05-13

Fixes bug #1770637 where in PNML export and composer we used constant names
instead of the values in weights of arcs

961. By Jiri Srba on 2018-05-11

merged in branch lp:~tapaal-contributor/tapaal/Batch-export-PNML-XML-queries-1754675
adding batch export of files to PNML and XML

960. By Jiri Srba on 2018-05-11

merged in branch lp:~tapaal-contributor/tapaal/GUI-and-reduction-rules-1768066
adding the statistics of reduction rules A-I

959. By Jiri Srba on 2018-05-11

merged in branch lp:~tapaal-contributor/tapaal/Rename-transition-error-1767489
fixing an un-cought exception when renaming a transition to nonvalid name

958. By Jiri Srba on 2018-05-11

merged in branch lp:~tapaal-contributor/tapaal/query-export-bug-1767615
fixing an export of XML queries

957. By Jiri Srba <email address hidden> on 2018-05-02

merged in branch lp:~yrke/tapaal/tapaal-fix-1764383-MacHandling
mixing feel and look for Mac os X with Java 9 (About menu is not working yet)

956. By Jiri Srba <email address hidden> on 2018-04-16

merged in branch lp:~tapaal-contributor/tapaal/select-all-1763193 enabeling ctrl/cmd-A on all components in focus

955. By Jiri Srba <email address hidden> on 2018-04-16

merged in branch lp:~tapaal-contributor/tapaal/png-margins-fix-1762562 fixing PNG export and updated list of contributors

954. By Jiri Srba <email address hidden> on 2018-04-16

merged in branch lp:~ptaank/tapaal/run-multiple-queries- that allows to select and verify multiple queries

953. By Jiri Srba <email address hidden> on 2018-04-16

merged in branch bzr merge lp:~yrke/tapaal/tapaal-fix-1756865 fixing broken Mac integration with Java 9 (by catching and ignoring the exception)