Update Submodules to '25.08-RC'

Open ArquintL opened this issue 4 months ago • 1 comments

Sep 05 '25 09:09 ArquintL

Does this PR fix the version of silver and of the other submodules to the new release, or will we still get automated PRs every time the submodules are updated?

Sep 17 '25 12:09 jcp19

Does this PR fix the version of silver and of the other submodules to the new release, or will we still get automated PRs every time the submodules are updated?

No, there will still be automated PRs. This PR just updates to the latest RC. I think it would be good to do another such PR for the latest Viper release (non-RC) and to tag that Gobra release

Nov 11 '25 12:11 ArquintL

I think this is the RC that basically doesn't work on Windows because of a name clash between defaultHeapSupporter and DefaultHeapSupporter. So you should move to the actual release version.

Nov 13 '25 14:11 marcoeilers