| Commit message (Expand) | Author | Age |
* | DafnyExtension: new color (violet) for buffer snapshot sent to the verifier | Unknown | 2012-09-07 |
* | Dafny: fixed typo in latex mode | Unknown | 2012-09-05 |
* | DafnyExtension: don't duplicate names of inherited identifiers | Unknown | 2012-08-30 |
* | DafnyExtension: changed how "_" is displayed (now display as a keyword, not a... | Unknown | 2012-08-30 |
* | Dafny: allow "_" as don't-care variable name | Unknown | 2012-08-30 |
* | DafnyExtension: fixed bug (omitted case: VarDeclStmt has no Update component) | Unknown | 2012-08-29 |
* | 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: simplified display of type names and field names | Unknown | 2012-08-17 |
* | DafnyExtension: various improvements | Unknown | 2012-08-16 |
* | DafnyExtension: improvements | Rustan Leino | 2012-08-15 |
* | DafnyExtension: do verification in a non-UI thread | Rustan Leino | 2012-08-15 |
* | DafnyExtension: fixed more missing cases for hover texts | Unknown | 2012-08-15 |
* | Dafny: fixed some bugs in the newly added DafnyExtension code | Unknown | 2012-08-15 |
* | Dafny: added Statement.SubExpressions getter | Unknown | 2012-08-15 |
* | Dafny: added Statement.SubExpressions getter | Unknown | 2012-08-15 |
* | Dafny: removed the defunct "havoc" keyword from various source-code highlighters | Unknown | 2012-08-15 |
* | Dafny emacs mode: changed a menu name (Does anyone ever use this menu anyhow?) | Unknown | 2012-08-14 |
* | Dafny: two bug fixes (resolution crashing on bad input, DafnyExtension crashi... | Unknown | 2012-08-14 |
* | DafnyExtension: hide execution-trace output, show split-expr related error l... | Rustan Leino | 2012-08-10 |
* | DafnyExtension: improvements | Rustan Leino | 2012-08-08 |
* | DafnyExtension: fixed build issues; added support for some refinement features | Rustan Leino | 2012-08-08 |
* | 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 |
* | Dafny: removed allocated keyword, changed module import syntax. "opened" keyw... | Jason Koenig | 2012-07-30 |
* | Dafny: fixed ghost checking for labeled (i.e. named) expressions, changed to ... | Jason Koenig | 2012-07-10 |
* | Dafny: added copredicates | Rustan Leino | 2012-07-03 |
* | Dafny: Merge | Jason Koenig | 2012-06-27 |
|\ |
|
* | | Dafny: Implemented abstract modules | Jason Koenig | 2012-06-26 |
| * | Dafny: equality-support test cases. This is just a snapshot--some things sti... | Unknown | 2012-06-22 |
|/ |
|
* | Dafny: removed support for the old keyword "unlimited" (all functions are lim... | Unknown | 2012-06-11 |
* | Dafny: added finite maps | Unknown | 2012-05-25 |
* | Dafny: fixed resolution bug for inductive datatypes (previous check did not h... | Unknown | 2012-04-25 |
* | Dafny VSX: fixed compilation inconsistency | Rustan Leino | 2012-01-10 |
* | Dafny: added predicates | Rustan Leino | 2012-01-10 |
* | Dafny: Start of new refinement features -- clean out old ones | Rustan Leino | 2012-01-04 |
* | Merge | Rustan Leino | 2011-11-22 |
|\ |
|
| * | DafnyExtension: fix up compilation (once again) | Rustan Leino | 2011-11-22 |
* | | Dafny: Added "type" declaration (syntax: "type X;"), which introduces an arbi... | Rustan Leino | 2011-11-21 |
|/ |
|
* | DafnyExtension: fixed build problems | Rustan Leino | 2011-11-15 |
* | Dafny: allow single-quote as a character in identifiers in the VS2010 mode | Rustan Leino | 2011-11-09 |
* | Dafny: added "multiset" keyword to syntax highlighting in emacs, vim, latex, VSX | Rustan Leino | 2011-11-09 |
* | Dafny: removed Dafny's "foreach" statements (replaced by the new "parallel" s... | Rustan Leino | 2011-10-26 |
* | Dafny: changed triggers (which are never really used, anyhow) from having a s... | Rustan Leino | 2011-10-21 |