diff options
| author |  Rustan Leino <leino@microsoft.com> | 2013-03-27 13:22:57 -0700 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2013-03-27 13:22:57 -0700 |
| commit | 5f05e3a1c194dcda48115d7b6a1c5777bd2d5287 (patch) | |
| tree | d691bcf9fd999446918e8967622c0f008462bab7 /Test/dafny1 | |
| parent | a6278d436300dff101c5503547c9e5e6553c61d6 (diff) | |
Replaced SuperSetBoundedPool by SubSetBoundedPool, which is much more useful in compiling assign-such-that statements
Added run-time support for printing sets, multisets, maps, and sequences
Diffstat (limited to 'Test/dafny1')
0 files changed, 0 insertions, 0 deletions