Skip to content
license-check

Change the default interpretation of access predicates in function preconditions according to the new semantics of Viper #2022

Sign in to view logs

Change the default interpretation of access predicates in function preconditions according to the new semantics of Viper

Change the default interpretation of access predicates in function preconditions according to the new semantics of Viper #2022

Triggered via pull request February 7, 2025 14:41
@jcp19jcp19
opened #843
jcp19-change-to-new-perm-semantics
Status Success
Total duration 15s
Artifacts –

license-check.yml

on: pull_request
check-license-headers
4s
check-license-headers
Fit to window
Zoom out
Zoom in