diff options
| author |  rustanleino <unknown> | 2011-03-30 14:57:41 +0000 |
|---|---|---|
| committer | rustanleino <unknown> | 2011-03-30 14:57:41 +0000 |
| commit | 6e93acd001f5d23c08b02c162dc2111e531f3d5d (patch) | |
| tree | 5ff62d24471a5447264d453ffef35a10f448afaf /Test/VSComp2010 | |
| parent | 5f953da880c83e1f3032c7ae2e76703418c498d4 (diff) | |
Dafny:
* Fixed handling of type parameters in automatic decreases clauses
* Added ACL2s Rotate example
Diffstat (limited to 'Test/VSComp2010')
0 files changed, 0 insertions, 0 deletions