diff options
| author |  Rustan Leino <unknown> | 2014-02-13 15:32:48 -0800 |
|---|---|---|
| committer | Rustan Leino <unknown> | 2014-02-13 15:32:48 -0800 |
| commit | be556deb1f82b9e16b7337422d80a2546559648e (patch) | |
| tree | ab73a1eb0f309587d23be3812e34c0acf0ce8e7a /Util/latex/dafny.sty | |
| parent | 32f7e8341013b32c3cdc3548b2d6826a9013f7d1 (diff) | |
Fix soundness bug (Issue #9 on dafny.codeplex.com) in function axiom for literals.
Added axiom to better handle DtAlloc/GenericAlloc correspondence (which improves handling of computations).
Diffstat (limited to 'Util/latex/dafny.sty')
0 files changed, 0 insertions, 0 deletions