TAPAAL

Merge proposals

Branch Merge Proposal Status Requested By
lp:~tapaal-contributor/tapaal/broken-boundedness-check-1987383 ⇒ lp:tapaal/3.9 Merged Lena Ernstsen
lp:~tapaal-contributor/tapaal/fix_trace_verifytapn ⇒ lp:tapaal/3.9 Merged Lena Ernstsen
lp:~tapaal-contributor/tapaal/fix1987383 ⇒ lp:tapaal/3.9 Merged Kenneth Yrke Jørgensen
lp:~tapaal-contributor/tapaal/broken-boundedness-check-games-2006111 ⇒ lp:tapaal/3.9 Merged Lena Ernstsen
lp:~tapaal-contributor/tapaal/broken-batchprocessing-2004561 ⇒ lp:tapaal/3.9 Merged Lena Ernstsen
lp:~tapaal-contributor/tapaal/update-zoom-2004559 ⇒ lp:tapaal/3.9 Merged Lena Ernstsen
lp:~tapaal-contributor/tapaal/ltl-icon-selection-1997234 ⇒ lp:tapaal/3.9 Merged Lena Ernstsen
lp:~tapaal-contributor/tapaal/ltl-icon-selection-1997234 ⇒ lp:tapaal Superseded Lena Ernstsen
lp:~tapaal-contributor/tapaal/update-ltl-support ⇒ lp:tapaal Merged Lena Ernstsen
lp:~tapaal-contributor/tapaal/update-ltl-support-3.9 ⇒ lp:tapaal/3.9 Merged Lena Ernstsen
lp:~tapaal-contributor/tapaal/save-file-browser-location-3.9 ⇒ lp:tapaal/3.9 Merged Lena Ernstsen
lp:~tapaal-contributor/tapaal/save-file-browser-location-3.9 ⇒ lp:tapaal Superseded Lena Ernstsen
lp:~tapaal-contributor/tapaal/save-file-browser-location ⇒ lp:tapaal Merged Lena Ernstsen
lp:~tapaal-contributor/tapaal/remove-ghost-place ⇒ lp:tapaal Rejected Lena Ernstsen
lp:~tapaal-contributor/tapaal/ltl-parse-no-quantifiers ⇒ lp:tapaal Merged Lena Ernstsen
lp:~yrke/tapaal/fix1976494 ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen
lp:~yrke/tapaal/fix1976496 ⇒ lp:tapaal Needs review Kenneth Yrke Jørgensen
lp:~tapaal-contributor/tapaal/conjunction-button-fix ⇒ lp:tapaal Merged Lena Ernstsen
lp:~tapaal-contributor/tapaal/fix-product-display-1971421 ⇒ lp:~tapaal-contributor/tapaal/cpn-gui-dev Merged Lena Ernstsen
lp:~tapaal-contributor/tapaal/fix-product-display-1971421 ⇒ lp:tapaal Superseded Lena Ernstsen
lp:~tapaal-contributor/tapaal/cpn-remove-add ⇒ lp:tapaal Merged Lena Ernstsen
lp:~tapaal-contributor/tapaal/cpn-gui-dev ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen
lp:~tapaal-contributor/tapaal/cpn-remove-add ⇒ lp:tapaal Superseded Lena Ernstsen
lp:~tapaal-contributor/tapaal/cpn-gui-TikZ-support ⇒ lp:~tapaal-contributor/tapaal/cpn-gui-dev Merged Kristian Morsing Pedersen
lp:~tapaal-contributor/tapaal/cpn-variable-color-tool-window ⇒ lp:~tapaal-contributor/tapaal/cpn-gui-dev Merged Kristian Morsing Pedersen
lp:~tapaal-contributor/tapaal/cpn-gui-TikZ-support ⇒ lp:~tapaal-contributor/tapaal/cpn-gui-dev Superseded Kristian Morsing Pedersen
lp:~tapaal-contributor/tapaal/cpn-variable-color-tool-window ⇒ lp:~tapaal-contributor/tapaal/cpn-gui-dev Superseded Kristian Morsing Pedersen
lp:~tapaal-contributor/tapaal/cpn-variable-color-tool-window ⇒ lp:~tapaal-contributor/tapaal/cpn-gui-dev Superseded Kristian Morsing Pedersen
lp:~yrke/tapaal/cpn-refactor1 ⇒ lp:~tapaal-contributor/tapaal/cpn-gui-dev Merged Kenneth Yrke Jørgensen
lp:~tapaal-contributor/tapaal/cpn-caseSensitivity ⇒ lp:~tapaal-contributor/tapaal/cpn-gui-dev Merged Kenneth Yrke Jørgensen
lp:~tapaal-contributor/tapaal/cpn-gui-TikZ-support ⇒ lp:~tapaal-contributor/tapaal/cpn-gui-dev Superseded Kristian Morsing Pedersen
lp:~tapaal-contributor/tapaal/cpn-gui-TikZ-support ⇒ lp:~tapaal-contributor/tapaal/cpn-gui-dev Superseded Kristian Morsing Pedersen
lp:~tapaal-contributor/tapaal/cpn-gui-TikZ-support ⇒ lp:~tapaal-contributor/tapaal/cpn-gui-dev Superseded Kristian Morsing Pedersen
lp:~tapaal-contributor/tapaal/cpn-openPNML2 ⇒ lp:~tapaal-contributor/tapaal/cpn-gui-dev Merged Kenneth Yrke Jørgensen
lp:~tapaal-contributor/tapaal/foxTAPNdi-39 ⇒ lp:tapaal/3.9 Merged Kenneth Yrke Jørgensen
lp:~tapaal-contributor/tapaal/fixTAPNdi ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen
lp:~tapaal-contributor/tapaal/cpn-gui-TikZ-support ⇒ lp:~tapaal-contributor/tapaal/cpn-gui-dev Superseded Kristian Morsing Pedersen
lp:~tapaal-contributor/tapaal/cpn-gui-TikZ-support ⇒ lp:~tapaal-contributor/tapaal/cpn-gui-dev Superseded Kristian Morsing Pedersen
lp:~tapaal-contributor/tapaal/cpn-tapn ⇒ lp:~tapaal-contributor/tapaal/cpn-gui-dev Merged Kenneth Yrke Jørgensen
lp:~tapaal-contributor/tapaal/cpn-solvedBy ⇒ lp:~tapaal-contributor/tapaal/cpn-gui-dev Merged Kenneth Yrke Jørgensen
lp:~tapaal-contributor/tapaal/colorTraceFix ⇒ lp:~tapaal-contributor/tapaal/cpn-gui-dev Merged Kenneth Yrke Jørgensen
lp:~tapaal-contributor/tapaal/cpn-trace ⇒ lp:~tapaal-contributor/tapaal/cpn-gui-dev Merged Kenneth Yrke Jørgensen
lp:~tapaal-contributor/tapaal/redirect-game-engine-cpn ⇒ lp:~tapaal-contributor/tapaal/cpn-gui-dev Merged Lena Ernstsen
lp:~tapaal-contributor/tapaal/redirect-game-engine-cpn ⇒ lp:~tapaal-contributor/tapaal/cpn-gui-dev Superseded Lena Ernstsen
lp:~tapaal-contributor/tapaal/fixApprox-trunk ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen
lp:~tapaal-contributor/tapaal/fixApprox-39 ⇒ lp:tapaal/3.9 Merged Kenneth Yrke Jørgensen
lp:~tapaal-contributor/tapaal/fix1953355 ⇒ lp:~tapaal-contributor/tapaal/cpn-gui-dev Merged Kenneth Yrke Jørgensen
lp:~tapaal-contributor/tapaal/fix1953355 ⇒ lp:~tapaal-contributor/tapaal/cpn-gui-dev Superseded Kenneth Yrke Jørgensen
lp:~tapaal-contributor/tapaal/fix1945984 ⇒ lp:~tapaal-contributor/tapaal/cpn-gui-dev Merged Kenneth Yrke Jørgensen
lp:~yrke/tapaal/engine-load ⇒ lp:~tapaal-contributor/tapaal/cpn-gui-dev Merged Kenneth Yrke Jørgensen
lp:~tapaal-contributor/tapaal/fix-CPN-statistics-1952524 ⇒ lp:~tapaal-contributor/tapaal/cpn-gui-dev Merged Kristian Morsing Pedersen
lp:~yrke/tapaal/fix1947835 ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen
lp:~tapaal-contributor/tapaal/fix-transition-name-highlighting-1952520 ⇒ lp:tapaal Merged Kristian Morsing Pedersen
lp:~tapaal-contributor/tapaal/cpn-fix-missing-shortcut-1952521 ⇒ lp:~tapaal-contributor/tapaal/cpn-gui-dev Merged Kristian Morsing Pedersen
lp:~tapaal-contributor/tapaal/cpn-disable-.all-transport-arcs-1952522 ⇒ lp:~tapaal-contributor/tapaal/cpn-gui-dev Merged Kristian Morsing Pedersen
lp:~tapaal-contributor/tapaal/draw-urgent-transition-timed-net-icon-1951026 ⇒ lp:tapaal Merged Kristian Morsing Pedersen
lp:~tapaal-contributor/tapaal/fix-toggle-urgent-transition-1950689 ⇒ lp:tapaal Merged Kristian Morsing Pedersen
lp:~tapaal-contributor/tapaal/draw-urgent-transition-timed-net-icon-1951026 ⇒ lp:tapaal Superseded Kristian Morsing Pedersen
lp:~tapaal-contributor/tapaal/fix-urgent-missing-check-1951292 ⇒ lp:tapaal Merged Kristian Morsing Pedersen
lp:~tapaal-contributor/tapaal/draw-urgent-transition-timed-net-icon-1951026 ⇒ lp:tapaal Superseded Kristian Morsing Pedersen
lp:~tapaal-contributor/tapaal/draw-urgent-transition-timed-net-icon-1951026 ⇒ lp:tapaal Superseded Kristian Morsing Pedersen
lp:~tapaal-contributor/tapaal/merge-components-changed-lens-1947689 ⇒ lp:tapaal Merged Lena Ernstsen
lp:~yrke/tapaal/fix1947517-2 ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen
lp:~yrke/tapaal/fix1947517-3_9 ⇒ lp:tapaal/3.9 Rejected Kenneth Yrke Jørgensen
lp:~yrke/tapaal/fix1947517 ⇒ lp:tapaal Rejected Kenneth Yrke Jørgensen
lp:~tapaal-contributor/tapaal/merge-components-changed-lens-1947689 ⇒ lp:tapaal Superseded Lena Ernstsen
lp:~tapaal-contributor/tapaal/show-query-on-mouse-over-1947037 ⇒ lp:tapaal Merged Kristian Morsing Pedersen
lp:~tapaal-contributor/tapaal/show-query-on-mouse-over-1947037 ⇒ lp:tapaal Superseded Kristian Morsing Pedersen
lp:~tapaal-contributor/tapaal/example-net-menus ⇒ lp:tapaal Merged Jiri Srba
lp:~tapaal-contributor/tapaal/show-query-on-mouse-over-1947037 ⇒ lp:tapaal Superseded Kristian Morsing Pedersen
lp:~tapaal-contributor/tapaal/fix-tikz-export-1945642 ⇒ lp:tapaal Merged Kristian Morsing Pedersen
lp:~tapaal-contributor/tapaal/fixInfSymbol-1945643 ⇒ lp:tapaal Merged Kristian Morsing Pedersen
lp:~tapaal-contributor/tapaal/fixInfSymbol-1945643 ⇒ lp:tapaal Superseded Kristian Morsing Pedersen
lp:~tapaal-contributor/tapaal/fix-tikz-export-1945642 ⇒ lp:tapaal Superseded Kristian Morsing Pedersen
lp:~tapaal-contributor/tapaal/fix-tikz-export-1945642 ⇒ lp:tapaal Superseded Kristian Morsing Pedersen
lp:~tapaal-contributor/tapaal/fix-tikz-export-1945642 ⇒ lp:tapaal Superseded Kristian Morsing Pedersen
lp:~tapaal-contributor/tapaal/shortcut-undo-1941839 ⇒ lp:tapaal Merged Lena Ernstsen
lp:~tapaal-contributor/tapaal/fixInfSymbol-1945643 ⇒ lp:tapaal Superseded Kristian Morsing Pedersen
lp:~tapaal-contributor/tapaal/workflow-analysis-npe-1945821 ⇒ lp:tapaal Merged Lena Ernstsen
lp:~tapaal-contributor/tapaal/open-incorrectly-formatted-file ⇒ lp:tapaal Merged Lena Ernstsen
lp:~tapaal-contributor/tapaal/manual-edit-parsing ⇒ lp:tapaal Merged Lena Ernstsen
lp:~yrke/tapaal/fix1940401-number-keeps-inc ⇒ lp:~tapaal-contributor/tapaal/cpn-gui-dev Merged Kenneth Yrke Jørgensen
lp:~tapaal-contributor/tapaal/boundedness-check-1944588 ⇒ lp:tapaal Merged Lena Ernstsen
lp:~tapaal-contributor/tapaal/game-verifydtapn-npe-1944422 ⇒ lp:tapaal Merged Lena Ernstsen
lp:~tapaal-contributor/tapaal/manual-edit-parsing ⇒ lp:tapaal Superseded Lena Ernstsen
lp:~tapaal-contributor/tapaal/remove-entire-selection-1940416 ⇒ lp:tapaal Merged Lena Ernstsen
lp:~tapaal-contributor/tapaal/copy-from-messages ⇒ lp:tapaal Merged Lena Ernstsen
lp:~tapaal-contributor/tapaal/undo-disable-buttons-1940415 ⇒ lp:tapaal Merged Lena Ernstsen
lp:~tapaal-contributor/tapaal/boundedness-check ⇒ lp:tapaal Merged Lena Ernstsen
lp:~tapaal-contributor/tapaal/edit-interval-1940402 ⇒ lp:tapaal Merged Lena Ernstsen
lp:~tapaal-contributor/tapaal/incorrectly-shared-components-1940403 ⇒ lp:tapaal Merged Lena Ernstsen
lp:~tapaal-contributor/tapaal/manual-edit-parsing ⇒ lp:tapaal Superseded Lena Ernstsen
lp:~tapaal-contributor/tapaal/open-incorrectly-formatted-file ⇒ lp:tapaal Superseded Lena Ernstsen
lp:~tapaal-contributor/tapaal/manual-edit-error-messages ⇒ lp:tapaal Merged Lena Ernstsen
lp:~tapaal-contributor/tapaal/shared-component-buttons-1940075 ⇒ lp:tapaal Merged Lena Ernstsen
lp:~tapaal-contributor/tapaal/disappearing-tokens-1940098 ⇒ lp:tapaal Merged Lena Ernstsen
lp:~tapaal-contributor/tapaal/deleting-query-property ⇒ lp:tapaal Merged Lena Ernstsen
lp:~tapaal-contributor/tapaal/LTL-dialog ⇒ lp:tapaal Merged Lena Ernstsen
lp:~tapaal-contributor/tapaal/update-scrollbar-1938778 ⇒ lp:tapaal Merged Lena Ernstsen
lp:~tapaal-contributor/tapaal/register-arrow-keys-simulation-1938868 ⇒ lp:tapaal Merged Lena Ernstsen
1 → 100 of 586 results First • Previous • • Last