TAPAAL

lp:~tapaal-contributor/tapaal/ltl-icon-selection-1997234

Created by Lena Ernstsen on 2023-01-09 and last modified on 2023-01-23

Get this branch:: bzr branch lp:~tapaal-contributor/tapaal/ltl-icon-selection-1997234

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

No branches dependent on this one.

Merged into lp:tapaal/3.9

Jiri Srba: Approve on 2023-01-23

Superseded for merging into lp:tapaal

TAPAAL Reviewers: Pending requested 2023-01-09

1179. By Lena Ernstsen on 2023-01-23: Fixed wrong statistics for CTL queries
1178. By Lena Ernstsen on 2023-01-19: Added 'show raw query results' button for state equation results
1177. By Lena Ernstsen on 2023-01-19: Reverted change to avoid NPE
1176. By Lena Ernstsen on 2023-01-09: Icon selection now considers LTL nodes
1175. By <email address hidden> on 2022-09-16: increased version to 3.9.3 and min version of verifypn to 4.2.2
1174. By <email address hidden> on 2022-08-03: merged in lp:~tapaal-contributor/tapaal/update-ltl-support-3.9 fixing bug #1983371
1173. By <email address hidden> on 2022-08-02: merged in lp:~tapaal-contributor/tapaal/save-file-browser-location-3.9 fixing the remembering of a location when opening a file
1172. By Jiri Srba on 2022-06-03: merged in a fix for resting LTL queries
1171. By Jiri Srba on 2022-06-03: merged in a bug fix for LTL manual edit of queries ( E .. and .. and ...) did not allow manual edit and removing the last conjunct
1170. By Jiri Srba on 2022-06-03: merged in lp:~yrke/tapaal/fix1976494 fixing a problem with copying components that contain environmental transitions

This branch contains Public information

Everyone can see this information.