diff options
| author |  chmaria <unknown> | 2012-06-18 04:57:09 +0200 |
|---|---|---|
| committer | chmaria <unknown> | 2012-06-18 04:57:09 +0200 |
| commit | c0f50ec423987b670181d13a416c1bffd279556a (patch) | |
| tree | db8c787b0014b25894f62432edd9e06eaac2bf67 /Source/VCGeneration/StratifiedVC.cs | |
| parent | 77d3b2f3619972d2867fadee815e6aff8f5454d9 (diff) | |
Dafny: Added CC translation of postconditions.
Diffstat (limited to 'Source/VCGeneration/StratifiedVC.cs')
0 files changed, 0 insertions, 0 deletions