Active reviews

Reviews you are waiting on
Branch Merge Proposal Requested By Lines Activity
lp:~tapaal-contributor/tapaal/show-reduced-net-1879130 ⇒ lp:tapaal Thomas Pedersen on 2020-09-18 1447 Approve: 1, Needs Fixing: 1, Resubmit: 1, Comments: 12
lp:~tapaal-contributor/verifypn/show-reduced-net ⇒ lp:verifypn Thomas Pedersen on 2020-11-13 17 None
lp:~tapaal-contributor/tapaal/add-export-options ⇒ lp:tapaal Lena Said on 2020-12-03 530 None
lp:~tapaal-contributor/verifypn/remove_debug_print-1906837 ⇒ lp:verifypn Thomas Pedersen 22 hours ago 12 None