branches with status:
Name Status Last Modified Last Commit
lp:~marmux/tapaal/tapaal-timed-games 1 Development 2020-06-10 02:59:17 UTC 2020-06-10
1059. adding hack for _unc_ transitions

Author: muniz
Revision Date: 2020-06-10 02:59:17 UTC

adding hack for _unc_ transitions

lp:~marmux/tapaal/tapaal-export-por 1 Development 2020-06-10 02:53:53 UTC 2020-06-10
1014. adding hack for _unc_ transitions

Author: muniz
Revision Date: 2020-06-10 02:53:53 UTC

adding hack for _unc_ transitions

lp:~marmux/verifydtapn/verifydtapn-reach-act 0 Experimental 2019-03-27 15:16:40 UTC 2019-03-27
349. inverting option -ra, disabling now

Author: muniz
Revision Date: 2019-03-26 12:27:27 UTC

inverting option -ra, disabling now

13 of 3 results