Quantcast
Browsing latest articles
Browse All 39 View Live

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 Article


Released: 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 Article


Created 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 Article

Released: 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 Article

Created 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 Article


Released: 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 Article

Updated 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 Article

Released: Tentative Mac OS, Dafny version 1.9.5.20923 (Sep 23, 2015)

If this works, then Linux versions will follow

View Article


Created Release: Tentative Mac OS, Dafny version 1.9.5.20923 (Sep 23, 2015)

If this works, then Linux versions will follow

View Article


Created 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 Article

Released: 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 Article

Updated 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 Article

Created 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


Updated 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

Updated 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


Released: 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 Article

Updated 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


Updated 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

Released: 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 Article

Updated 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
Browsing latest articles
Browse All 39 View Live


<script src="https://jsc.adskeeper.com/r/s/rssing.com.1596347.js" async> </script>