diff options
author | 2012-06-01 01:36:11 -0700 | |
---|---|---|
committer | 2012-06-01 01:36:11 -0700 | |
commit | 7552293514e40a6dcd9749d3668519d7d32049d5 (patch) | |
tree | 2ae7fec112e8228b808d652e07b6bd19d4722a4a /Source/GPUVerify.sln | |
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/GPUVerify.sln')
0 files changed, 0 insertions, 0 deletions