branches with status:
Name Status Last Modified Last Commit
lp:~verifypn-cpn/verifypn/verifypn-games 1 Development 2021-02-02 23:23:47 UTC
269. skipping when undet found

Author: Peter G. Jensen
Revision Date: 2021-02-02 23:23:47 UTC

skipping when undet found

lp:~verifypn-cpn/verifypn/unfoldTACPN 1 Development 2019-06-16 07:21:34 UTC
227. missing some lpsolve files for compil...

Author: Mark Glavind
Revision Date: 2019-06-16 07:21:34 UTC

missing some lpsolve files for compiling binary

lp:~verifypn-cpn/verifypn/RERS_2018 1 Development 2018-10-04 17:48:09 UTC
215. should parse RERS ctl-semantics, redu...

Author: Peter Gjøl Jensen
Revision Date: 2018-10-04 17:48:09 UTC

should parse RERS ctl-semantics, reductions might be incorrect

13 of 3 results