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

Jump to bottom

Make specs stronger after merging #4483 from scionproto/scion #297

Closed
jcp19 opened this issue Apr 3, 2024 · 0 comments · Fixed by #243 or #335
Closed

Make specs stronger after merging #4483 from scionproto/scion #297

jcp19 opened this issue Apr 3, 2024 · 0 comments · Fixed by #243 or #335

Comments

@jcp19
Copy link
Contributor

jcp19 commented Apr 3, 2024

We recently merged #292. This would allow us to have stronger specifications that would be necessary to complete packscmp (#243)
@jcp19 jcp19 mentioned this issue Apr 3, 2024
Merged
6 tasks
This was linked to pull requests May 3, 2024
Verify packSCMP #243
Merged
bring changes from #243 #335
Merged
@jcp19 jcp19 closed this as completed in #335 May 6, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Verify packSCMP viperproject/VerifiedSCION
bring changes from #243 viperproject/VerifiedSCION
1 participant
@jcp19