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 /_admin/Boogie | |
parent | 9f8553916fb7a7ed49ea77fe174741e4ddb1edad (diff) |
Dafny: added inlined functions making reads and updates of the heap explicit
Diffstat (limited to '_admin/Boogie')
0 files changed, 0 insertions, 0 deletions