branches with status:
Name Status Last Modified Last Commit
lp:~tapaal-contributor/tapaal/show-reduced-net-1879130 bug 1 Development 2020-07-03 14:53:47 UTC 14 hours ago
1065. Untested version of loading reduced file

Author: Thomas Pedersen
Revision Date: 2020-07-03 14:52:16 UTC

Untested version of loading reduced file

lp:~tapaal-contributor/tapaal/implement-game-ui-1884499 bug 1 Development 2020-07-01 16:12:48 UTC 2020-07-01
1071. Game information is saved to Tikz. Me...

Author: Lena Said
Revision Date: 2020-07-01 16:12:48 UTC

Game information is saved to Tikz. Message warning when exporting to PNML is also added.

lp:~tapaal-contributor/tapaal/stackoverflow-large-net-1853689 bug 1 Development 2019-12-07 12:38:25 UTC 2019-12-07
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 2018-08-08
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 2017-07-25
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 2015-09-16
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 2013-11-15
826. Engine output is discarded.

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

Engine output is discarded.

17 of 7 results