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 | |
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')
0 files changed, 0 insertions, 0 deletions