diff options
| author | antrik <antrik@users.sf.net> | 2011-03-25 00:07:28 +0100 |
|---|---|---|
| committer | antrik <antrik@users.sf.net> | 2011-03-25 23:32:18 +0100 |
| commit | 8ee6975b7c1c0557d21ca966c24ea09806104498 (patch) | |
| tree | c70c3fe4e62a41e1883aa5b81da20e07bfdc33c2 /open_issues/formal_verification.mdwn | |
| parent | 0729272db4fe4563fee46488236d75e9c4700eee (diff) | |
gsoc/ideas/driver_glue_code: Update and add back
As zhengda seems MIA, this task is up for takers again.
Update the text to reflect the fact that zhengda already did a lot of
the DDE work. (Actually, the text is almost entirely rewritten...)
Probably this should be split into several distinct tasks for the
various aspects that need work.
Diffstat (limited to 'open_issues/formal_verification.mdwn')
0 files changed, 0 insertions, 0 deletions