branches with status:
Name Status Last Modified Last Commit
lp:~tapaal-contributor/tapaal/cpn-gui-dev 1 Development 2021-05-14 07:38:43 UTC
1334. Add smart draw to unfolded nets

Author: <email address hidden>
Revision Date: 2021-05-14 07:38:43 UTC

Add smart draw to unfolded nets

lp:~tapaal-contributor/verifypn/update-parser (Has a merge proposal) 1 Development 2021-05-13 13:24:51 UTC
239. Fix inhib arcs and scalar expressions

Author: <email address hidden>
Revision Date: 2021-05-13 13:24:51 UTC

Fix inhib arcs and scalar expressions

lp:~tapaal-contributor/tapaal/LTL-dialog (Has a merge proposal) 1 Development 2021-05-01 10:15:28 UTC
1136. Merged trunk

Author: Lena Said
Revision Date: 2021-05-01 10:15:28 UTC

Merged trunk

lp:~tapaal-contributor/verifypn/unfoldTACPN (Has a merge proposal) 1 Development 2021-04-19 13:50:01 UTC
240. Fix parsing of useroperators

Author: <email address hidden>
Revision Date: 2021-04-19 13:50:01 UTC

Fix parsing of useroperators

lp:~tapaal-contributor/tapaal/hide-show-names-1921393 bug(Has a merge proposal) 1 Development 2021-03-27 20:55:00 UTC
1126. Place/transition names stays hidden w...

Author: Lena Said
Revision Date: 2021-03-27 20:55:00 UTC

Place/transition names stays hidden when changing templates

lp:~tapaal-contributor/verifypn/remove_debug_print-1906837 bug(Has a merge proposal) 1 Development 2020-12-04 14:31:03 UTC
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
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
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
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
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
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
826. Engine output is discarded.

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

Engine output is discarded.

112 of 12 results