Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Release 4.6.0 #5268

Merged
merged 8 commits into from
May 1, 2024
Merged

Release 4.6.0 #5268

Show file tree
Hide file tree
Changes from 1 commit
Commits
Show all changes
8 commits
Select commit Hold shift + click to select a range
bce2f72
Isolate assertions attribute (#5247)
keyboardDrummer Mar 27, 2024
297a247
chore: Prep for 4.6.0 (#5263)
robin-aws Mar 27, 2024
7c82175
Release Dafny 4.6.0
robin-aws Mar 28, 2024
a2d6d83
Merge branch 'master' into release-4.6.0
robin-aws Mar 28, 2024
d2005f0
Merge branch 'master' into release-4.6.0
robin-aws Apr 29, 2024
e34a213
Merge branch 'master' into release-4.6.0
keyboardDrummer Apr 30, 2024
59f25d6
Merge branch 'master' into release-4.6.0
keyboardDrummer May 1, 2024
7c03e58
Merge branch 'master' into release-4.6.0
robin-aws May 1, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
chore: Prep for 4.6.0 (#5263) 
### Description
* Update version numbers
* Rebuild standard library doo files (since they record the current
version, and Dafny won't load them unless the version numbers match)
* NOT bothering this time to switch nightly prereleases to be from the
4.6 branch, since it's almost identical to master and I'm going to
cherry-pick over all but one change anyway.

<small>By submitting this pull request, I confirm that my contribution
is made under the terms of the [MIT
license](https://github.com/dafny-lang/dafny/blob/master/LICENSE.txt).</small>
  • Loading branch information
@robin-aws
robin-aws committed Mar 27, 2024
commit 297a247107854539199573b99cdee03d7e79ec0a
2 changes: 1 addition & 1 deletion Source/DafnyPipeline/DafnyPipeline.csproj
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -89,7 +89,7 @@
<LinkBase>DafnyRuntimeJava</LinkBase>
<CopyToOutputDirectory>Always</CopyToOutputDirectory>
</EmbeddedResource>
<EmbeddedResource Include="..\DafnyRuntime\DafnyRuntimeJava\build\libs\DafnyRuntime-4.5.0.jar">
<EmbeddedResource Include="..\DafnyRuntime\DafnyRuntimeJava\build\libs\DafnyRuntime-4.6.0.jar">
<LogicalName>DafnyRuntime.jar</LogicalName>
<Link>DafnyRuntime.jar</Link>
<CopyToOutputDirectory>PreserveNewest</CopyToOutputDirectory>
Expand Down
2 changes: 1 addition & 1 deletion Source/DafnyRuntime/DafnyRuntime.csproj
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -26,7 +26,7 @@
<Folder Include="DafnyRuntimeJava\build\libs" />
</ItemGroup>
<PropertyGroup>
<DafnyRuntimeJar>DafnyRuntimeJava/build/libs/DafnyRuntime-4.5.0.jar</DafnyRuntimeJar>
<DafnyRuntimeJar>DafnyRuntimeJava/build/libs/DafnyRuntime-4.6.0.jar</DafnyRuntimeJar>
</PropertyGroup>
<Target Name="BuildDafnyRuntimeJar" AfterTargets="ResolveReferences" BeforeTargets="CoreCompile" Inputs="$(MSBuildProjectFile);@(DafnyRuntimeJavaInputFile)" Outputs="$(DafnyRuntimeJar)">

Expand Down
2 changes: 1 addition & 1 deletion Source/DafnyRuntime/DafnyRuntimeJava/build.gradle
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -17,7 +17,7 @@ dependencies {
}

group = 'org.dafny'
version = '4.5.0'
version = '4.6.0'
sourceCompatibility = '1.8'

java {
Expand Down
Binary file modified Source/DafnyStandardLibraries/binaries/DafnyStandardLibraries-cs.doo
View file
Open in desktop
Binary file not shown.
Binary file modified Source/DafnyStandardLibraries/binaries/DafnyStandardLibraries-go.doo
View file
Open in desktop
Binary file not shown.
Binary file modified Source/DafnyStandardLibraries/binaries/DafnyStandardLibraries-java.doo
View file
Open in desktop
Binary file not shown.
Binary file modified Source/DafnyStandardLibraries/binaries/DafnyStandardLibraries-js.doo
View file
Open in desktop
Binary file not shown.
Binary file modified Source/DafnyStandardLibraries/binaries/DafnyStandardLibraries-notarget.doo
View file
Open in desktop
Binary file not shown.
Binary file modified Source/DafnyStandardLibraries/binaries/DafnyStandardLibraries-py.doo
View file
Open in desktop
Binary file not shown.
Binary file modified Source/DafnyStandardLibraries/binaries/DafnyStandardLibraries.doo
View file
Open in desktop
Binary file not shown.
2 changes: 1 addition & 1 deletion Source/Directory.Build.props
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
<Project>

<PropertyGroup>
<VersionPrefix>4.5.0</VersionPrefix>
<VersionPrefix>4.6.0</VersionPrefix>
<NoWarn>1701;1702;VSTHRD200</NoWarn>
</PropertyGroup>

Expand Down