| Commit message (Expand) | Author | Age |
* | 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 |
* | Dafny: for VS mode, let lexer allow "?" | Rustan Leino | 2011-08-04 |
* | Added new multiset keyword to VS2010 syntax highlighter. | Jason Koenig | 2011-07-11 |
* | Dafny: removed deprecated "call" and "use" keywords from syntax highlighters | Rustan Leino | 2011-06-20 |
* | Dafny: added constructors | Rustan Leino | 2011-05-28 |
* | Better VisualStudio plugin feedback. | Jason Koenig | 2011-05-27 |
* | VisualStudio plugin now informs the user of a timeout. | Jason Koenig | 2011-05-26 |
* | Dafny: Alternative (and candidate replacement) syntax for declaring datatypes | Rustan Leino | 2011-04-20 |
* | Dafny: added type "nat" | Rustan Leino | 2011-04-19 |
* | Dafny: added "choose" operator on sets | rustanleino | 2011-03-26 |
* | Dafny: | rustanleino | 2011-02-17 |
* | Dafny: implemented a more precise scheme for allowing use of a function's rep... | rustanleino | 2011-02-03 |
* | VSIP integration into VS: Changed idle delay to 300ms (from 1s). Distinguis... | rustanleino | 2010-11-17 |
* | Dafny: Record source positions of start/end curly braces for declaration con... | rustanleino | 2010-10-27 |
* | Added AssemblyInfo.cs, missing from previous DafnyExtension check-in | rustanleino | 2010-10-22 |
* | New Dafny mode for Visual Studio 2010, using the VS2010 extensions. | rustanleino | 2010-10-22 |
* | Util: Minor changes to the LaTeX listings packages for Boogie and Dafny. | wuestholz | 2010-09-30 |
* | Dafny: | rustanleino | 2010-09-17 |
* | VS2010 mode for Dafny and Boogie: updated, for example to properly deal with... | rustanleino | 2010-09-01 |
* | Boogie: Adding an autobuild and regression cmd file for Boogie and Dafny - Cl... | tabarbe | 2010-08-27 |
* | Dafny: Fixed VS 2010 mode to really include all Dafny keywords | rustanleino | 2010-08-06 |
* | Chalice: Introduced '[[ S ]]' as a shorthand syntax for 'lock (this) { S }'.... | rustanleino | 2010-07-19 |
* | Visual Studio 2010 integration for Dafny and Chalice. See the "How to instal... | rustanleino | 2010-07-15 |
* | Chalice: No longer use Mask for "held" field; instead, only use the value of... | rustanleino | 2010-07-14 |