TAPAAL

lp:~tapaal-contributor/tapaal/LTL-dialog

Created by Lena Ernstsen on 2021-03-06 and last modified on 2021-10-17

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 1153

Jiri Srba: Approve on 2021-10-17

Kenneth Yrke Jørgensen: Approve (code) on 2021-09-28

1198. By <email address hidden> on 2021-10-17: merged with trunk
1197. By <email address hidden> on 2021-10-17: merged with trunk
1196. By Lena Ernstsen on 2021-10-16: updated addPredicate button for ltl queries
1195. By Lena Ernstsen on 2021-10-16: Updated enabledness of ltl buttons
1194. By Lena Ernstsen on 2021-10-15: Corrected spelling mistakes
1193. By Lena Ernstsen on 2021-10-15: Added error message when trace failed to open
1192. By Lena Ernstsen on 2021-10-15: Changed when ltl buttons are enabled. DeleteSelection does not automatically add A node to query when ltl
1191. By Lena Ernstsen on 2021-10-14: Changed the ltl button functionality
1190. By Lena Ernstsen on 2021-10-14: Added missing 'exists-path' in xml parser
1189. By Lena Ernstsen on 2021-10-13: 'Open reduced net' uses the same options when called from query dialog and verification dialog

This branch contains Public information

Everyone can see this information.