Updated Release: Dafny 1.9.1 (Oct 22, 2014)
Dafny version 1.9.1 includes some major changes over version 1.8.2,Language changes that break backward compatibility: Declarations and invocations of nullary predicates now require parentheses (to...
View ArticleReleased: Dafny 1.9.4 (Apr 29, 2015)
Here are the major changes from version 1.9.1 to version 1.9.4:Semi-colons are no longer needed at the end of specification clauses (like `requires`, `invariant`). Semi-colons are now required only as...
View ArticleCreated Release: Dafny 1.9.4 (Apr 29, 2015)
Here are the major changes from version 1.9.1 to version 1.9.4:Semi-colons are no longer needed at the end of specification clauses (like `requires`, `invariant`). Semi-colons are now required only as...
View ArticleReleased: Dafny 1.9.5 (May 11, 2015)
The main change from version 1.9.4 to version 1.9.5 is:The introduction of `inductive predicate` and `inductive lemma` declarations. These are the duals of `copredicate` and `colemma` declarations....
View ArticleCreated Release: Dafny 1.9.5 (May 11, 2015)
The main change from version 1.9.4 to version 1.9.5 is:The introduction of `inductive predicate` and `inductive lemma` declarations. These are the duals of `copredicate` and `colemma`...
View ArticleReleased: Dafny 1.9.5 (May 11, 2015)
The main change from version 1.9.4 to version 1.9.5 is:The introduction of `inductive predicate` and `inductive lemma` declarations. These are the duals of `copredicate` and `colemma` declarations....
View ArticleUpdated Release: Dafny 1.9.5 (May 11, 2015)
The main change from version 1.9.4 to version 1.9.5 is:The introduction of `inductive predicate` and `inductive lemma` declarations. These are the duals of `copredicate` and `colemma`...
View ArticleReleased: Tentative Mac OS, Dafny version 1.9.5.20923 (Sep 23, 2015)
If this works, then Linux versions will follow
View ArticleCreated Release: Tentative Mac OS, Dafny version 1.9.5.20923 (Sep 23, 2015)
If this works, then Linux versions will follow
View ArticleCreated Release: Dafny 1.9.6 (Oct 12, 2015)
Here are the major changes from version 1.9.5 to version 1.9.6:Language changes:Nested patterns in match statements and match expressionsInfinite sets and infinite maps (iset and imap) as built-in...
View ArticleReleased: Dafny 1.9.6 (Oct 12, 2015)
Here are the major changes from version 1.9.5 to version 1.9.6: Language changes:Nested patterns in match statements and match expressionsInfinite sets and infinite maps (iset and imap) as built-in...
View ArticleUpdated Release: Dafny 1.9.6 (Oct 12, 2015)
Here are the major changes from version 1.9.5 to version 1.9.6:Language changes:Nested patterns in match statements and match expressionsInfinite sets and infinite maps (iset and imap) as built-in...
View ArticleCreated Release: Dafny 1.9.7 (Apr 01, 2016)
Here are the major changes from version 1.9.6 to version 1.9.7:Language:New syntax for datatype update: `D.(f := E)` (instead of the previous `D[f := E]`)New syntax: the previous `import A as B` is now...
View ArticleUpdated Release: Dafny 1.9.7 (Apr 01, 2016)
Here are the major changes from version 1.9.6 to version 1.9.7:Language:New syntax for datatype update: `D.(f := E)` (instead of the previous `D[f := E]`)New syntax: the previous `import A as B` is now...
View ArticleUpdated Release: Dafny 1.9.7 (Apr 01, 2016)
Here are the major changes from version 1.9.6 to version 1.9.7:Language:New syntax for datatype update: `D.(f := E)` (instead of the previous `D[f := E]`)New syntax: the previous `import A as B` is now...
View ArticleReleased: Dafny 1.9.7 (Apr 01, 2016)
Here are the major changes from version 1.9.6 to version 1.9.7: Language:New syntax for datatype update: `D.(f := E)` (instead of the previous `D[f := E]`)New syntax: the previous `import A as B` is...
View ArticleUpdated Release: Dafny 1.9.7 (Apr 01, 2016)
Here are the major changes from version 1.9.6 to version 1.9.7:Language:New syntax for datatype update: `D.(f := E)` (instead of the previous `D[f := E]`)New syntax: the previous `import A as B` is now...
View ArticleUpdated Release: Dafny 1.9.7 (Apr 01, 2016)
Here are the major changes from version 1.9.6 to version 1.9.7:Language:New syntax for datatype update: `D.(f := E)` (instead of the previous `D[f := E]`)New syntax: the previous `import A as B` is now...
View ArticleReleased: Dafny 1.9.7 (Apr 01, 2016)
Here are the major changes from version 1.9.6 to version 1.9.7: Language:New syntax for datatype update: `D.(f := E)` (instead of the previous `D[f := E]`)New syntax: the previous `import A as B` is...
View ArticleUpdated Release: Dafny 1.9.7 (Apr 01, 2016)
Here are the major changes from version 1.9.6 to version 1.9.7:Language:New syntax for datatype update: `D.(f := E)` (instead of the previous `D[f := E]`)New syntax: the previous `import A as B` is now...
View Article