TAPAAL

lp:~tapaal-contributor/tapaal/draw-urgent-transition-timed-net-icon-1951026

Created by Kristian Morsing Pedersen on 2021-11-16 and last modified on 2021-11-20

Get this branch:: bzr branch lp:~tapaal-contributor/tapaal/draw-urgent-transition-timed-net-icon-1951026

Members of TAPAAL Contributors can upload to this branch. Log in for directions.

No branches dependent on this one.

Merged into lp:tapaal at revision 1160

Jiri Srba: Approve on 2021-11-20

Undecided

Fix Committed

1162. By Kristian Morsing Pedersen <email address hidden> on 2021-11-20: Toggle uncontrollable transition is now greyed out while in simulation mode
1161. By Kristian Morsing Pedersen <email address hidden> on 2021-11-20: Fixed merge conflict with trunk
1160. By Kristian Morsing Pedersen <email address hidden> on 2021-11-20: Added uncontrollable urgent transition icon and the option to the draw menu
1159. By Kristian Morsing Pedersen <email address hidden> on 2021-11-16: Added icon for urgent transitions
1158. By Kristian Morsing Pedersen <email address hidden> on 2021-11-16: Added support and icon for drawin urgent transitions when the lens is set to a timed net
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
1155. By Jiri Srba on 2021-11-04: merged in lp:~yrke/tapaal/fix1947517-2 fixing the problem with editing arc points
1154. By Jiri Srba <email address hidden> on 2021-10-21: merged in lp:~tapaal-contributor/tapaal/fix-tikz-export-1945642 fixing tikz export
1153. By <email address hidden> on 2021-10-17: merging in lp:~tapaal-contributor/tapaal/LTL-dialog adding LTL query editing to GUI

This branch contains Public information

Everyone can see this information.