Skip to content

Update Submodules #896

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
Merged
merged 1 commit into from
Mar 31, 2025
Merged

Update Submodules #896

merged 1 commit into from
Mar 31, 2025

Conversation

viper-admin
Copy link
Member

  • Updates ViperServer from 182a2436152dd8eff07c512671b69707f009b0ad to 711507c13d169342382ccdf356dc37ea8bfc5ed7.

@ArquintL ArquintL marked this pull request as draft March 20, 2025 08:30
@ArquintL
Copy link
Member

Viper added PluginAwareReporter (see viperproject/silver#854). While ViperServer also has been updated to use this new reporter trait, we should check before merging this PR whether we can also simplify Gobra by implementing this trait or whether this is unnecessary as ViperServer already does so. Hint: look for calls to mapEntityVerificationResult and mapVerificationResult

@ArquintL
Copy link
Member

I could not find any use of mapEntityVerificationResult or mapVerificationResult in the Gobra codebase

@ArquintL ArquintL marked this pull request as ready for review March 31, 2025 13:19
@jcp19 jcp19 enabled auto-merge (squash) March 31, 2025 13:23
@jcp19 jcp19 disabled auto-merge March 31, 2025 14:10
@jcp19 jcp19 enabled auto-merge (squash) March 31, 2025 14:11
@jcp19 jcp19 disabled auto-merge March 31, 2025 14:11
@jcp19 jcp19 merged commit 4ef79ba into master Mar 31, 2025
2 of 3 checks passed
@jcp19 jcp19 deleted the auto-update-submodules branch March 31, 2025 14:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@jcp19 jcp19 jcp19 approved these changes

Assignees
No one assigned
Labels
automated pr
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@viper-admin @ArquintL @jcp19