Skip to content
This repository has been archived by the owner on Apr 12, 2023. It is now read-only.

Clean-up and verify all assumptions made in scion.gobra in the slayers package #25

Open
1 of 7 tasks
jcp19 opened this issue Sep 28, 2021 · 0 comments
Open
1 of 7 tasks

Clean-up and verify all assumptions made in scion.gobra in the slayers package #25

jcp19 opened this issue Sep 28, 2021 · 0 comments

Comments

@jcp19
Copy link
Owner

jcp19 commented Sep 28, 2021 •
edited
Loading

TODO:

  • reverify after introducing IP.Mem() in net.IP and changing the body of Mem for UDPAddr and IPAddr
  • re-do spec after introducing magic wands
  • change MemSCION to Mem in this file and all other files that use it
  • verify packAddr
  • fix signature of DecodeAddrHdr
  • Verify commented methods
  • verify termination
@jcp19 jcp19 changed the title Verify all assumptions made in scion.gobra in the slayers package Clean-up and verify all assumptions made in scion.gobra in the slayers package Nov 7, 2021
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@jcp19