Commit message (Expand) | Author | Age | |
---|---|---|---|
* | DafnyExtension: don't reverify a buffer with no changes | Rustan Leino | 2012-08-27 |
* | DafnyExtensions: better error handling | Rustan Leino | 2012-08-21 |
* | Dafny and Boogie: get rid of 'static' fields in parser | Rustan Leino | 2012-08-21 |
* | DafnyExtension: fixed bad merge | Rustan Leino | 2012-08-17 |
* | Merge | Rustan Leino | 2012-08-17 |
|\ | |||
* | | DafnyExtension: improved concurrency behavior | Unknown | 2012-08-17 |
| * | DafnyExtension: report out-of-time and out-of-memory errors | Rustan Leino | 2012-08-17 |
|/ | |||
* | DafnyExtension: toward some fixes | Unknown | 2012-08-17 |
* | DafnyExtension: various improvements | Unknown | 2012-08-16 |
* | DafnyExtension: do verification in a non-UI thread | Rustan Leino | 2012-08-15 |
* | Dafny: the DafnyExtension mode for Visual Studio now calls the verifier and v... | Unknown | 2012-08-08 |
* | Dafny VS Extension: edited to make it build with new AST types, fixed some bu... | Unknown | 2012-08-02 |