Active reviews for lp:verifypn
| Reviews requested or in progress | |||
| Branch Merge Proposal | Requested By | Lines | Activity |
|---|---|---|---|
| lp:~tapaal-contributor/verifypn/remove_debug_print-1906837 ⇒ lp:verifypn | Thomas Pedersen | 12 | None |
| lp:~tapaal-contributor/verifypn/unfoldTACPN ⇒ lp:verifypn | Thomas Pedersen | 3617 | None |
| Work in progress | |||
| Branch Merge Proposal | Requested By | Lines | Activity |
| lp:~verifypn-cpn/verifypn/SuccGen-simp ⇒ lp:verifypn | Andreas Klostergaard | 67 | Approve: 1, Comments: 7 |
