| Name | Status | Last Modified | Last Commit | |
|---|---|---|---|---|
| lp:verifypn | 1 Development | 2020-12-17 20:36:18 UTC 2020-12-17 |
230.
merged in lp:~tapaal-contributor/veri...
Author:
Jiri Srba
merged in lp:~tapaal-contributor/verifypn/show-reduced-net allows to call the engine with -s Overapprox and -q 0 |
|
| lp:verifypn/u3.1 | 1 Development | 2020-12-17 20:34:32 UTC 2020-12-17 |
230.
merged in lp:~tapaal-contributor/veri...
Author:
Jiri Srba
merged in lp:~tapaal-contributor/verifypn/show-reduced-net allowing to call -s Overapprox with -q 0 |
|
| lp:verifypn/u3.0 | 1 Development | 2019-04-23 20:57:21 UTC 2019-04-23 |
216.
This is the released version 3.0.2 of...
Author:
<email address hidden>
This is the released version 3.0.2 of verifypn. |
|
| lp:verifypn/u2.2 | 1 Development | 2018-05-02 13:34:42 UTC 2018-05-02 |
202.
increased version number to 2.2.1
Author:
Jiri Srba
increased version number to 2.2.1 |
|
| lp:verifypn/u2.1 | 1 Development | 2017-10-05 07:09:00 UTC 2017-10-05 |
187.
Released version of u2.1.0
Author:
Jiri Srba
Released version of u2.1.0 |
|
| lp:verifypn/u1.2 | 2 Mature | 2015-11-27 21:36:53 UTC 2015-11-27 |
60.
released version u1.2.0
Author:
Jiri Srba
released version u1.2.0 |
|
|
lp:~verifypn- |
1 Development | 2015-05-07 08:34:53 UTC 2015-05-07 |
64.
removed competition scripts - moved t...
Author:
Jiri Srba
removed competition scripts - moved to trunk |
|
|
lp:~verifypn- |
1 Development | 2015-05-07 08:33:58 UTC 2015-05-07 |
72.
removed MCC15 scripts (moved to trunk...
Author:
Jiri Srba
removed MCC15 scripts (moved to trunk instead) |
|
| lp:verifypn/u1.1 | 2 Mature | 2014-07-15 06:23:12 UTC 2014-07-15 |
58.
Released version 1.1.1
Author:
Jiri Srba
Released version 1.1.1 |
|
| lp:verifypn/u1.0 | 2 Mature | 2014-03-18 07:11:56 UTC 2014-03-18 |
44.
fixes and int overflow for memory lim...
Author:
Jiri Srba
fixes and int overflow for memory limit and increases version number to 1.0.1 |
|
| 1 → 10 of 10 results | First • Previous • Next • Last |
