Name | Status | Last Modified | Last Commit | |
---|---|---|---|---|
lp:verifypn | 1 Development | 2021-10-29 12:13:53 UTC |
255.
merged in lp:~verifypn-cpn/verifypn/r...
Author:
Jiri Srba
merged in lp:~verifypn-cpn/verifypn/relevant-inhib-fix fixing a problem with inhibitor arcs in reduction rule |
|
lp:verifypn/u4.2 | 1 Development | 2021-10-18 20:46:19 UTC |
252.
merged in lp:~tapaal-ltl/verifypn/rea...
Author:
<email address hidden>
merged in lp:~tapaal-ltl/verifypn/reach-stub-new addig POR for LTL, improves NDFS performance and fixes trace generation |
|
lp:verifypn/u4.1 | 1 Development | 2021-10-04 09:04:05 UTC |
252.
This is the version released with TAP...
Author:
<email address hidden>
This is the version released with TAPAAL 3.8.1 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/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 |