diff options
| author |  Rustan Leino <unknown> | 2013-03-25 18:25:56 -0700 |
|---|---|---|
| committer | Rustan Leino <unknown> | 2013-03-25 18:25:56 -0700 |
| commit | 4e26130fa799f2892fe7fdbd133c9512976a0b57 (patch) | |
| tree | cac35d3c043c22cf55b352e590a10efccc534504 /Source/DafnyDriver | |
| parent | 0c77817fae2b4743820c47634dfbe8fd9036a533 (diff) | |
Beefed up assign/let-such-that to generate possible witnesses for set/multiset/sequence/map display expressions
Run SmallTests.dfy and LetExpr.dfy only once in the test suite
Fixed some translation bugs (and a pretty-printing bug) for map display expressions
Diffstat (limited to 'Source/DafnyDriver')
0 files changed, 0 insertions, 0 deletions