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

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
Merge branch 'master' into release-4.6.0
  • Loading branch information
@robin-aws
robin-aws committed Apr 29, 2024
commit d2005f0f6f5248de849638cd255e73115e371786

This merge commit was added into this branch cleanly.

There are no new changes to show, but you can still view the diff.