Merge proposals

Branch Merge Proposal Status Requested By
lp:~yrke/tapaal/fix1976494 ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen
lp:~yrke/tapaal/fix1976496 ⇒ lp:tapaal Needs review Kenneth Yrke Jørgensen
lp:~yrke/tapaal/cpn-refactor1 ⇒ 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:~yrke/tapaal/fix1947835 ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen
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:~yrke/tapaal/fix1940401-number-keeps-inc ⇒ lp:~tapaal-contributor/tapaal/cpn-gui-dev Merged Kenneth Yrke Jørgensen
lp:~yrke/verifypn/fixed-required-bison-version ⇒ lp:verifypn Merged Kenneth Yrke Jørgensen
lp:~yrke/verifypn/github-automation ⇒ lp:verifypn Merged Kenneth Yrke Jørgensen
lp:~yrke/tapaal/github-actions ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen
lp:~yrke/verifypn/stubborn-set-refactor-merged-buildwin ⇒ lp:~tapaal-ltl/verifypn/stubborn-set-refactor-merged Merged Kenneth Yrke Jørgensen
lp:~yrke/tapaal/arcpathpoint-issues ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen
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:~yrke/tapaal/fix-1894109-NullPointerOnOpeningInhibArcDialog ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen
lp:~yrke/tapaal/more-testing-and-refactorings ⇒ lp:tapaal Rejected 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:~yrke/tapaal/fix-1890292-undoArcNeedTwoActions ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen
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:~yrke/tapaal/update-versioncheckurl ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen
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:~yrke/tapaal/slimImageIcons-2 ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen
lp:~yrke/tapaal/updateResourceManager-2 ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen
lp:~yrke/tapaal/AnimatorCleanup ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen
lp:~yrke/tapaal/removeNetType ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen
lp:~yrke/tapaal/java11 ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen
lp:~yrke/tapaal/remoteUnusedFunction-updateTooltip ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen
lp:~yrke/tapaal/positionAsInt ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen
lp:~yrke/tapaal/testbranch-syntaxOnlyChanges ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen
lp:~yrke/tapaal/testbranch ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen
lp:~yrke/verifypn/cmake_refactor ⇒ lp:~peter-gjoel/verifypn/cmake_refactor Merged Kenneth Yrke Jørgensen
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:~yrke/tapaal/tapaal-fix-1855675-notWorkingWithLatestUPPAAL ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen
lp:~yrke/tapaal/tapaal-fixes-1849786-arcJumpsBetweenTransitions ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen
lp:~yrke/tapaal/cleanup-drawingsurface-mouseEvents ⇒ lp:tapaal/dev Merged Kenneth Yrke Jørgensen
lp:~yrke/tapaal/removedUnusedcode-arcpathsplit ⇒ lp:tapaal/dev Merged Kenneth Yrke Jørgensen
lp:~yrke/tapaal/tapaal-fix1827039-constantHightlight ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen
lp:~yrke/tapaal/tapaal-fix1827039-constantHightlight ⇒ lp:tapaal Superseded Kenneth Yrke Jørgensen
lp:~yrke/tapaal/tapaal-fix1827039-constantHightlight ⇒ lp:tapaal/dev Merged Kenneth Yrke Jørgensen
lp:~yrke/tapaal/fix-1821164-exceptionInEngineCheck ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen
lp:~yrke/tapaal/fix-1821164-exceptionInEngineCheck ⇒ lp:tapaal/3.5 Merged Kenneth Yrke Jørgensen
lp:~yrke/tapaal/fixes-1821588-orphantransition ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen
lp:~yrke/tapaal/fixes-1821588-orphantransition ⇒ lp:tapaal/3.5 Merged Kenneth Yrke Jørgensen
lp:~yrke/tapaal/tapaal-fixes1821163 ⇒ lp:tapaal/3.5 Merged Kenneth Yrke Jørgensen
lp:~yrke/tapaal/tapaal-fixes1821163 ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen
lp:~yrke/tapaal/update-gradle-version4.11 ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen
lp:~yrke/tapaal/placetransitionobjecthandler-refactor-cleanup ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen
lp:~yrke/tapaal/refactor-arcdraw-combinedublicatedraw ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen
lp:~yrke/tapaal/remove-staticIgnoreSelect ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen
lp:~yrke/tapaal/removeStaticAccesInStatisticPanel ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen
lp:~yrke/tapaal/removedUnusedFieldsFromXML ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen
lp:~yrke/tapaal/placetransitionobjecthandler-refactor ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen
lp:~yrke/tapaal/cleanup-selectionmanager ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen
lp:~yrke/tapaal/DeleteAction-removeselectionmanager-deleteSelection ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen
lp:~yrke/tapaal/tapaal-DatalayerClenup ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen
lp:~yrke/tapaal/tapaal-removeObservableDataLayer ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen
lp:~yrke/tapaal/tapaal-fixes-1 ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen
lp:~yrke/tapaal/tapaal-bug-1782994 ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen
lp:~yrke/tapaal/tapaal-gradlebuild ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen
lp:~yrke/tapaal/guirefactor ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen
lp:~yrke/tapaal/tapaal-mousewheelzoom-bug1778409 ⇒ lp:~yrke/tapaal/guirefactor Merged Kenneth Yrke Jørgensen
lp:~yrke/tapaal/tapaal-fix-1764383-MacHandling ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen
lp:~yrke/tapaal/tapaal-fix1764383-java9macoslookandfeel ⇒ lp:tapaal/3.4 Merged Kenneth Yrke Jørgensen
lp:~yrke/tapaal/tapaal-fix-1756865 ⇒ lp:tapaal/3.4 Merged Kenneth Yrke Jørgensen
lp:~yrke/tapaal/tapaal-fix-1756865 ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen
lp:~yrke/tapaal/fix-940280-stepbackforwardenabled ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen
lp:~yrke/tapaal/fix-940234-clearfiringhistory ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen
lp:~yrke/tapaal/tapaal-newlocateverifytapn ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen
lp:~yrke/tapaal/fix-898122 ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen
lp:~yrke/tapaal/tapaal-fix-888108 ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen
lp:~yrke/tapaal/eclipse-branch-script ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen
lp:~yrke/tapaal/testmerge ⇒ lp:tapaal/2.0 Rejected Kenneth Yrke Jørgensen
lp:~yrke/tapaal/testmerge ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen
lp:~yrke/tapaal/drawcode-cleanup-extreme ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen
lp:~yrke/tapaal/drawcode-cleanup ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen
185 of 85 results