diff options
| author |  sboehme <unknown> | 2010-08-27 19:11:15 +0000 |
|---|---|---|
| committer | sboehme <unknown> | 2010-08-27 19:11:15 +0000 |
| commit | dce6bf46952b5dd470ae841cae03706dbc30bc3b (patch) | |
| tree | a40bef391d8805048eff130ebb524aca4d8613d1 /Source/Basetypes | |
| parent | 9f8553916fb7a7ed49ea77fe174741e4ddb1edad (diff) | |
Dafny: added inlined functions making reads and updates of the heap explicit
Diffstat (limited to 'Source/Basetypes')
0 files changed, 0 insertions, 0 deletions