Code : “TAPAAL Contributors” team

“TAPAAL Contributors” team

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