lp:~tapaal-contributor/tapaal/workflow-analysis-npe-1945821
- Get this branch:
- bzr branch lp:~tapaal-contributor/tapaal/workflow-analysis-npe-1945821
Branch merges
- Jiri Srba: Approve
-
Diff: 36 lines (+11/-1)1 file modifiedsrc/pipe/gui/KBoundAnalyzer.java (+11/-1)
Related bugs
Bug #1945821: Boundedness check is broken in the workflow analysis | Undecided | Fix Released |
Related blueprints
Branch information
Recent revisions
- 1148. By Jiri Srba
-
merged in lp:~tapaal-contributor/tapaal/open-incorrectly-formatted-file fixing the dialog with information about wrong formated file to be open
- 1147. By Jiri Srba <email address hidden>
-
merged in lp:~tapaal-contributor/tapaal/undo-disable-buttons-1940415 fixing a problem with eenabledness of buttons in constant panel when doing undo/redo
- 1146. By Jiri Srba <email address hidden>
-
merged in lp:~tapaal-contributor/tapaal/manual-edit-parsing fixing a problem with the manual query parser
- 1145. By Jiri Srba
-
merged in lp:~tapaal-contributor/tapaal/boundedness-check-1944588 fixing problem with boundedness check
- 1144. By Jiri Srba
-
merged in lp:~tapaal-contributor/tapaal/game-verifydtapn-npe-1944422 fixing problem with ghost places in untimed games queries
- 1143. By <email address hidden>
-
merged in lp:~tapaal-contributor/tapaal/manual-edit-error-messages where manual query edit now shows error messages
- 1142. By <email address hidden>
-
merged in lp:~tapaal-contributor/tapaal/incorrectly-shared-components-1940403 fixing "cancel" when making a place shared
- 1141. By <email address hidden>
-
merged in lp:~tapaal-contributor/tapaal/edit-interval-1940402 fixing editing of intervals with constants
- 1140. By <email address hidden>
-
merged in lp:~tapaal-contributor/tapaal/boundedness-check fixing boundedness check for verifypn
Branch metadata
- Branch format:
- Branch format 7
- Repository format:
- Bazaar repository format 2a (needs bzr 1.16 or later)
- Stacked on:
- lp:tapaal