Labels

• ai-aided

  ai-aided

• annotation-overhead

  annotation-overhead

• beautify

  beautify

• bug

  bug

  Something isn't working

• CI

  CI

• closures

  closures

• deadlock-freedom

  deadlock-freedom

• design

  design

• documentation

  documentation

  Improvements or additions to documentation

• duplicate

  duplicate

  This issue or pull request already exists

• enhancement

  enhancement

  New feature or request

• evaluation

  evaluation

• gobra

  gobra

• good first issue

  good first issue

  Good for newcomers

• help wanted

  help wanted

  Extra attention is needed

• invalid

  invalid

  This doesn't seem right

• IO

  IO

• lowpriority

  lowpriority

• maintainability

  maintainability

• memory-safety

  memory-safety

• partially-verified

  partially-verified

• performance

  performance

• pkg/addr

  pkg/addr

• pkg/slayers/path/scion

  pkg/slayers/path/scion

• question

  question

  Further information is requested

• rewriting

  rewriting

• router

  router

• scion-bug

  scion-bug

• slayers

  slayers

• soundness

  soundness