| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | merged IronDafny updates. two unit tests related to traits do not pass if ENA... |  Michael Lowell Roberts | 2015-09-21 |
| * | Small cleanups, fixes, and refactorings |  Clément Pit--Claudel | 2015-08-18 |
| * | Draft out a more advanced version of trigger generation | Clément Pit--Claudel | 2015-08-19 |
| * | Refactor the error reporting code | Clément Pit--Claudel | 2015-08-18 |
| * | Register the trigger generator as a a rewriter in the Resolver. | Clément Pit--Claudel | 2015-07-13 |
| * | Add a compatibility layer over BigInteger.Parse | Clément Pit--Claudel | 2015-06-07 |
| * | DafnyExtension: Did some refactoring and worked towards integrating the Dafny... |  wuestholz | 2013-07-26 |
| * | DafnyExtension: Cleaned up some references and disabled non-functional suppor... | wuestholz | 2013-06-07 |
| * | Updated several project files. | wuestholz | 2013-05-21 |
| * | Put all sources under \Source directory |  Rustan Leino | 2012-10-04 |
 |
index : debian-dafny | |
| Debian packaging for Dafny |
| summaryrefslogtreecommitdiff |