Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Implement workarounds for some tests that fail with /autoTriggers. | 2015-08-28 | |
* | Merge | 2014-07-07 | |
|\ | |||
* | | New logical encoding of types with Is and IsAlloc | 2014-07-07 | |
| * | Added some axioms about seq-to-multiset conversions | 2014-06-24 | |
|/ | |||
* | Set up the same test infrastructure as in Boogie. | 2014-05-29 | |
* | Axioms that relate (multi)set cardinality with (multi)set difference. | 2013-07-16 | |
* | Beefed up axioms about cardinality and the empty (multi)set, which fixes Issu... | 2013-06-20 | |
* | Added multiset update. | 2013-03-20 | |
* | Added some axioms to try to recover boxed data. In particular, any element '... | 2012-10-17 | |
* | Dafny: fixed regression tests | 2012-05-29 | |
* | Fixed regression test failures due to removal of bodiless methods and functions. | 2011-07-15 |