| Commit message (Expand) | Author | Age |
* | Add an infinite set collection type. | qunyanm | 2015-05-29 |
* | added notice about vim-loves-dafny. | Michael Lowell Roberts | 2015-04-27 |
* | Added 'protected' keyword (syntax) | leino | 2015-03-07 |
* | Add imap keyword to VS/emacs/vim/latex files | chrishaw | 2015-02-26 |
* | Added types "char" and "string" (the latter being a synonym for "seq<char>"). | leino | 2014-10-20 |
* | Changed syntax of derived types to "newtype" | leino | 2014-08-21 |
* | added trait feature: | Reza Ahmadi | 2014-07-18 |
* | Fixes to vim highlighting | Dan Rosén | 2014-07-07 |
* | Added "modify" statement. | Rustan Leino | 2014-04-03 |
* | Deprecated "comethod" keyword in favor of "colemma". (Also, "prefix method" -... | Rustan Leino | 2014-02-23 |
* | Syntax highlighting for reals | Rustan Leino | 2014-02-13 |
* | Add support for the "include" keyword, which accepts a (possibly relative) path | Bryan Parno | 2013-12-10 |
* | Removed old keyword "choose" | Rustan Leino | 2013-08-06 |
* | Introduced keywords "lemma" (like a "ghost method", but not allowed to have a... | Rustan Leino | 2013-08-02 |
* | Renamed "parallel" statement to "forall" statement, and made the parentheses ... | Rustan Leino | 2013-03-06 |
* | removed deprecated "allocated" keyword from DafnyExtension syntax highlighting | Rustan Leino | 2012-10-22 |
* | renamed "abstract module" to "module facade" | Rustan Leino | 2012-10-22 |
* | New feature: | Rustan Leino | 2012-10-11 |
* | Merge | Rustan Leino | 2012-10-04 |
|\ |
|
* | | Dafny: added iterators; for now, only parsing and resolving (and printing and... | Rustan Leino | 2012-09-25 |
| * | Added the new keyword (calc) to Util | Nadia Polikarpova | 2012-09-16 |
|/ |
|
* | Dafny: removed the defunct "havoc" keyword from various source-code highlighters | Unknown | 2012-08-15 |
* | 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: 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: | rustanleino | 2010-09-17 |
* | Dafny: keep counters for loops, temporary variables across two implementation... | kyessenov | 2010-07-07 |
* | Dafny: | rustanleino | 2010-07-06 |
* | slightly improved syntax file | kyessenov | 2010-06-24 |
* | A simple highlighting syntax file for Vim. | kyessenov | 2010-06-21 |