| Name | Status | Last Modified | Last Commit | |
|---|---|---|---|---|
| lp:verifypn | 1 Development | 2021-06-06 19:34:37 UTC |
240.
merged in lp:~tapaal-ltl/verifypn/ans...
Author:
<email address hidden>
merged in lp:~tapaal-ltl/verifypn/answer-for-gui printing the verification answer in text for the GUI |
|
| lp:verifypn/u4.0 | 1 Development | 2021-04-06 14:14:55 UTC |
232.
This version 4.0.0 was released with ...
Author:
Jiri Srba
This version 4.0.0 was released with TAPAAL 3.8.0 |
|
| lp:verifypn/u3.1 | 1 Development | 2020-12-17 20:34:32 UTC |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 → 11 of 11 results | First • Previous • Next • Last |
