lp:~tapaal-contributor/tapaal/update-ltl-support-3.9

Branch merges

Propose for merging

No branches dependent on this one.

Merged into lp:tapaal/3.9 at revision 1174

TAPAAL Maintainers: Pending requested 2022-08-03

Diff: 45 lines (+10/-10)

1 file modified

src/dk/aau/cs/io/queries/XMLQueryLoader.java (+10/-10)

api

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

1174. By Lena Ernstsen on 2022-08-03

Updated support for ltl queries containing exists paths

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

1169. By Jiri Srba on 2022-05-24

merged in src/pipe/gui/widgets/QueryDialog.java fixing problem with and and or in query dialog

1168. By Jiri Srba <email address hidden> on 2022-02-10

merged in lp:~tapaal-contributor/tapaal/foxTAPNdi-39 fixing problem with passing inclusion places to verifytapn engine

1167. By <email address hidden> on 2022-02-01

version number to 3.9.2 and copyright to 2022

1166. By Jiri Srba on 2021-12-27

merged in lp:~tapaal-contributor/tapaal/fixApprox-39 fixing over/under-approximation for verifydtapn

1165. By Jiri Srba <email address hidden> on 2021-12-07

merged in lp:~yrke/tapaal/fix1947835 fixing problem with delay/fire in simulator