diff options
| author |  rustanleino <unknown> | 2010-06-18 17:37:41 +0000 |
|---|---|---|
| committer | rustanleino <unknown> | 2010-06-18 17:37:41 +0000 |
| commit | b31c46ffa4d372fb9e51e667701f3b51e37afc73 (patch) | |
| tree | f6189a05931138eebc6f663358afce333d6d0371 /Test/dafny0/SplitExpr.dfy | |
| parent | f15733e4485726ea79258d2b6938a33f54a3d36f (diff) | |
Dafny:
* Added some more set axioms that go "inside out" for union and set differences (UnionOne already had such an axiom)
* Fixed bug to, once again, allow multiple .dfy files on the command line (with the effect of them being merged into one program)
* Fixed bug in translation of reads/modifies clauses that mention sequences
Diffstat (limited to 'Test/dafny0/SplitExpr.dfy')
0 files changed, 0 insertions, 0 deletions