Merge proposals

Branch Merge Proposal Status Requested By
lp:~tapaal-contributor/tapaal/raw-query-output ⇒ lp:tapaal Merged Lena Said on 2020-12-16
lp:~tapaal-contributor/tapaal/add-export-options ⇒ lp:tapaal Merged Lena Said on 2020-12-03
lp:~tapaal-contributor/tapaal/fix-is-enabled-transition-query ⇒ lp:tapaal Merged Lena Said on 2020-11-06
lp:~tapaal-contributor/tapaal/ubuntu-dark-theme-improvements-1897539 ⇒ lp:tapaal Merged Peter Haahr Taankvist on 2020-10-09
lp:~yrke/tapaal/arcpathpoint-issues ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen on 2020-10-09
lp:~tapaal-contributor/tapaal/Gui-freeze-1896457 ⇒ lp:tapaal Merged Peter Haahr Taankvist on 2020-09-22
lp:~tapaal-contributor/tapaal/verifytapn-not-offered-1896454 ⇒ lp:tapaal Merged Peter Haahr Taankvist on 2020-09-22
lp:~tapaal-contributor/tapaal/Typos-1896460 ⇒ lp:tapaal Merged Peter Haahr Taankvist on 2020-09-22
lp:~tapaal-contributor/tapaal/intervals-on-outgoing-arcs-1896451 ⇒ lp:tapaal Merged Peter Haahr Taankvist on 2020-09-22
lp:~tapaal-contributor/tapaal/disable-workflow-analysis-1896319 ⇒ lp:tapaal Merged Lena Said on 2020-09-21
lp:~tapaal-contributor/tapaal/show-reduced-net-1879130 ⇒ lp:tapaal Merged Thomas Pedersen on 2020-09-18
lp:~yrke/tapaal/fix1879032-workflowanalysis ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen on 2020-09-15
lp:~yrke/tapaal/fix1894107-mouseWheelOnPTO ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen on 2020-09-15
lp:~tapaal-contributor/tapaal/add-discrete-to-untimed ⇒ lp:tapaal Merged Lena Said on 2020-09-14
lp:~tapaal-contributor/tapaal/unselect-objects-after-undo-1894108 ⇒ lp:tapaal Merged Lena Said on 2020-09-11
lp:~tapaal-contributor/tapaal/fix-1894106-LabelsWithConstantsAreNotShown ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen on 2020-09-10
lp:~yrke/tapaal/fix-1894109-NullPointerOnOpeningInhibArcDialog ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen on 2020-09-10
lp:~tapaal-contributor/tapaal/fix-trunk-halt-1893777 ⇒ lp:tapaal Merged Jiri Srba on 2020-09-03
lp:~tapaal-contributor/tapaal/enable-AF-game ⇒ lp:tapaal Merged Lena Said on 2020-09-01
lp:~tapaal-contributor/tapaal/refactor-remove-queries ⇒ lp:tapaal Merged Lena Said on 2020-09-01
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 on 2020-08-26
lp:~yrke/tapaal/memoryMonitor-nullpointer ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen on 2020-08-24
lp:~yrke/tapaal/fix1891635-fixStepAnimationHistory ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen on 2020-08-24
lp:~yrke/tapaal/fix1891456-clickingTransportArcs ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen on 2020-08-24
lp:~tapaal-contributor/tapaal/game-shortcuts ⇒ lp:tapaal Merged Lena Said on 2020-08-20
lp:~tapaal-contributor/tapaal/remove-nongame-queries ⇒ lp:tapaal Merged Lena Said on 2020-08-18
lp:~tapaal-contributor/tapaal/autodetect-lens-check ⇒ lp:tapaal Rejected Lena Said on 2020-08-18
lp:~tapaal-contributor/tapaal/merge-query-dialogs ⇒ lp:tapaal Merged Lena Said on 2020-08-14
lp:~tapaal-contributor/tapaal/add-java-info-1890600 ⇒ lp:tapaal Merged Lena Said on 2020-08-13
lp:~tapaal-contributor/tapaal/game-example-net ⇒ lp:tapaal Merged Lena Said on 2020-08-12
lp:~tapaal-contributor/tapaal/untimed-timed-gui ⇒ lp:tapaal Merged Peter Haahr Taankvist on 2020-08-13
lp:~tapaal-contributor/tapaal/change-net-features ⇒ lp:tapaal Merged Lena Said on 2020-08-10
lp:~tapaal-contributor/tapaal/game-example-net ⇒ lp:tapaal Merged Lena Said on 2020-08-10
lp:~yrke/tapaal/fix-1890292-undoArcNeedTwoActions ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen on 2020-08-06
lp:~tapaal-contributor/tapaal/transport-arcs-and-timed-nets ⇒ lp:tapaal Merged Lena Said on 2020-08-06
lp:~tapaal-contributor/tapaal/implement-game-ui-1884499 ⇒ lp:tapaal Merged Lena Said on 2020-08-04
lp:~tapaal-contributor/tapaal/fix-1890247 ⇒ lp:tapaal Merged Peter Haahr Taankvist on 2020-08-04
lp:~tapaal-contributor/tapaal/engine-option-matrix-dev ⇒ lp:tapaal Merged Peter Haahr Taankvist on 2020-08-03
lp:~yrke/tapaal/evenMore-gui-cleanup ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen on 2020-08-04
lp:~yrke/tapaal/removeSpecialBatchLoading ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen on 2020-07-16
lp:~yrke/tapaal/fix-1887524-prepostSetSize ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen on 2020-07-16
lp:~yrke/tapaal/fix-1887770-and-1887771-ContextMenuForArcs ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen on 2020-07-16
lp:~yrke/tapaal/fix-1887512-SharedPlaceWithToken ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen on 2020-07-14
lp:~tapaal-contributor/tapaal/load-and-save-time-and-game-net-properties ⇒ lp:tapaal Merged Lena Said on 2020-07-13
lp:~yrke/tapaal/update-versioncheckurl ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen on 2020-07-10
lp:~tapaal-contributor/tapaal/statistics-position-resets-1884365 ⇒ lp:tapaal Merged Lena Said on 2020-07-08
lp:~yrke/tapaal/cleanup-PNO-namingAndInterface ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen on 2020-07-03
lp:~yrke/tapaal/fix1883971-save-arcpath-point-coords-error ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen on 2020-06-18
lp:~tapaal-contributor/tapaal/Net-statistics-should-display-orphan-places-1879127 ⇒ lp:tapaal Merged Lena Said on 2020-06-03
lp:~yrke/tapaal/slimImageIcons-2 ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen on 2020-06-08
lp:~yrke/tapaal/updateResourceManager-2 ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen on 2020-05-27
lp:~tapaal-contributor/tapaal/verification-result-explanation-to-tooltip-1879129 ⇒ lp:tapaal Merged Thomas Pedersen on 2020-05-25
lp:~yrke/tapaal/AnimatorCleanup ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen on 2020-05-25
lp:~tapaal-contributor/tapaal/display-shared-places-transitions-1879126 ⇒ lp:tapaal Merged Lena Said on 2020-05-19
lp:~tapaal-contributor/tapaal/move-open-composed-net-1879128 ⇒ lp:tapaal Merged Thomas Pedersen on 2020-05-18
lp:~yrke/tapaal/removeNetType ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen on 2020-05-18
lp:~yrke/tapaal/java11 ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen on 2020-05-18
lp:~tapaal-contributor/tapaal/undo-up-down-sidepane-3.6-1870894 ⇒ lp:tapaal/3.6 Merged Jiri Srba on 2020-05-16
lp:~tapaal-contributor/tapaal/only-dirs-batch-export-3.6-1870887 ⇒ lp:tapaal/3.6 Merged Jiri Srba on 2020-05-16
lp:~tapaal-contributor/tapaal/only-dirs-batch-export-3.6-1870887 ⇒ lp:tapaal Rejected Peter Haahr Taankvist on 2020-05-13
lp:~tapaal-contributor/tapaal/undo-up-down-sidepane-3.6-1870894 ⇒ lp:tapaal Rejected Peter Haahr Taankvist on 2020-05-13
lp:~tapaal-contributor/tapaal/undo-redo-batchprocessing-3.6-1870904 ⇒ lp:tapaal/3.6 Merged Jiri Srba on 2020-05-10
lp:~tapaal-contributor/tapaal/undo-redo-update-scrollbar-3.6-1875174 ⇒ lp:tapaal/3.6 Merged Jiri Srba on 2020-05-10
lp:~tapaal-contributor/tapaal/zoom-in-smartdraw-1870896 ⇒ lp:tapaal Merged Peter Haahr Taankvist on 2020-05-09
lp:~yrke/tapaal/remoteUnusedFunction-updateTooltip ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen on 2020-05-06
lp:~tapaal-contributor/tapaal/undo-redo-batchprocessing-3.6-1870904 ⇒ lp:tapaal Rejected Peter Haahr Taankvist on 2020-05-05
lp:~tapaal-contributor/tapaal/undo-redo-update-scrollbar-3.6-1875174 ⇒ lp:tapaal Rejected Peter Haahr Taankvist on 2020-05-05
lp:~tapaal-contributor/tapaal/undo-up-down-sidepane-1870894 ⇒ lp:tapaal Merged Peter Haahr Taankvist on 2020-05-03
lp:~tapaal-contributor/tapaal/undo-redo-batchprocessing-1870904 ⇒ lp:tapaal Merged Peter Haahr Taankvist on 2020-05-03
lp:~tapaal-contributor/tapaal/only-dirs-batch-export-1870887 ⇒ lp:tapaal Merged Peter Haahr Taankvist on 2020-05-02
lp:~tapaal-contributor/tapaal/undo-redo-update-scrollbar-1875174 ⇒ lp:tapaal Merged Peter Haahr Taankvist on 2020-05-02
lp:~yrke/tapaal/positionAsInt ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen on 2020-05-06
lp:~yrke/tapaal/testbranch-syntaxOnlyChanges ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen on 2020-04-28
lp:~tapaal-contributor/tapaal/fix-shared-places-exception-1871091 ⇒ lp:tapaal Merged Peter Haahr Taankvist on 2020-04-12
lp:~tapaal-contributor/tapaal/fix-positionalInfo-detection-1870899 ⇒ lp:tapaal Merged Peter Haahr Taankvist on 2020-04-12
lp:~tapaal-contributor/tapaal/shared-place-transition-rename-1871091 ⇒ lp:tapaal Merged Peter Haahr Taankvist on 2020-04-10
lp:~yrke/tapaal/testbranch ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen on 2020-04-01
lp:~tapaal-contributor/tapaal/pnml-disable-buttons-1868535 ⇒ lp:tapaal Merged Peter Haahr Taankvist on 2020-03-23
lp:~tapaal-contributor/tapaal/open-on-windows-1868525 ⇒ lp:tapaal Merged Peter Haahr Taankvist on 2020-03-23
lp:~tapaal-contributor/tapaal/select-all-disable-1835873 ⇒ lp:tapaal Merged Peter Haahr Taankvist on 2020-02-23
lp:~tapaal-contributor/tapaal/seperate-save-paths-1855266 ⇒ lp:tapaal Merged Peter Haahr Taankvist on 2020-01-27
lp:~yrke/tapaal/updated-launch4j-config ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen on 2020-01-20
lp:~yrke/tapaal/updatedVersionCheckURL ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen on 2020-01-09
lp:~tapaal-contributor/tapaal/show-smart-draw-dialog-PNML-1856544 ⇒ lp:tapaal Merged Peter Haahr Taankvist on 2019-12-20
lp:~yrke/tapaal/tapaal-fix-1855675-notWorkingWithLatestUPPAAL ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen on 2019-12-11
lp:~tapaal-contributor/tapaal/open-arg-file-1855267 ⇒ lp:tapaal Merged Peter Haahr Taankvist on 2019-12-06
lp:~tapaal-contributor/tapaal/constants-blink-1853902 ⇒ lp:tapaal Merged Peter Haahr Taankvist on 2020-02-03
lp:~tapaal-contributor/tapaal/export-import-PNML-1853823 ⇒ lp:tapaal Merged Peter Haahr Taankvist on 2019-11-29
lp:~tapaal-contributor/tapaal/focus-in-automatic-layout-1853903 ⇒ lp:tapaal Merged Peter Haahr Taankvist on 2019-11-29
lp:~tapaal-contributor/tapaal/loading-of-large-nets-1848945 ⇒ lp:tapaal Merged Peter Haahr Taankvist on 2019-11-16
lp:~tapaal-contributor/tapaal/annotation-note-close-1849639 ⇒ lp:tapaal Merged Peter Haahr Taankvist on 2019-11-14
lp:~yrke/tapaal/tapaal-fixes-1849786-arcJumpsBetweenTransitions ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen on 2019-11-14
lp:~tapaal-contributor/tapaal/rollercoaster-example-loading-fail-1850713 ⇒ lp:tapaal Merged Peter Haahr Taankvist on 2019-11-04
lp:~tapaal-contributor/tapaal/simple-workspace-issues-1849780 ⇒ lp:tapaal Merged Peter Haahr Taankvist on 2019-10-28
lp:~tapaal-contributor/tapaal/label-shifting-when-zooming-1849782 ⇒ lp:tapaal Merged Peter Haahr Taankvist on 2019-10-28
lp:~tapaal-contributor/tapaal/cursor-animation-mode-1849783 ⇒ lp:tapaal Merged Peter Haahr Taankvist on 2019-10-28
lp:~tapaal-contributor/tapaal/undo-redo-not-available-when-drawing-arc-1848949 ⇒ lp:tapaal Merged Peter Haahr Taankvist on 2019-10-24
lp:~tapaal-contributor/tapaal/undo-shared-place-transition-1848948 ⇒ lp:tapaal Merged Peter Haahr Taankvist on 2019-10-24
lp:~tapaal-contributor/tapaal/notes-hides-namelabels-1848947 ⇒ lp:tapaal Merged Peter Haahr Taankvist on 2019-10-23
1100 of 466 results