diff options
| author |  rustanleino <unknown> | 2010-06-19 21:00:58 +0000 |
|---|---|---|
| committer | rustanleino <unknown> | 2010-06-19 21:00:58 +0000 |
| commit | 5cf9650688fab9e5b04a60d94724de0287780217 (patch) | |
| tree | 15c9fff1f90fd06b3577abafc48ccef7352fa65e /Test/dafny0/Modules0.dfy | |
| parent | b31c46ffa4d372fb9e51e667701f3b51e37afc73 (diff) | |
Dafny:
* Improved design and implementation of SplitExpr
* Fixed some tests in dafny0/Use.dfy
* Added test case (in dafny0/Termination.dfy) to test the recent strengthening of set axioms
Diffstat (limited to 'Test/dafny0/Modules0.dfy')
0 files changed, 0 insertions, 0 deletions