| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Temporarily disabled one of the methods in NumberRepresentations.dfy -- this ... |  leino | 2014-11-05 |
| * | Changed test case to not use '/doNotUseParallelism' anymore. | wuestholz | 2014-07-31 |
| * | An attempt at making dafny4/NumberRepresentations.dfy run faster and more pre... | Rustan Leino | 2014-07-15 |
| * | Include an explicit trigger to make NumberRepresentations.dfy behave more con... | Rustan Leino | 2014-07-09 |
| * | Merge |  Dan Rosén | 2014-07-07 |
| |\ | |||
| | * | Add support doing computations over sequences | leino | 2014-06-16 |
| |/ | |||
| * | Set up the same test infrastructure as in Boogie. | wuestholz | 2014-05-29 |
| * | AST refactoring: | Rustan Leino | 2014-03-17 |
| * | New test file: dafny4/NumberRepresentations.dfy | Rustan Leino | 2014-02-13 |
 |
index : debian-dafny | |
| Debian packaging for Dafny |
| summaryrefslogtreecommitdiff |