Code : “TAPAAL Contributors” team

“TAPAAL Contributors” team

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