TAPAAL

Merge proposals for lp:tapaal

  1. trunk
  2. Merge proposals
Branch Merge Proposal Status Requested By
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/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 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/fixTAPNdi ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen
lp:~tapaal-contributor/tapaal/fixApprox-trunk ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen
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/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 ⇒ 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:~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
lp:~tapaal-contributor/tapaal/add-undo-batch-export-1938790 ⇒ lp:tapaal Merged Lena Ernstsen
lp:~tapaal-contributor/tapaal/interrupted-scrolling-1938783 ⇒ lp:tapaal Merged Lena Ernstsen
lp:~tapaal-contributor/tapaal/LTL-dialog ⇒ lp:tapaal Superseded Lena Ernstsen
lp:~tapaal-contributor/tapaal/hide-show-names-1921393 ⇒ lp:tapaal Merged Lena Ernstsen
lp:~tapaal-contributor/tapaal/fix-double-undo ⇒ lp:tapaal Merged Lena Ernstsen
lp:~tapaal-contributor/tapaal/hide-show-names-1921393 ⇒ lp:tapaal Superseded Lena Ernstsen
lp:~tapaal-contributor/tapaal/hide-show-names-1921393 ⇒ lp:tapaal Superseded Lena Ernstsen
lp:~tapaal-contributor/tapaal/LTL-dialog ⇒ lp:tapaal Superseded Lena Ernstsen
lp:~tapaal-contributor/tapaal/cpn-gui-dev ⇒ lp:tapaal Superseded Peter Haahr Taankvist
lp:~tapaal-contributor/tapaal/LTL-dialog ⇒ lp:tapaal Superseded Lena Ernstsen
lp:~tapaal-contributor/tapaal/cut-names-1923011 ⇒ lp:tapaal Merged Peter Haahr Taankvist
lp:~tapaal-contributor/tapaal/token-truncation-bug-1918913 ⇒ lp:tapaal Merged Lena Ernstsen
lp:~tapaal-contributor/tapaal/dialog-always-on-top-1918912 ⇒ lp:tapaal Merged Lena Ernstsen
lp:~tapaal-contributor/tapaal/query-parsing-bug-1921580 ⇒ lp:tapaal Merged Lena Ernstsen
lp:~tapaal-contributor/tapaal/hide-show-names-1921393 ⇒ lp:tapaal Superseded Lena Ernstsen
lp:~tapaal-contributor/tapaal/token-truncation-bug-1918913 ⇒ lp:tapaal Superseded Lena Ernstsen
lp:~yrke/tapaal/github-actions ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen
lp:~tapaal-contributor/tapaal/save-tar-option ⇒ lp:tapaal Merged Lena Ernstsen
lp:~tapaal-contributor/tapaal/raw-query-window-scaling-1915882 ⇒ lp:tapaal Merged Lena Ernstsen
lp:~tapaal-contributor/tapaal/add-tar-option ⇒ lp:tapaal Merged Lena Ernstsen
lp:~tapaal-contributor/tapaal/raw-query-output ⇒ lp:tapaal Merged Lena Ernstsen
lp:~tapaal-contributor/tapaal/add-export-options ⇒ lp:tapaal Merged Lena Ernstsen
lp:~tapaal-contributor/tapaal/fix-is-enabled-transition-query ⇒ lp:tapaal Merged Lena Ernstsen
lp:~tapaal-contributor/tapaal/ubuntu-dark-theme-improvements-1897539 ⇒ lp:tapaal Merged Peter Haahr Taankvist
lp:~yrke/tapaal/arcpathpoint-issues ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen
lp:~tapaal-contributor/tapaal/Gui-freeze-1896457 ⇒ lp:tapaal Merged Peter Haahr Taankvist
lp:~tapaal-contributor/tapaal/verifytapn-not-offered-1896454 ⇒ lp:tapaal Merged Peter Haahr Taankvist
lp:~tapaal-contributor/tapaal/Typos-1896460 ⇒ lp:tapaal Merged Peter Haahr Taankvist
lp:~tapaal-contributor/tapaal/intervals-on-outgoing-arcs-1896451 ⇒ lp:tapaal Merged Peter Haahr Taankvist
lp:~tapaal-contributor/tapaal/disable-workflow-analysis-1896319 ⇒ lp:tapaal Merged Lena Ernstsen
lp:~tapaal-contributor/tapaal/show-reduced-net-1879130 ⇒ lp:tapaal Merged Thomas Pedersen
lp:~yrke/tapaal/fix1879032-workflowanalysis ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen
lp:~yrke/tapaal/fix1894107-mouseWheelOnPTO ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen
lp:~tapaal-contributor/tapaal/add-discrete-to-untimed ⇒ lp:tapaal Merged Lena Ernstsen
lp:~tapaal-contributor/tapaal/unselect-objects-after-undo-1894108 ⇒ lp:tapaal Merged Lena Ernstsen
lp:~tapaal-contributor/tapaal/fix-1894106-LabelsWithConstantsAreNotShown ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen
lp:~yrke/tapaal/fix-1894109-NullPointerOnOpeningInhibArcDialog ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen
lp:~tapaal-contributor/tapaal/fix-trunk-halt-1893777 ⇒ lp:tapaal Merged Jiri Srba
lp:~tapaal-contributor/tapaal/enable-AF-game ⇒ lp:tapaal Merged Lena Ernstsen
lp:~tapaal-contributor/tapaal/refactor-remove-queries ⇒ lp:tapaal Merged Lena Ernstsen
1 → 100 of 507 results First • Previous • • Last