TAPAAL

lp:~tapaal-contributor/tapaal/show-query-on-mouse-over-1947037

Created by Kristian Morsing Pedersen on 2021-10-19 and last modified on 2021-10-24

Get this branch:: bzr branch lp:~tapaal-contributor/tapaal/show-query-on-mouse-over-1947037

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 1157

Jiri Srba: Approve on 2021-11-05

Undecided

Fix Committed

1158. By Kristian Morsing Pedersen <email address hidden> on 2021-10-24: removed debugging code
1157. By Kristian Morsing Pedersen <email address hidden> on 2021-10-24: New line adjusted to 100 chars. The newline is added a the nearst space
1156. By Kristian Morsing Pedersen <email address hidden> on 2021-10-19: Adjusted length of query before a line break is inserted
1155. By Kristian Morsing Pedersen <email address hidden> on 2021-10-19: Added line breaks for long queries
1154. By Kristian Morsing Pedersen <email address hidden> on 2021-10-19: Tooltip for the 'queries' panel has been replaced with a peek of the actual query
1153. By <email address hidden> on 2021-10-17: merging in lp:~tapaal-contributor/tapaal/LTL-dialog adding LTL query editing to GUI
1152. By <email address hidden> on 2021-10-17: merged in lp:~tapaal-contributor/tapaal/fixInfSymbol-1945643 properly displaying the infinity symbol
1151. By <email address hidden> on 2021-10-17: updated icon to 3.9
1150. By Jiri Srba on 2021-10-11: merged in lp:~tapaal-contributor/tapaal/shortcut-undo-1941839 and enables ctrl-Z and ctrl-Y in query dialog
1149. By Jiri Srba on 2021-10-02: merged in lp:~tapaal-contributor/tapaal/workflow-analysis-npe-1945821 fixing boundedness check in workflow analysis

This branch contains Public information

Everyone can see this information.