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 /Source/Dafny/RefinementTransformer.cs | |
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 'Source/Dafny/RefinementTransformer.cs')
0 files changed, 0 insertions, 0 deletions