Active reviews for lp:verifypn

Reviews requested or in progress
Branch Merge Proposal Requested By Lines Activity
lp:~boginw/verifypn/fix-branch ⇒ lp:verifypn Bogi on 2020-09-25 563 Disapprove: 1, Comments: 1
lp:~tapaal-contributor/verifypn/remove_debug_print-1906837 ⇒ lp:verifypn Thomas Pedersen on 2020-12-04 12 None
lp:~tapaal-contributor/verifypn/unfoldTACPN ⇒ lp:verifypn Thomas Pedersen on 2020-12-18 2532 None
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