Active reviews for lp:verifypn

Reviews requested or in progress
Branch Merge Proposal Requested By Lines Activity
lp:~verifypn-cpn/verifypn/user_reduction_flow ⇒ lp:verifypn Peter Gjøl Jensen on 2018-08-25 238 None
lp:~verifypn-cpn/verifypn/lp-bounds ⇒ lp:verifypn Jiri Srba on 2019-02-07 561 Needs Fixing: 1, Comments: 3
Work in progress
Branch Merge Proposal Requested By Lines Activity
lp:~verifypn-cpn/verifypn/SuccGen-simp ⇒ lp:verifypn Andreas Klostergaard on 2018-06-12 67 Approve: 1, Comments: 7