diff options
| author |  Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-08-10 18:11:08 -0700 |
|---|---|---|
| committer | Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-08-10 18:11:08 -0700 |
| commit | 6868da10d845ef50691f7900293f092115391a89 (patch) | |
| tree | 794eff2c836ee9a631049f5deff0f64d2c8710c4 /Source/Dafny/Compiler.cs | |
| parent | bcb834b4d3fb4926d7eabe0a9837396c84619ee6 (diff) | |
Dafny: added heuristics for finding witnesses in assign-such-that checking
Diffstat (limited to 'Source/Dafny/Compiler.cs')
0 files changed, 0 insertions, 0 deletions