chore: bump dafnyVerifyVersion to 4.7.0 #488
Conversation
There was a problem hiding this comment.
@josecorella You may want to check with @robin-aws , but maybe we should add new codegen patches for 4.7?
|
I will, this is baby steps though |
|
I clicked on create instead of draft |
| dafnyVerifyVersion=4.2.0 | ||
| dafnyVerifyVersion=4.7.0 |
There was a problem hiding this comment.
Just FYI, I've had to add support to smithy-dafny to generate these project.properties files in order for the nightly builds to be able to use a newer Dafny everywhere. It isn't yet outputting this property, so that means the nightly builds are no longer verifying with the latest Dafny master.
The good news is this change helps close that gap, but it still exists and we should track it somehow.
No need, this is why the codegen patches apply for any Dafny version at or above the version in their name. |
Issue #, if available:
Description of changes:
Squash/merge commit message, if applicable:
By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 license.