| Commit message (Expand) | Author | Age |
* | Removed Dafny, Jennisys, Chalice, and BCT, which now live in different Codepl... | Rustan Leino | 2013-03-05 |
* | Merge | Rustan Leino | 2012-10-04 |
|\ |
|
* | | Dafny: added iterators; for now, only parsing and resolving (and printing and... | Rustan Leino | 2012-09-25 |
| * | DafnyExtension: adding some missing keywords (for imports) | Unknown | 2012-09-21 |
| * | Added the new keyword (calc) to Util | Nadia Polikarpova | 2012-09-16 |
|/ |
|
* | DafnyExtension: improvements | Rustan Leino | 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 VS Extension: edited to make it build with new AST types, fixed some bu... | Unknown | 2012-08-02 |
* | Dafny: added copredicates | Rustan Leino | 2012-07-03 |
* | Dafny: removed support for the old keyword "unlimited" (all functions are lim... | Unknown | 2012-06-11 |
* | Dafny: fixed resolution bug for inductive datatypes (previous check did not h... | Unknown | 2012-04-25 |
* | Dafny: added predicates | Rustan Leino | 2012-01-10 |
* | Dafny: Start of new refinement features -- clean out old ones | Rustan Leino | 2012-01-04 |
* | Dafny: Added "type" declaration (syntax: "type X;"), which introduces an arbi... | Rustan Leino | 2011-11-21 |
* | 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: removed deprecated "call" and "use" keywords from syntax highlighters | Rustan Leino | 2011-06-20 |
* | Dafny: added constructors | Rustan Leino | 2011-05-28 |
* | 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 |
* | New Dafny mode for Visual Studio 2010, using the VS2010 extensions. | rustanleino | 2010-10-22 |