Code

packSCMP Continued#373

Code

Merged

jcp19 merged 15 commits intojoao-uncomment-packSCMPviperproject/VerifiedSCION:joao-uncomment-packSCMPfrom markus-packscmpviperproject/VerifiedSCION:markus-packscmpCopy head branch name to clipboardAug 15, 2024

+772-337

Commits

Commits on Jul 24, 2024

• fix missing precondition for packSCMP

  mlimbeck

  committed
  a3232d0

  Copy full SHA for a3232d0

Commits on Jul 25, 2024

• progress scmp

  mlimbeck

  committed
  acbb387

  Copy full SHA for acbb387

• further progress

  mlimbeck

  committed
  c8fccfe

  Copy full SHA for c8fccfe

• further scmp fixes

  mlimbeck

  committed
  08e5f59

  Copy full SHA for 08e5f59

Commits on Jul 26, 2024

• fix syntax error and strengthen spec of erros.Is function

  mlimbeck

  committed
  b036341

  Copy full SHA for b036341

• fix verification error

  mlimbeck

  committed
  6f2322b

  Copy full SHA for 6f2322b

• fix verification errors in process()

  mlimbeck

  committed
  ef9ac86

  Copy full SHA for ef9ac86

• drop last scmp assumption

  mlimbeck

  committed
  5ea2289

  Copy full SHA for 5ea2289

• fix verification errors in process()

  mlimbeck

  committed
  c9f43f9

  Copy full SHA for c9f43f9

• add missing postconditions to resolveInbound

  mlimbeck

  committed
  b8379ba

  Copy full SHA for b8379ba

• fix p.d permissions

  mlimbeck

  committed
  1335655

  Copy full SHA for 1335655

• remove wrong precondition from validateEgressUp()

  mlimbeck

  committed
  d484489

  Copy full SHA for d484489

Commits on Aug 12, 2024

• clean up

  mlimbeck

  committed
  4a86e4c

  Copy full SHA for 4a86e4c

Commits on Aug 14, 2024

• feedback

  mlimbeck

  committed
  eb6b522

  Copy full SHA for eb6b522

Commits on Aug 15, 2024

• Update router/dataplane.go

  jcp19

  authored
  d8b3869

  Copy full SHA for d8b3869