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

Refactored Widen-lemma #327

Merged
merged 19 commits into from
Apr 18, 2024
Merged

Refactored Widen-lemma #327

Changes from all commits
Commits
Show all changes
19 commits
Select commit Hold shift + click to select a range
732a598
Update gobra.yml
jcp19 Apr 17, 2024
7a04163
Update gobra.yml
jcp19 Apr 17, 2024
e523685
fix verification error
mlimbeck Apr 17, 2024
d25c1fe
fix verification error in process and doXover
mlimbeck Apr 17, 2024
6382fe0
fixed precondition of XoverEvent
mlimbeck Apr 17, 2024
8e6f0c6
enable moreJoins impure (#321)
jcp19 Apr 18, 2024
1b6397e
invariant strengthening
Dspil Apr 18, 2024
5935ff5
Merge branch 'disable-conditionalizePermissions' of github.com:viperp…
Dspil Apr 18, 2024
e31bcf8
progress widen-lemma proof
mlimbeck Apr 18, 2024
340397b
fix verification error
mlimbeck Apr 18, 2024
b797ea2
proven?
Dspil Apr 18, 2024
67727c4
Merge branch 'disable-conditionalizePermissions' into update-widen-lemma
Dspil Apr 18, 2024
9ef916f
fix
Dspil Apr 18, 2024
8af7cc7
Merge branch 'master' into update-widen-lemma
jcp19 Apr 18, 2024
2604a16
bugfix
Dspil Apr 18, 2024
7dfe096
Update router/widen-lemma.gobra
Dspil Apr 18, 2024
9469646
Update router/widen-lemma.gobra
Dspil Apr 18, 2024
c672191
joao
Dspil Apr 18, 2024
99654ec
indent
Dspil Apr 18, 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
Loading
Loading