lp:~tapaal-contributor/tapaal/fixApprox-trunk

Branch merges

Propose for merging

No branches dependent on this one.

Merged into lp:tapaal at revision 1167

Jiri Srba: Approve on 2021-12-27

Diff: 38 lines (+13/-7)

1 file modified

src/dk/aau/cs/verification/VerifyTAPN/VerifyTAPNExporter.java (+13/-7)

api

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

1165. By Kenneth Yrke Jørgensen on 2021-12-27

Fixed NPE in Approx worker

1164. By Jiri Srba <email address hidden> on 2021-12-07

merged in lp:~yrke/tapaal/fix1947835 fixing problem with delay/fire of transitions in the simulator

1163. By Jiri Srba on 2021-12-06

merged in lp:~tapaal-contributor/tapaal/fix-transition-name-highlighting-1952520 fixing problem with transition lables that were not highlighted (ubuntu dark mode should be checked)

1162. By Jiri Srba on 2021-11-23

updated the minimum required version of all three engines

1161. By Jiri Srba on 2021-11-20

merged in lp:~tapaal-contributor/tapaal/example-net-menus rearranging the examples in menu

1160. By Jiri Srba on 2021-11-20

merged in lp:~tapaal-contributor/tapaal/draw-urgent-transition-timed-net-icon-1951026 allowing to draw urgent/environmental transitions via icons

1159. By Jiri Srba on 2021-11-20

merged in lp:~tapaal-contributor/tapaal/fix-toggle-urgent-transition-1950689 disabeling "toggle urgent transition (U)" in simulation mode

1158. By Jiri Srba on 2021-11-20

merged in lp:~tapaal-contributor/tapaal/fix-urgent-missing-check-1951292 fixing a problem with [0,inf) checking when pressing U (toggle urgent transition)

1157. By Jiri Srba on 2021-11-05

merged in lp:~tapaal-contributor/tapaal/show-query-on-mouse-over-1947037 showing query string on mouseover

1156. By Jiri Srba <email address hidden> on 2021-11-05

merged in lp:~tapaal-contributor/tapaal/merge-components-changed-lens-1947689 fixing problem with lens when merging components