Code

Verify loops in Run#244

Code

Merged

jcp19 merged 11 commits intomasterviperproject/VerifiedSCION:masterfrom joao-run-loopsviperproject/VerifiedSCION:joao-run-loopsCopy head branch name to clipboardFeb 6, 2024

+177-41

Commits

Commits on Jan 30, 2024

• Run() loops

  jcp19

  committed
  40ab699

Commits on Feb 2, 2024

• progress on the proof of closures

  jcp19

  committed
  6df6a7a

• drop unnecessary import

  jcp19

  committed
  18ea968

• backup

  jcp19

  committed
  b5145a5

• backup

  jcp19

  committed
  0d4b79e

• backup

  jcp19

  committed
  9655d08

• backup

  jcp19

  committed
  cd9569e

Commits on Feb 4, 2024

• backup

  jcp19

  committed
  a3ca008

• backup

  jcp19

  committed
  33b7b7c

• fix comment

  jcp19

  committed
  ba12785

Commits on Feb 5, 2024

• Update router/dataplane.go

  jcp19

  authored
  0431486