diff options
| author |  Unknown <shuvendu@SHUVENDU-Z400.redmond.corp.microsoft.com> | 2012-06-01 01:36:11 -0700 |
|---|---|---|
| committer | Unknown <shuvendu@SHUVENDU-Z400.redmond.corp.microsoft.com> | 2012-06-01 01:36:11 -0700 |
| commit | 7552293514e40a6dcd9749d3668519d7d32049d5 (patch) | |
| tree | 2ae7fec112e8228b808d652e07b6bd19d4722a4a /Source/ParserHelper | |
| parent | 622c64cbbba5d3619eaf4de03458111ff6589027 (diff) | |
1. Fix for free ensures in inlined procedures. Becomes a skip instead of an assume.
2. Fix for deterministic loop extraction, and a new regression.
3. All regressions (including Dafny) except houdini pass, it is most likely related to the free ensures change.
Diffstat (limited to 'Source/ParserHelper')
0 files changed, 0 insertions, 0 deletions