diff options
author | 2011-10-19 18:35:52 -0700 | |
---|---|---|
committer | 2011-10-19 18:35:52 -0700 | |
commit | 253ace40ff7f3382f1f413020069fcaae7a966e0 (patch) | |
tree | d969df8ac8f3bdca2b66a7e8d5fc18eb27d26a65 /Util/VS2010/Dafny/DafnyLanguageService/Grammar.cs | |
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/VS2010/Dafny/DafnyLanguageService/Grammar.cs')
0 files changed, 0 insertions, 0 deletions