diff options
| author |  Unknown <afd@afd-THINK.doc.ic.ac.uk> | 2011-11-21 08:55:35 +0000 |
|---|---|---|
| committer | Unknown <afd@afd-THINK.doc.ic.ac.uk> | 2011-11-21 08:55:35 +0000 |
| commit | 90dc2aab924b0404d8ff37e8d0184cf5af5e0b36 (patch) | |
| tree | 1be186cd4fcf23dc344a400cba4209b29be655ac /.hgtags | |
| parent | abff937f2144b0ea68cc8936bb411d113bd1b687 (diff) | |
Generating useful, and guarateed by construction, postconditions and loop invariants for kenrel procedures.
Diffstat (limited to '.hgtags')
0 files changed, 0 insertions, 0 deletions