diff options
| author |  Rustan Leino <leino@microsoft.com> | 2011-10-19 18:35:52 -0700 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2011-10-19 18:35:52 -0700 |
| commit | 253ace40ff7f3382f1f413020069fcaae7a966e0 (patch) | |
| tree | d969df8ac8f3bdca2b66a7e8d5fc18eb27d26a65 /Util/vim | |
| parent | 2cf94d77a65e9e585baee7d43a8424227d3fe773 (diff) | |
Dafny: fixed performance-buggy translation of exists, and also added some other features in SplitExpr (such as induction on existential quantifiers)
Diffstat (limited to 'Util/vim')
0 files changed, 0 insertions, 0 deletions