diff options
| author |  rustanleino <unknown> | 2010-06-19 21:00:58 +0000 |
|---|---|---|
| committer | rustanleino <unknown> | 2010-06-19 21:00:58 +0000 |
| commit | fceb045bfb20039751ff7ca28f4ab7eb75c3d5d1 (patch) | |
| tree | d77e8487a85fb8198568ae1d9ecb8aeabac3ff6f /Util/vim | |
| parent | 2a3ed9eb5e5928837b9d2978c97cf3a7548e735a (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 'Util/vim')
0 files changed, 0 insertions, 0 deletions