lp:~tapaal-contributor/tapaal/query-to-CTL-conversion-fix-1751844
Created by
Mads Johannsen
and last modified
- Get this branch:
- bzr branch lp:~tapaal-contributor/tapaal/query-to-CTL-conversion-fix-1751844
Members of
TAPAAL Contributors
can upload to this branch. Log in for directions.
Branch merges
Propose for merging
No branches
dependent on this one.
- Jiri Srba: Approve
-
Diff: 19 lines (+8/-1)1 file modifiedsrc/pipe/gui/widgets/CTLQueryDialog.java (+8/-1)
Related bugs
Bug #1751844: Problem in export of arithmetical queries | Critical | Fix Released |
Related blueprints
Branch information
Recent revisions
- 950. By Jiri Srba <email address hidden>
-
merged in branch lp:~tapaal-contributor/tapaal/partial-order that
adds stubborn set option to batch processing - 948. By Jiri Srba
-
increased minimum version numbers for verifydtapn and verifypn and changed copyright upto 2018
- 947. By Jiri Srba
-
merged in branch lp:~tapaal-contributor/tapaal/reachability-query-dialog-stubborn-reduction adding partial order reduction for verifydtapn
- 946. By Jiri Srba <email address hidden>
-
merged in branch lp:~tapaal-contributor/tapaal/cancel-arc-draw-fix-1718892 fixing
escaping from drawing an arc with multiple anchor points - 945. By Jiri Srba
-
merged a bug fix for bug-1718610-wrong-letter-batch fixing wrong letter in batch processing for verifypn engine
Branch metadata
- Branch format:
- Branch format 7
- Repository format:
- Bazaar repository format 2a (needs bzr 1.16 or later)
- Stacked on:
- lp:tapaal