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