branches with status:
Name Status Last Modified Last Commit
lp:~tapaal-contributor/tapaal/cpn-gui-dev 1 Development 2021-02-25 14:26:26 UTC 2021-02-25
1282. Fix verfication and unfolding for tim...

Author: <email address hidden>
Revision Date: 2021-02-25 14:26:26 UTC

Fix verfication and unfolding for time and queries on transition fireability

lp:~tapaal-contributor/verifypn/unfoldTACPN (Has a merge proposal) 1 Development 2021-02-25 10:03:51 UTC 2021-02-25
235. Add colortype to dot colors and fix w...

Author: <email address hidden>
Revision Date: 2021-02-25 10:03:51 UTC

Add colortype to dot colors and fix writing of arc weights

lp:~tapaal-contributor/tapaal/raw-query-window-scaling-1915882 (Has a merge proposal) 1 Development 2021-02-22 22:56:50 UTC 2021-02-22
1119. Scroll panel resizes with the window

Author: Lena Said
Revision Date: 2021-02-22 22:56:50 UTC

Scroll panel resizes with the window

lp:~tapaal-contributor/tapaal/add-tar-option (Has a merge proposal) 1 Development 2021-02-22 22:26:01 UTC 2021-02-22
1118. Fixed tar only possible with AG and EF

Author: Lena Said
Revision Date: 2021-02-22 22:26:01 UTC

Fixed tar only possible with AG and EF

lp:~tapaal-contributor/verifypn/remove_debug_print-1906837 bug(Has a merge proposal) 1 Development 2020-12-04 14:31:03 UTC 2020-12-04
228. Remove debug string from query identi...

Author: <email address hidden>
Revision Date: 2020-12-04 14:27:05 UTC

Remove debug string from query identifier

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.

111 of 11 results