bzr branch lp:verifypn
verifypn has 4 active reviews. See all merge proposals.
verifypn has 18 active branches owned by 1 person and 6 teams. There were 0 commits in the last month.
Bazaar branches
Name | Status | Last Modified | Last Commit | |
---|---|---|---|---|
lp:verifypn
Series: trunk |
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
Series: 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
Series: 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
Series: 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
Series: 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
Series: 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
Series: 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
Series: 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/u2.0
Series: u2.0 |
1 Development | 2016-09-18 15:29:25 UTC |
98.
released version 2.0.0
Author:
Jiri Srba
released version 2.0.0 |
|
lp:verifypn/u1.2
Series: 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
Series: 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
Series: 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 |
|
lp:~tapaal- |
0 Experimental | 2021-11-14 16:44:35 UTC |
259.
Constructing progressing formula via ...
Author:
Nikolaj Jensen Ulrik
Constructing progressing formula via BDDs |
|
lp:~tapaal- |
0 Experimental | 2021-10-12 12:46:35 UTC |
252.
Branch containing experimental heuris...
Author:
Nikolaj Jensen Ulrik
Branch containing experimental heuristics in the LTL engine, |
|
lp:~tapaal- |
1 Development | 2021-09-28 11:04:10 UTC |
253.
Trying to commit to bzr
Author:
Jesper Adriaan Van Diepen
Trying to commit to bzr |
|
lp:~verifypn- |
1 Development | 2021-02-02 23:23:47 UTC |
269.
skipping when undet found
Author:
Peter G. Jensen
skipping when undet found |
|
lp:~verifypn- |
1 Development | 2020-10-29 08:32:33 UTC |
228.
Added changes from Peter
Author:
Bogi
Added changes from Peter |
|
lp:~tapaal- |
1 Development | 2016-10-21 14:55:21 UTC |
330.
Results from paper added
Author:
<email address hidden>
Results from paper added |
1 → 18 of 18 results | First • Previous • Next • Last |