Release Dafny 3.13.0

dafny-lang · Mar 2, 2023 · bc0f996 · bc0f996
1 parent 04e381a
commit bc0f996
Show file tree

Hide file tree

Showing 6 changed files with 18 additions and 7 deletions.
diff --git a/RELEASE_NOTES.md b/RELEASE_NOTES.md
@@ -2,6 +2,23 @@
 
 See [docs/dev/news/](docs/dev/news/).
 
+# 3.13.0
+
+## New features
+
+- Expose non-relaxed definite assignment (`/definiteAssignment:4`) in legacy CLI (https://github.com/dafny-lang/dafny/pull/3641)
+
+## Bug fixes
+
+- Fix translation of Dafny FunctionHandles to Boogie (https://github.com/dafny-lang/dafny/pull/2266)
+
+- To ensure that a `class` correctly implements a `trait`, we perform an override check. This check was previously faulty across `module`s, but works unconditionally now. (https://github.com/dafny-lang/dafny/pull/3479)
+
+- Fixes to definite assignment and determinism options:
+     - `--enforce-determinism` now forbids constructor-less classes
+     - With non-relaxed definite assignment, allow auto-init fields to be uninitialized
+  (https://github.com/dafny-lang/dafny/pull/3641)
+
 # 3.12.0
 
 ## New features

diff --git a/Source/Directory.Build.props b/Source/Directory.Build.props
@@ -1,7 +1,7 @@
 <Project>
 
   <PropertyGroup>
-    <VersionPrefix>3.12.0.50221<!--Version 3.12.0, year 2018+5, month 2, day 21.--></VersionPrefix>
+    <VersionPrefix>3.13.0.50302<!--Version 3.13.0, year 2018+5, month 3, day 2.--></VersionPrefix>
     <NoWarn>1701;1702;VSTHRD200</NoWarn>
   </PropertyGroup>
 

diff --git a/docs/dev/news/2266.fix b/docs/dev/news/2266.fix
diff --git a/docs/dev/news/3479.fix b/docs/dev/news/3479.fix
diff --git a/docs/dev/news/3641.feat b/docs/dev/news/3641.feat
diff --git a/docs/dev/news/3641.fix b/docs/dev/news/3641.fix