Code

Adding DataPlaneSpec to the IO-spec#230

Code

Merged

jcp19 merged 14 commits intoviperproject:masterviperproject/VerifiedSCION:masterfrom mlimbeck:rewrite-IO-specmlimbeck/VerifiedSCION:rewrite-IO-specCopy head branch name to clipboardOct 18, 2023

+301-321

Commits

Commits on Oct 11, 2023

• making IO-spec dependend on abstract dataplane

  mlimbeck

  committed
  6ae29eb

  Copy full SHA for 6ae29eb

Commits on Oct 12, 2023

• renaming Abs_Dataplane to DataPlaneSpec

  mlimbeck

  committed
  7fec531

  Copy full SHA for 7fec531

• removing local state from IO-spec next place functions

  mlimbeck

  committed
  ac31b85

  Copy full SHA for ac31b85

• rewriting IO-spec with match clause

  mlimbeck

  committed
  03ec019

  Copy full SHA for 03ec019

• comment out unnecessary functions

  mlimbeck

  committed
  491e444

  Copy full SHA for 491e444

Commits on Oct 13, 2023

• Merge branch 'master' into rewrite-IO-spec

  jcp19

  authored
  707c3e1

  Copy full SHA for 707c3e1

Commits on Oct 16, 2023

• cosmetic changes

  mlimbeck

  committed
  61da1e0

  Copy full SHA for 61da1e0

Commits on Oct 17, 2023

• documentation for DataPlaneSpec and Valid function

  mlimbeck

  committed
  4ff2211

  Copy full SHA for 4ff2211

Commits on Oct 18, 2023

• Apply suggestions from code review

  Show description for 4c327d6
  

  mlimbeck

  and

  jcp19

  authored
  4c327d6

  Copy full SHA for 4c327d6

• cosmetic changes

  mlimbeck

  committed
  5728d2b

  Copy full SHA for 5728d2b

• fix comment

  mlimbeck

  committed
  0116bce

  Copy full SHA for 0116bce

• cosmetic changes

  mlimbeck

  committed
  b9f8ba4

  Copy full SHA for b9f8ba4

• guards require correct type

  mlimbeck

  committed
  8586dc8

  Copy full SHA for 8586dc8

• Merge branch 'master' into rewrite-IO-spec

  jcp19

  authored
  a8c9db9

  Copy full SHA for a8c9db9