“verifydtapn-contributers” team

branches with status:
Name Status Last Modified Last Commit
lp:verifydtapn bug 1 Development 2020-10-31 19:01:28 UTC
341. increased version number to 3.4.1

Author: Jiri Srba
Revision Date: 2020-10-31 19:01:28 UTC

increased version number to 3.4.1
lp:verifydtapn/d3.4 1 Development 2020-10-31 19:00:00 UTC
341. increased version number to 3.4.1

Author: Jiri Srba
Revision Date: 2020-10-31 19:00:00 UTC

increased version number to 3.4.1
lp:verifydtapn/d3.3 1 Development 2018-01-24 15:04:58 UTC
339. Released version 3.3.0

Author: Jiri Srba
Revision Date: 2018-01-24 15:04:58 UTC

Released version 3.3.0
lp:~verifydtapn-contributers/verifydtapn/safety-games-boostrap 1 Development 2016-09-10 15:09:29 UTC
367. Bootstrapping

Author: Peter Gjøl Jensen
Revision Date: 2016-01-05 21:38:13 UTC

Bootstrapping
lp:verifydtapn/d3.1 2 Mature 2015-08-20 07:20:54 UTC
319. merged branch fixing "delay forever" ...

Author: Jiri Srba
Revision Date: 2015-08-20 07:20:54 UTC

merged branch fixing "delay forever" when using timedarts bug
lp:verifydtapn/d2.1 2 Mature 2014-01-25 21:18:40 UTC
290. merged in branch fixing a trace gener...

Author: Jiri Srba
Revision Date: 2014-01-25 21:18:40 UTC

merged in branch fixing a trace generation issues for EG queries and increased
verison number to d2.1.1
lp:~verifydtapn-contributers/verifydtapn/BDDPassedAndWaitingList 0 Experimental 2013-11-13 10:56:59 UTC
295. added gbc

Author: Peter Gjøl Jensen
Revision Date: 2013-11-13 10:56:59 UTC

added gbc
lp:~verifydtapn-contributers/verifydtapn/BDDPassedList 0 Experimental 2013-09-13 15:43:33 UTC
291. seemingly working implementation of t...

Author: Peter Gjøl Jensen
Revision Date: 2013-09-13 15:42:51 UTC

seemingly working implementation of the BDD
lp:verifydtapn/d2.0 2 Mature 2013-04-30 20:10:21 UTC
281. This is the 2.0 version released with...

Author: Jiri Srba
Revision Date: 2013-04-30 20:10:21 UTC

This is the 2.0 version released with TAPAAL 2.3.0
1 → 9 of 9 results First • Previous • Next • Last