lp:~tapaal-contributor/tapaal/query-parsing-bug-1921580

Branch merges

Propose for merging

No branches dependent on this one.

Merged into lp:tapaal at revision 1122

Jiri Srba: Approve on 2021-04-03

Diff: 24 lines (+6/-1)

1 file modified

src/pipe/gui/widgets/QueryDialog.java (+6/-1)

api

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Bug #1921580: Problem with parsing a query

Critical

Fix Released

Link a bug report

Related blueprints

1122. By Lena Ernstsen on 2021-03-29

Fixed not being able to parse a correctly edited query

1121. By Kenneth Yrke Jørgensen on 2021-03-24

Merged branch lp:~yrke/tapaal/github-actions

1120. By Jiri Srba on 2021-03-04

merged in lp:~tapaal-contributor/tapaal/save-tar-option that allows to save -tar option to .tapn file

1119. By Jiri Srba on 2021-02-28

merged in lp:~tapaal-contributor/tapaal/add-tar-option adding the -tar option for the verifypn engine

1118. By Jiri Srba on 2021-02-28

merged in lp:~tapaal-contributor/tapaal/raw-query-window-scaling-1915882 fixing the scaling of raw-output result

1117. By Jiri Srba on 2020-12-18

merged in lp:~tapaal-contributor/tapaal/show-reduced-net-1879130 adding the possiblity to show the reduced net - relies on the new trunk version of verifypn

1116. By Jiri Srba on 2020-12-17

merged in lp:~tapaal-contributor/tapaal/raw-query-output adding the possibility to display raw output from engines

1115. By Jiri Srba on 2020-12-16

fixed a tooltip for batch export menu item

1114. By Jiri Srba on 2020-12-16

merged in lp:~tapaal-contributor/tapaal/add-export-options adding the option of batch export to all engines

1113. By Jiri Srba <email address hidden> on 2020-11-06

merged in lp:~tapaal-contributor/tapaal/fix-is-enabled-transition-query fixing a problem of transition-enabledness predicate in query dialog