TAPAAL

lp:~tapaal-contributor/tapaal/verification-result-explanation-to-tooltip-1879129

Created by Thomas Pedersen on 2020-05-23 and last modified on 2020-06-04

Get this branch:: bzr branch lp:~tapaal-contributor/tapaal/verification-result-explanation-to-tooltip-1879129

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 1058

Jiri Srba: Approve on 2020-06-09

Thomas Pedersen (community): Needs Resubmitting on 2020-06-04

Kenneth Yrke Jørgensen: Approve (code) on 2020-05-27

Wishlist

Fix Released

1057. By Thomas Pedersen on 2020-06-04: Remove space between statistics
1056. By Thomas Pedersen on 2020-05-25: Remove unused newlines from CTL explanations
1055. By Thomas Pedersen on 2020-05-25: Move explanations back to modelcheckers
1054. By Thomas Pedersen on 2020-05-23: Move query result explanations to tooltips
1053. By Jiri Srba on 2020-05-16: merged in lp:~tapaal-contributor/tapaal/undo-up-down-sidepane-1870894 fixing undo/redo for moving items in the pannels using buttons up/down
1052. By Jiri Srba on 2020-05-16: merged in lp:~tapaal-contributor/tapaal/only-dirs-batch-export-1870887 fixing folder selection in batch export (for Mac only partial fix)
1051. By Jiri Srba on 2020-05-10: merged in lp:~yrke/tapaal/remoteUnusedFunction-updateTooltip removing deadcode (updateToolTip)
1050. By Jiri Srba on 2020-05-10: merged in lp:~tapaal-contributor/tapaal/undo-redo-batchprocessing-1870904 fixing redo/undo in batch processing in the file add/remove dialog
1049. By Jiri Srba on 2020-05-10: merged in lp:~tapaal-contributor/tapaal/undo-redo-update-scrollbar-1875174 fixing undo/redo for objects that are placed outside of the drawing aread
1048. By Jiri Srba on 2020-04-30: merged in lp:~yrke/tapaal/testbranch-syntaxOnlyChanges only reformating, no semantic changes

This branch contains Public information

Everyone can see this information.