diff options
| author |  rustanleino <unknown> | 2010-05-06 23:35:04 +0000 |
|---|---|---|
| committer | rustanleino <unknown> | 2010-05-06 23:35:04 +0000 |
| commit | e90be508dcf82fd35d88107186059bb37f534acb (patch) | |
| tree | 46f4cf4ae95380b9106285a34076d33882d4a6b6 /Util/Emacs | |
| parent | 9973fcca56f1c6345ac2697210f2f3c7662f5c30 (diff) | |
Dafny:
* Recoded frame axioms to be more goal directed
* Added Main test driver to Test/VSI-Benchmarks/b2.dfy
Diffstat (limited to 'Util/Emacs')
0 files changed, 0 insertions, 0 deletions