TAPAAL

lp:~tapaal-contributor/tapaal/fixInfSymbol-1945643

Created by Kristian Morsing Pedersen on 2021-10-02 and last modified on 2021-10-17

Get this branch:: bzr branch lp:~tapaal-contributor/tapaal/fixInfSymbol-1945643

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 1152

Jiri Srba: Approve on 2021-10-17

Undecided

Fix Released

1152. By <email address hidden> on 2021-10-17: merged with trunk
1151. By Kristian Morsing Pedersen <email address hidden> on 2021-10-17: Removed test code
1150. By Kristian Morsing Pedersen <email address hidden> on 2021-10-17: Doesn't break the verification process anymore
1149. By Kristian Morsing Pedersen <email address hidden> on 2021-10-04: Show/hide intervals [0,inf) in menu/view now works correctly
1148. By Kristian Morsing Pedersen <email address hidden> on 2021-10-03: Fixed inf symbol in menu and added Kristian to about page
1147. By Kristian Pedersen on 2021-10-02: Now shows the infinity symbol
1146. By Jiri Srba <email address hidden> on 2021-09-29: merged in lp:~tapaal-contributor/tapaal/manual-edit-parsing fixing a problem with the manual query parser
1145. By Jiri Srba on 2021-09-23: merged in lp:~tapaal-contributor/tapaal/boundedness-check-1944588 fixing problem with boundedness check
1144. By Jiri Srba on 2021-09-22: merged in lp:~tapaal-contributor/tapaal/game-verifydtapn-npe-1944422 fixing problem with ghost places in untimed games queries
1143. By <email address hidden> on 2021-09-11: merged in lp:~tapaal-contributor/tapaal/manual-edit-error-messages where manual query edit now shows error messages

This branch contains Public information

Everyone can see this information.