branches with status:
Name Status Last Modified Last Commit
lp:~tapaal-contributor/tapaal/fix-tikz-export-1945642 bug(Has a merge proposal) 1 Development 2021-10-17 19:34:54 UTC
1158. Changed unit from px to pt

Author: <email address hidden>
Revision Date: 2021-10-17 19:34:54 UTC

Changed unit from px to pt

lp:~tapaal-contributor/tapaal/cpn-gui-dev bug(Has a merge proposal) 1 Development 2021-10-13 14:04:20 UTC
1454. Synced with trunk

Author: Kenneth Yrke Jørgensen
Revision Date: 2021-10-13 14:04:20 UTC

Synced with trunk

lp:~tapaal-contributor/tapaal/remove-ghost-place 1 Development 2021-08-18 11:34:28 UTC
1139. Fixed logic

Author: Lena Ernstsen
Revision Date: 2021-08-18 11:34:28 UTC

Fixed logic

lp:~tapaal-contributor/tapaal/example-net-menus 1 Development 2021-08-18 09:23:52 UTC
1145. Clean up

Author: Lena Ernstsen
Revision Date: 2021-08-18 09:23:52 UTC

Clean up

lp:~tapaal-contributor/tapaal/sidepane-refactor-1886410 bug 1 Development 2020-08-06 13:34:32 UTC
1072. Add files

Author: <email address hidden>
Revision Date: 2020-08-06 13:34:32 UTC

Add files

lp:~tapaal-contributor/tapaal/stackoverflow-large-net-1853689 bug 1 Development 2019-12-07 12:38:25 UTC
1035. Changed debug message

Author: <email address hidden>
Revision Date: 2019-12-07 12:38:25 UTC

Changed debug message

lp:~tapaal-contributor/tapaal/copy-paste-dev-branch 1 Development 2018-08-08 13:06:26 UTC
966. Copy/paste places

Author: <email address hidden>
Revision Date: 2018-08-08 13:05:31 UTC

Copy/paste places

lp:~tapaal-contributor/tapaal/ctl-game 1 Development 2017-07-25 10:08:30 UTC
1041. Save verification command to be able ...

Author: Mads Johannsen
Revision Date: 2017-07-25 10:08:30 UTC

Save verification command to be able to re-execute it in game mode

lp:~tapaal-contributor/tapaal/TAG 1 Development 2015-09-16 16:39:49 UTC
921. removed dead options

Author: Peter Gjøl Jensen
Revision Date: 2015-09-16 16:39:49 UTC

removed dead options

lp:~tapaal-contributor/tapaal/BDDtestBranch 0 Experimental 2013-11-15 19:16:56 UTC
826. Engine output is discarded.

Author: Mathias Grund Sørensen
Revision Date: 2013-11-15 19:15:50 UTC

Engine output is discarded.

110 of 10 results