| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Implement {:nowarn}, clarify some messages, and add a few tests |  Clément Pit--Claudel | 2015-08-28 |
| | | |||
| * | Improve the redundancy detection algorithm used while constructing sets of terms | Clément Pit--Claudel | 2015-08-26 |
| | | | | | | | | | Based on an issue noted by Chris with redundancy removal resuls being dependent on the order of the terms. Interestingly, one of our tests already had an instance of that problem. Also fix the issue with nested quantifiers getting redundant triggers. | ||
| * | Add /printTooltips to trigger tests | Clément Pit--Claudel | 2015-08-21 |
| | | |||
| * | Add tests for quantifier splitting and trigger generation | Clément Pit--Claudel | 2015-08-19 |
 |
index : debian-dafny | |
| Debian packaging for Dafny |
| summaryrefslogtreecommitdiff |