branches with status:
Name Status Last Modified Last Commit
lp:~tapaal-contributor/verifypn/remove_debug_print-1906837 bug(Has a merge proposal) 1 Development 2020-12-04 14:31:03 UTC 23 hours ago
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/cpn-manual-editing 1 Development 2020-12-04 14:04:00 UTC 23 hours ago
1249. Guard dialog is now manually editable

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

Guard dialog is now manually editable

lp:~tapaal-contributor/tapaal/cpn-gui-dev 1 Development 2020-12-04 09:22:03 UTC 2020-12-04
1248. Set verification up for colored timed...

Author: <email address hidden>
Revision Date: 2020-12-04 09:22:03 UTC

Set verification up for colored timed petri nets

lp:~tapaal-contributor/tapaal/add-export-options (Has a merge proposal) 1 Development 2020-11-29 22:45:41 UTC 2020-11-29
1119. Clean up

Author: Lena Said
Revision Date: 2020-11-29 22:45:41 UTC

Clean up

lp:~tapaal-contributor/verifypn/unfoldTACPN 1 Development 2020-11-20 14:58:05 UTC 2020-11-20
231. Fix parser check for time

Author: <email address hidden>
Revision Date: 2020-11-20 14:58:05 UTC

Fix parser check for time

lp:~tapaal-contributor/tapaal/show-reduced-net-1879130 bug(Has a merge proposal) 1 Development 2020-11-13 10:08:54 UTC 2020-11-13
1078. Disable query reduction when reduced ...

Author: <email address hidden>
Revision Date: 2020-11-13 10:08:54 UTC

Disable query reduction when reduced net is opened from query dialog

lp:~tapaal-contributor/verifypn/show-reduced-net (Has a merge proposal) 1 Development 2020-11-13 09:59:16 UTC 2020-11-13
230. Remove restriction preventing -s Over...

Author: <email address hidden>
Revision Date: 2020-11-13 09:59:16 UTC

Remove restriction preventing -s OverAprox -q 0

lp:~tapaal-contributor/tapaal/add-tar-option 1 Development 2020-11-03 19:29:59 UTC 2020-11-03
1114. Corrected spelling in the query of th...

Author: Lena Said
Revision Date: 2020-11-03 19:29:59 UTC

Corrected spelling in the query of the cross training example

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.

114 of 14 results