diff options
| author |  Rustan Leino <leino@microsoft.com> | 2013-03-26 11:01:25 -0700 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2013-03-26 11:01:25 -0700 |
| commit | e10af1acf3bad4b74545f6609e659882b68fff83 (patch) | |
| tree | a4d109a121f6457d60659609c6f72291b4c32c20 /Source/DafnyExtension.sln | |
| parent | f442f11f028b1fc87299440ef8e2fdae6af82d9f (diff) | |
Enhanced the VSI-Benchmarks tests:
- replaced the sequences used to specify permutations with multisets
- used some of the newer syntax in Dafny
Diffstat (limited to 'Source/DafnyExtension.sln')
0 files changed, 0 insertions, 0 deletions