Skip to content

Commit

Permalink
Bump version to 3.5.0 (#1901)
Browse files Browse the repository at this point in the history
  • Loading branch information
robin-aws authored Mar 14, 2022
1 parent 4362fb1 commit 8204cd1
Show file tree
Hide file tree
Showing 2 changed files with 5 additions and 3 deletions.
2 changes: 2 additions & 0 deletions RELEASE_NOTES.md
Original file line number Diff line number Diff line change
@@ -1,5 +1,7 @@
# Upcoming

# 3.5.0

- feat: `continue` statements. Like Dafny's `break` statements, these come in two forms: one that uses a label to name the continue target and one that specifies the continue target by nesting level. See section [19.2](https://dafny-lang.github.io/dafny/DafnyRef/DafnyRef#sec-break-continue) of the Reference Manual. (https://github.com/dafny-lang/dafny/pull/1839)
- feat: The keyword syntax for functions will change in Dafny version 4. The new command-line option `/functionSyntax` (see `/help`) allows early adoption of the new syntax. (https://github.com/dafny-lang/dafny/pull/1832)
- feat: Attribute `{:print}` declares that a method may have print effects. Print effects are enforced only with `/trackPrintEffects:1`.
Expand Down
6 changes: 3 additions & 3 deletions Source/version.cs
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
using System.Reflection;
// Version 3.4.2, year 2018+4 month 2 day 21
[assembly: AssemblyVersion("3.4.2.40221")]
[assembly: AssemblyFileVersion("3.4.2.40221")]
// Version 3.5.0, year 2018+4 month 3 day 14
[assembly: AssemblyVersion("3.5.0.40314")]
[assembly: AssemblyFileVersion("3.5.0.40314")]

0 comments on commit 8204cd1

Please sign in to comment.