Created Release: Dafny 1.6 (Jan 23, 2013)
The major new feature in version 1.6 is support for co-induction.To install Dafny, download Dafny.zip and save it to your disk. Then, before you open or unzip it, right-click on it and select...
View ArticleReleased: Dafny 1.6 (Jan 23, 2013)
The major new feature in version 1.6 is support for co-induction. To install Dafny, download Dafny.zip and save it to your disk. Then, before you open or unzip it, right-click on it and select...
View ArticleUpdated Release: Dafny 1.6 (Jan 23, 2013)
The major new feature in version 1.6 is support for co-induction.To install Dafny, download Dafny.zip and save it to your disk. Then, before you open or unzip it, right-click on it and select...
View ArticleReleased: Dafny 1.6.1 (Mar 10, 2013)
Dafny version 1.6 added support for co-induction. Version 1.6.1 improves the features of the "calc" statement for proof calculations.
View ArticleCreated Release: Dafny 1.6.1 (Mar 10, 2013)
Dafny version 1.6 added support for co-induction. Version 1.6.1 improves the features of the "calc" statement for proof calculations.
View ArticleReleased: Dafny 1.6.3 (Mar 20, 2013)
This version includes support for co-induction (version 1.6) and improvements to the "calc" statement for proof calculations (1.6.1, plus operator <== in version 1.6.2 and operator ==#[..] in...
View ArticleCreated Release: Dafny 1.6.3 (Mar 20, 2013)
This version includes support for co-induction (version 1.6) and improvements to the "calc" statement for proof calculations (1.6.1, plus operator <== in version 1.6.2 and operator ==#[..] in...
View ArticleReleased: Dafny 1.7.0 (Aug 06, 2013)
This version includes several bug fixes and other improvements (e.g., (co-)lemma keyword, field names can be sequences of digits, allow calls to ghost methods from expressions). It also adds several...
View ArticleCreated Release: Dafny 1.7.0 (Aug 06, 2013)
This version includes several bug fixes and other improvements (e.g., (co-)lemma keyword, field names can be sequences of digits, allow calls to ghost methods from expressions). It also adds several...
View ArticleReleased: Dafny 1.8.0 (Jan 15, 2014)
Here are some new things since version 1.7:new "include" construct makes it easier to work with programs that are split into multiple files"match" expressions can now be used in general positions (and...
View ArticleCreated Release: Dafny 1.8.0 (Jan 15, 2014)
Here are some new things since version 1.7: new "include" construct makes it easier to work with programs that are split into multiple files"match" expressions can now be used in general positions (and...
View ArticleReleased: Dafny 1.8.1 (Mar 24, 2014)
Improved hover text in Dafny IDE Preliminary support for reals Improved computations Improved support of :opaque More auto-generated decreases clauses in clusters involving both recursive and...
View ArticleCreated Release: Dafny 1.8.1 (Mar 24, 2014)
Improved hover text in Dafny IDEPreliminary support for realsImproved computationsImproved support of :opaqueMore auto-generated decreases clauses in clusters involving both recursive and co-recursive...
View ArticleReleased: Dafny 1.8.2 (Apr 19, 2014)
Dafny version 1.8.2 includes some minor changes over version 1.8.1, namely:Improved axioms about sequences Compilation and decreases support for real numbers The "modify" statement, intended for use...
View ArticleCreated Release: Dafny 1.8.2 (Apr 19, 2014)
Dafny version 1.8.2 includes some minor changes over version 1.8.1, namely:Improved axioms about sequencesCompilation and decreases support for real numbersThe "modify" statement, intended for use with...
View ArticleReleased: Dafny 1.9.1 (Oct 21, 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 ArticleCreated Release: Dafny 1.9.1 (Oct 21, 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 ArticleUpdated 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.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 ArticleUpdated 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 Article