branches with status:
Name Status Last Modified Last Commit
lp:~verifypn-cpn/verifypn/eq-push-fix bug(Has a merge proposal) 1 Development 2019-07-12 13:21:49 UTC 2019-07-12
240. updated ptries

Author: Peter Gjøl Jensen
Revision Date: 2019-07-12 13:21:49 UTC

updated ptries

lp:~verifypn-cpn/verifypn/unfoldTACPN 1 Development 2019-06-16 07:21:34 UTC 2019-06-16
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/tacpn 1 Development 2019-06-06 23:03:59 UTC 2019-06-06
224. merge from dynamicExport

Author: Mark Glavind
Revision Date: 2019-06-06 23:03:59 UTC

merge from dynamicExport

lp:~verifypn-cpn/verifypn/dynamicExport 1 Development 2019-06-06 23:01:37 UTC 2019-06-06
232. small change to parser

Author: Mark Glavind
Revision Date: 2019-06-06 23:01:37 UTC

small change to parser

lp:~verifypn-cpn/verifypn/unitTest 1 Development 2019-05-16 08:43:53 UTC 2019-05-16
223. Merge from dynamic export

Author: Mark Glavind
Revision Date: 2019-05-16 08:41:37 UTC

 Merge from dynamic export

lp:~verifypn-cpn/verifypn/queryUnfold 1 Development 2019-05-06 08:39:54 UTC 2019-05-06
245. WIP on making export dynmaic to match...

Author: Mark Glavind
Revision Date: 2019-05-06 08:39:54 UTC

WIP on making export dynmaic to match the required format of verifydtapn

lp:~verifypn-cpn/verifypn/exportTAPN 1 Development 2019-04-29 11:27:48 UTC 2019-04-29
233. WIP unfold queries

Author: Niels Christensen
Revision Date: 2019-04-29 11:27:48 UTC

WIP unfold queries

lp:~verifypn-cpn/verifypn/verifypn-games 1 Development 2019-04-17 13:55:51 UTC 2019-04-17
243. better, but more expensive checks on ...

Author: Peter Gjøl Jensen
Revision Date: 2019-04-17 13:55:51 UTC

better, but more expensive checks on already added pre/post

lp:~verifypn-cpn/verifypn/TACPNParser 1 Development 2019-04-03 12:34:15 UTC 2019-04-03
231. we can now parse all arcs in TACPN

Author: Mark Glavind
Revision Date: 2019-04-03 12:34:15 UTC

we can now parse all arcs in TACPN

lp:~verifypn-cpn/verifypn/TACPNModel 1 Development 2019-03-29 13:49:15 UTC 2019-03-29
231. Made arcs with intervals

Author: Niels Christensen
Revision Date: 2019-03-29 13:49:15 UTC

Made arcs with intervals

lp:~verifypn-cpn/verifypn/makeTesting 1 Development 2019-03-21 09:17:17 UTC 2019-03-21
217. Done removing redundant files for the...

Author: Mark Glavind
Revision Date: 2019-03-21 09:15:59 UTC

Done removing redundant files for the first iteration

lp:~verifypn-cpn/verifypn/MCC19 1 Development 2019-03-08 09:38:10 UTC 2019-03-08
238. memory management

Author: Peter Gjøl Jensen
Revision Date: 2019-03-08 09:38:10 UTC

memory management

lp:~verifypn-cpn/verifypn/improved-reduction-rulej 1 Development 2019-02-12 09:14:47 UTC 2019-02-12
233. enabled ruleJ

Author: Peter Gjøl Jensen
Revision Date: 2019-02-12 09:14:47 UTC

enabled ruleJ

lp:~verifypn-cpn/verifypn/lp-bounds (Has a merge proposal) 1 Development 2019-02-11 21:18:10 UTC 2019-02-11
231. fix for issue with reload of upperbounds

Author: Peter Gjøl Jensen
Revision Date: 2019-02-11 21:18:10 UTC

fix for issue with reload of upperbounds

lp:~verifypn-cpn/verifypn/RERS_2018 1 Development 2018-10-04 17:48:09 UTC 2018-10-04
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

lp:~verifypn-cpn/verifypn/user_reduction_flow (Has a merge proposal) 1 Development 2018-07-24 10:25:02 UTC 2018-07-24
213. fixed ruleI

Author: Peter Gjøl Jensen
Revision Date: 2018-07-24 10:25:02 UTC

fixed ruleI

lp:~verifypn-cpn/verifypn/improved-rule-bh 1 Development 2018-06-28 09:48:31 UTC 2018-06-28
227. fixed issue in ruleH

Author: Peter Gjøl Jensen
Revision Date: 2018-06-28 09:48:31 UTC

fixed issue in ruleH

lp:~verifypn-cpn/verifypn/cpn 1 Development 2018-03-26 23:38:32 UTC 2018-03-26
238. Working on cpn overapproximation

Author: Andreas Klostergaard
Revision Date: 2018-03-26 23:38:46 UTC

Working on cpn overapproximation

lp:~verifypn-cpn/verifypn/colored 1 Development 2018-02-20 11:45:47 UTC 2018-02-20
201. Further added expressions and begun i...

Author: Andreas Klostergaard
Revision Date: 2018-02-20 11:45:47 UTC

Further added expressions and begun implementing Multiset

119 of 19 results