diff options
| author |  Rustan Leino <leino@microsoft.com> | 2012-01-09 23:16:37 -0800 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2012-01-09 23:16:37 -0800 |
| commit | c7b6946ca6368f6ec307802b82b4e44a6cab83cd (patch) | |
| tree | f87588b73461fb5281302ef8b0f67e433c1b4017 /Util | |
| parent | 4ccc3c70255b59a835b099e962ba1d011696a682 (diff) | |
Dafny: added support for simple superposition refinements
Diffstat (limited to 'Util')
0 files changed, 0 insertions, 0 deletions