Confirmed users, Bureaucrats and Sysops emeriti
1,217
edits
(form/password autofill) |
(robin_bb) |
||
| Line 67: | Line 67: | ||
{{CPTask | {{CPTask | ||
| task=Systematic dynamic verification of C++ code implementing IPDL protocols | | task=Systematic dynamic verification of C++ code implementing IPDL protocols | ||
| name= | | name=robin_bb | ||
| mentor= | | mentor=cjones | ||
| bug= | | bug= | ||
| ETA= | | ETA= | ||