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