-
Notifications
You must be signed in to change notification settings - Fork 3
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.
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
Verify send guard in Run #263
Merged
Merged
Commits on Feb 27, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 6488466 - Browse repository at this point
Copy the full SHA 6488466View commit details -
Configuration menu - View commit details
-
Copy full SHA for 237bfde - Browse repository at this point
Copy the full SHA 237bfdeView commit details -
Configuration menu - View commit details
-
Copy full SHA for 23de1b1 - Browse repository at this point
Copy the full SHA 23de1b1View commit details -
Configuration menu - View commit details
-
Copy full SHA for 656fa04 - Browse repository at this point
Copy the full SHA 656fa04View commit details
Commits on Feb 29, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 49e064e - Browse repository at this point
Copy the full SHA 49e064eView commit details -
Configuration menu - View commit details
-
Copy full SHA for 1565af2 - Browse repository at this point
Copy the full SHA 1565af2View commit details
Commits on Mar 14, 2024
-
Configuration menu - View commit details
-
Copy full SHA for ea6b93a - Browse repository at this point
Copy the full SHA ea6b93aView commit details -
Configuration menu - View commit details
-
Copy full SHA for 9e3610d - Browse repository at this point
Copy the full SHA 9e3610dView commit details -
Merge branch 'markus-io-spec-send-guard' of github.com:viperproject/V…
…erifiedSCION into markus-io-spec-send-guard
Configuration menu - View commit details
-
Copy full SHA for c611b9f - Browse repository at this point
Copy the full SHA c611b9fView commit details
Commits on Mar 18, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 6305e73 - Browse repository at this point
Copy the full SHA 6305e73View commit details -
Configuration menu - View commit details
-
Copy full SHA for e02935f - Browse repository at this point
Copy the full SHA e02935fView commit details -
Configuration menu - View commit details
-
Copy full SHA for 474d579 - Browse repository at this point
Copy the full SHA 474d579View commit details -
Fix incompleteness and continue with send guard (#273)
* backup * backup * backup * backup * backup * drop space * pick better triggers * add necessary lemma and call to it; contains an assume false that needs to be dropped * backup * backup * add missing loop invariant about ingressID * backup * backup * fix verification error * try out a simpler trigger
Configuration menu - View commit details
-
Copy full SHA for 428efc4 - Browse repository at this point
Copy the full SHA 428efc4View commit details -
Configuration menu - View commit details
-
Copy full SHA for 632d386 - Browse repository at this point
Copy the full SHA 632d386View commit details
Commits on Mar 21, 2024
-
widen lemma for absIO_val (#268)
* widen lemma for abspkt (non termianting) * abspkt proven * renamed io-spec-lemmas * io val also proven * cleanup * merged markus' abspkt improvements * consdir lemma * proved * reinstate lemma4 * fix verification error * Simplify widen lemma from #268 (#282) * start simplifying * continue simplifying * continue simplifying stuff * continue simplifying * continue simplifying * simplify further * finish for now * Update router/io-spec.gobra --------- Co-authored-by: João Pereira <[email protected]>
Configuration menu - View commit details
-
Copy full SHA for 4770cea - Browse repository at this point
Copy the full SHA 4770ceaView commit details -
* widen lemma for abspkt (non termianting) * abspkt proven * renamed io-spec-lemmas * io val also proven * cleanup * merged markus' abspkt improvements * consdir lemma * proved * reinstate lemma4 * fix verification error * Simplify widen lemma from #268 (#282) * start simplifying * continue simplifying * continue simplifying stuff * continue simplifying * continue simplifying * simplify further * finish for now * Update router/io-spec.gobra * finish send in Run * propagate changes to processSCION --------- Co-authored-by: Dspil <[email protected]>
Configuration menu - View commit details
-
Copy full SHA for f51a4b2 - Browse repository at this point
Copy the full SHA f51a4b2View commit details -
Configuration menu - View commit details
-
Copy full SHA for 03020e8 - Browse repository at this point
Copy the full SHA 03020e8View commit details
Commits on Mar 24, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 6d45c4b - Browse repository at this point
Copy the full SHA 6d45c4bView commit details -
Configuration menu - View commit details
-
Copy full SHA for 901e72b - Browse repository at this point
Copy the full SHA 901e72bView commit details
Commits on Mar 25, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 3917d90 - Browse repository at this point
Copy the full SHA 3917d90View commit details
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.