Name | Status | Last Modified | Last Commit | |
---|---|---|---|---|
lp:verifydtapn |
|
1 Development | 2020-10-31 19:01:28 UTC |
341.
increased version number to 3.4.1
Author:
Jiri Srba
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
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
Released version 3.3.0 |
|
lp:~verifydtapn |
1 Development | 2016-09-10 15:09:29 UTC |
367.
Bootstrapping
Author:
Peter Gjøl Jensen
Bootstrapping |
|
lp:verifydtapn/d3.1 | 2 Mature | 2015-08-20 07:20:54 UTC |
319.
merged branch fixing "delay forever" ...
Author:
Jiri Srba
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
merged in branch fixing a trace generation issues for EG queries and increased |
|
lp:~verifydtapn |
0 Experimental | 2013-11-13 10:56:59 UTC |
295.
added gbc
Author:
Peter Gjøl Jensen
added gbc |
|
lp:~verifydtapn |
0 Experimental | 2013-09-13 15:43:33 UTC |
291.
seemingly working implementation of t...
Author:
Peter Gjøl Jensen
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
This is the 2.0 version released with TAPAAL 2.3.0 |
1 → 9 of 9 results | First • Previous • Next • Last |