|
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
|
