Merge proposals for lp:tapaal

Branch Merge Proposal Status Requested By
lp:~tapaal-contributor/tapaal/LTL-dialog ⇒ lp:tapaal Needs review Lena Said
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 Said
lp:~tapaal-contributor/tapaal/dialog-always-on-top-1918912 ⇒ lp:tapaal Merged Lena Said
lp:~tapaal-contributor/tapaal/query-parsing-bug-1921580 ⇒ lp:tapaal Merged Lena Said
lp:~tapaal-contributor/tapaal/hide-show-names-1921393 ⇒ lp:tapaal Needs review Lena Said
lp:~tapaal-contributor/tapaal/token-truncation-bug-1918913 ⇒ lp:tapaal Superseded Lena Said
lp:~yrke/tapaal/github-actions ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen
lp:~tapaal-contributor/tapaal/save-tar-option ⇒ lp:tapaal Merged Lena Said
lp:~tapaal-contributor/tapaal/raw-query-window-scaling-1915882 ⇒ lp:tapaal Merged Lena Said
lp:~tapaal-contributor/tapaal/add-tar-option ⇒ lp:tapaal Merged Lena Said
lp:~tapaal-contributor/tapaal/raw-query-output ⇒ lp:tapaal Merged Lena Said
lp:~tapaal-contributor/tapaal/add-export-options ⇒ lp:tapaal Merged Lena Said
lp:~tapaal-contributor/tapaal/fix-is-enabled-transition-query ⇒ lp:tapaal Merged Lena Said
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 Said
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 Said
lp:~tapaal-contributor/tapaal/unselect-objects-after-undo-1894108 ⇒ lp:tapaal Merged Lena Said
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 Said
lp:~tapaal-contributor/tapaal/refactor-remove-queries ⇒ lp:tapaal Merged Lena Said
lp:~yrke/tapaal/more-testing-and-refactorings ⇒ lp:tapaal Work in progress Kenneth Yrke Jørgensen
lp:~tapaal-contributor/tapaal/autodetect-lens-check2 ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen
lp:~yrke/tapaal/memoryMonitor-nullpointer ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen
lp:~yrke/tapaal/fix1891635-fixStepAnimationHistory ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen
lp:~yrke/tapaal/fix1891456-clickingTransportArcs ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen
lp:~tapaal-contributor/tapaal/game-shortcuts ⇒ lp:tapaal Merged Lena Said
lp:~tapaal-contributor/tapaal/remove-nongame-queries ⇒ lp:tapaal Merged Lena Said
lp:~tapaal-contributor/tapaal/autodetect-lens-check ⇒ lp:tapaal Rejected Lena Said
lp:~tapaal-contributor/tapaal/merge-query-dialogs ⇒ lp:tapaal Merged Lena Said
lp:~tapaal-contributor/tapaal/add-java-info-1890600 ⇒ lp:tapaal Merged Lena Said
lp:~tapaal-contributor/tapaal/game-example-net ⇒ lp:tapaal Merged Lena Said
lp:~tapaal-contributor/tapaal/untimed-timed-gui ⇒ lp:tapaal Merged Peter Haahr Taankvist
lp:~tapaal-contributor/tapaal/change-net-features ⇒ lp:tapaal Merged Lena Said
lp:~tapaal-contributor/tapaal/game-example-net ⇒ lp:tapaal Merged Lena Said
lp:~yrke/tapaal/fix-1890292-undoArcNeedTwoActions ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen
lp:~tapaal-contributor/tapaal/transport-arcs-and-timed-nets ⇒ lp:tapaal Merged Lena Said
lp:~tapaal-contributor/tapaal/implement-game-ui-1884499 ⇒ lp:tapaal Merged Lena Said
lp:~tapaal-contributor/tapaal/fix-1890247 ⇒ lp:tapaal Merged Peter Haahr Taankvist
lp:~tapaal-contributor/tapaal/engine-option-matrix-dev ⇒ lp:tapaal Merged Peter Haahr Taankvist
lp:~yrke/tapaal/evenMore-gui-cleanup ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen
lp:~yrke/tapaal/removeSpecialBatchLoading ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen
lp:~yrke/tapaal/fix-1887524-prepostSetSize ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen
lp:~yrke/tapaal/fix-1887770-and-1887771-ContextMenuForArcs ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen
lp:~yrke/tapaal/fix-1887512-SharedPlaceWithToken ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen
lp:~tapaal-contributor/tapaal/load-and-save-time-and-game-net-properties ⇒ lp:tapaal Merged Lena Said
lp:~yrke/tapaal/update-versioncheckurl ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen
lp:~tapaal-contributor/tapaal/statistics-position-resets-1884365 ⇒ lp:tapaal Merged Lena Said
lp:~yrke/tapaal/cleanup-PNO-namingAndInterface ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen
lp:~yrke/tapaal/fix1883971-save-arcpath-point-coords-error ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen
lp:~tapaal-contributor/tapaal/Net-statistics-should-display-orphan-places-1879127 ⇒ lp:tapaal Merged Lena Said
lp:~yrke/tapaal/slimImageIcons-2 ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen
lp:~yrke/tapaal/updateResourceManager-2 ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen
lp:~tapaal-contributor/tapaal/verification-result-explanation-to-tooltip-1879129 ⇒ lp:tapaal Merged Thomas Pedersen
lp:~yrke/tapaal/AnimatorCleanup ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen
lp:~tapaal-contributor/tapaal/display-shared-places-transitions-1879126 ⇒ lp:tapaal Merged Lena Said
lp:~tapaal-contributor/tapaal/move-open-composed-net-1879128 ⇒ lp:tapaal Merged Thomas Pedersen
lp:~yrke/tapaal/removeNetType ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen
lp:~yrke/tapaal/java11 ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen
lp:~tapaal-contributor/tapaal/only-dirs-batch-export-3.6-1870887 ⇒ lp:tapaal Rejected Peter Haahr Taankvist
lp:~tapaal-contributor/tapaal/undo-up-down-sidepane-3.6-1870894 ⇒ lp:tapaal Rejected Peter Haahr Taankvist
lp:~tapaal-contributor/tapaal/zoom-in-smartdraw-1870896 ⇒ lp:tapaal Merged Peter Haahr Taankvist
lp:~yrke/tapaal/remoteUnusedFunction-updateTooltip ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen
lp:~tapaal-contributor/tapaal/undo-redo-batchprocessing-3.6-1870904 ⇒ lp:tapaal Rejected Peter Haahr Taankvist
lp:~tapaal-contributor/tapaal/undo-redo-update-scrollbar-3.6-1875174 ⇒ lp:tapaal Rejected Peter Haahr Taankvist
lp:~tapaal-contributor/tapaal/undo-up-down-sidepane-1870894 ⇒ lp:tapaal Merged Peter Haahr Taankvist
lp:~tapaal-contributor/tapaal/undo-redo-batchprocessing-1870904 ⇒ lp:tapaal Merged Peter Haahr Taankvist
lp:~tapaal-contributor/tapaal/only-dirs-batch-export-1870887 ⇒ lp:tapaal Merged Peter Haahr Taankvist
lp:~tapaal-contributor/tapaal/undo-redo-update-scrollbar-1875174 ⇒ lp:tapaal Merged Peter Haahr Taankvist
lp:~yrke/tapaal/positionAsInt ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen
lp:~yrke/tapaal/testbranch-syntaxOnlyChanges ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen
lp:~tapaal-contributor/tapaal/fix-shared-places-exception-1871091 ⇒ lp:tapaal Merged Peter Haahr Taankvist
lp:~tapaal-contributor/tapaal/fix-positionalInfo-detection-1870899 ⇒ lp:tapaal Merged Peter Haahr Taankvist
lp:~tapaal-contributor/tapaal/shared-place-transition-rename-1871091 ⇒ lp:tapaal Merged Peter Haahr Taankvist
lp:~yrke/tapaal/testbranch ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen
lp:~tapaal-contributor/tapaal/pnml-disable-buttons-1868535 ⇒ lp:tapaal Merged Peter Haahr Taankvist
lp:~tapaal-contributor/tapaal/open-on-windows-1868525 ⇒ lp:tapaal Merged Peter Haahr Taankvist
lp:~tapaal-contributor/tapaal/select-all-disable-1835873 ⇒ lp:tapaal Merged Peter Haahr Taankvist
lp:~tapaal-contributor/tapaal/seperate-save-paths-1855266 ⇒ lp:tapaal Merged Peter Haahr Taankvist
lp:~yrke/tapaal/updated-launch4j-config ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen
lp:~yrke/tapaal/updatedVersionCheckURL ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen
lp:~tapaal-contributor/tapaal/show-smart-draw-dialog-PNML-1856544 ⇒ lp:tapaal Merged Peter Haahr Taankvist
lp:~yrke/tapaal/tapaal-fix-1855675-notWorkingWithLatestUPPAAL ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen
lp:~tapaal-contributor/tapaal/open-arg-file-1855267 ⇒ lp:tapaal Merged Peter Haahr Taankvist
lp:~tapaal-contributor/tapaal/constants-blink-1853902 ⇒ lp:tapaal Merged Peter Haahr Taankvist
lp:~tapaal-contributor/tapaal/export-import-PNML-1853823 ⇒ lp:tapaal Merged Peter Haahr Taankvist
lp:~tapaal-contributor/tapaal/focus-in-automatic-layout-1853903 ⇒ lp:tapaal Merged Peter Haahr Taankvist
lp:~tapaal-contributor/tapaal/loading-of-large-nets-1848945 ⇒ lp:tapaal Merged Peter Haahr Taankvist
lp:~tapaal-contributor/tapaal/annotation-note-close-1849639 ⇒ lp:tapaal Merged Peter Haahr Taankvist
lp:~yrke/tapaal/tapaal-fixes-1849786-arcJumpsBetweenTransitions ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen
1100 of 438 results