branches with status:
Name Status Last Modified Last Commit
lp:~tapaal-contributor/tapaal/cpn-gui-dev 1 Development 2020-10-23 12:44:24 UTC 2020-10-23
1224. Can now change variables in guard exp...

Author: <email address hidden>
Revision Date: 2020-10-23 12:44:24 UTC

Can now change variables in guard expressions even though it is the same variable on both sides

lp:~tapaal-contributor/verifypn/show-reduced-net (Has a merge proposal) 1 Development 2020-10-19 19:47:58 UTC 2020-10-19
229. Added Thomas Pedersen to contributers

Author: <email address hidden>
Revision Date: 2020-10-19 19:47:58 UTC

Added Thomas Pedersen to contributers

lp:~tapaal-contributor/tapaal/show-reduced-net-1879130 bug(Has a merge proposal) 1 Development 2020-10-15 15:44:06 UTC 2020-10-15
1070. Add option to open reduced net from t...

Author: <email address hidden>
Revision Date: 2020-10-15 15:44:06 UTC

Add option to open reduced net from the query dialog panel

lp:~tapaal-contributor/tapaal/Gui-freeze-1896457 bug(Has a merge proposal) 1 Development 2020-10-09 07:59:49 UTC 2020-10-09
1104. Queryloader returns messages like Tap...

Author: <email address hidden>
Revision Date: 2020-10-09 07:59:49 UTC

Queryloader returns messages like TapnLoader does

lp:~tapaal-contributor/tapaal/ubuntu-dark-theme-improvements-1897539 bug(Has a merge proposal) 1 Development 2020-10-01 18:45:05 UTC 2020-10-01
1107. Made some improvements to ubuntu dark...

Author: <email address hidden>
Revision Date: 2020-10-01 18:42:54 UTC

Made some improvements to ubuntu dark theme

lp:~tapaal-contributor/tapaal/add-discrete-to-untimed (Has a merge proposal) 1 Development 2020-09-27 13:29:09 UTC 2020-09-27
1107. Added token to the ghost place

Author: <email address hidden>
Revision Date: 2020-09-27 13:29:09 UTC

Added token to the ghost place

lp:~tapaal-contributor/verifypn/unfoldTACPN 1 Development 2020-09-01 07:28:22 UTC 2020-09-01
229. Can now handle group nr when parsing

Author: <email address hidden>
Revision Date: 2020-09-01 07:28:22 UTC

Can now handle group nr when parsing

lp:~tapaal-contributor/tapaal/sidepane-refactor-1886410 bug 1 Development 2020-08-06 13:34:32 UTC 2020-08-06
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 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.

113 of 13 results