lp:~yrke/tapaal/fix1976494

Branch merges

Propose for merging

No branches dependent on this one.

Merged into lp:tapaal at revision 1170

Jiri Srba: Approve on 2022-06-03

Diff: 11 lines (+1/-0)

1 file modified

src/pipe/gui/graphicElements/tapn/TimedTransitionComponent.java (+1/-0)

api

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Bug #1976494: Copy component does not preserve env transitions

Undecided

Fix Committed

Link a bug report

Related blueprints

1170. By Kenneth Yrke Jørgensen on 2022-06-01

Fixes bug #1976494, template copy of uncontrollable transitions was not working

1169. By Jiri Srba on 2022-05-24

merged in lp:~tapaal-contributor/tapaal/conjunction-button-fix fixing a problem with and/or buttons in query dialog

1168. By Jiri Srba <email address hidden> on 2022-02-10

merged in lp:~tapaal-contributor/tapaal/fixTAPNdi fixing a problem with passing inclusion places to verifytapn

1167. By Jiri Srba on 2021-12-27

merged in lp:~tapaal-contributor/tapaal/fixApprox-trunk fixing problem with over/under-approximation for verifydtapn

1166. By Jiri Srba <email address hidden> on 2021-12-21

more cleanup

1165. By Jiri Srba <email address hidden> on 2021-12-21

cleanup in tools and added the most recent scripts for creating distributions

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