Code

Relate bytes to IO specification#216

Code

Merged

jcp19 merged 39 commits intoviperproject:masterviperproject/VerifiedSCION:masterfrom mlimbeck:mastermlimbeck/VerifiedSCION:masterCopy head branch name to clipboardNov 22, 2023

+584-3

Commits

Commits on Jun 20, 2023

• manually trigger workflow

  mlimbeck

  committed
  0aa5841

  Copy full SHA for 0aa5841

• manually trigger workflow

  mlimbeck

  committed
  8525b7c

  Copy full SHA for 8525b7c

Commits on Jul 4, 2023

• raw byte to spec for segments and hopfields

  mlimbeck

  committed
  2eaf7a4

  Copy full SHA for 2eaf7a4

• bugfix

  mlimbeck

  committed
  e9d31ae

  Copy full SHA for e9d31ae

• import fix

  mlimbeck

  committed
  6b77cb6

  Copy full SHA for 6b77cb6

Commits on Jul 10, 2023

• bugfix after gobra update

  mlimbeck

  committed
  e9631e0

  Copy full SHA for e9631e0

• spec to pkt (currSeg)

  mlimbeck

  committed
  bd062dc

  Copy full SHA for bd062dc

Commits on Jul 11, 2023

• spec to pkt (left, mid, right)

  mlimbeck

  committed
  3246a2b

  Copy full SHA for 3246a2b

• spec to pkt (termination)

  mlimbeck

  committed
  35ff392

  Copy full SHA for 35ff392

Commits on Jul 17, 2023

• code clean up

  mlimbeck

  committed
  f925f10

  Copy full SHA for f925f10

• Merge branch 'viperproject:master' into master

  mlimbeck

  authored
  6a19edf

  Copy full SHA for 6a19edf

• clean up

  mlimbeck

  committed
  3d90011

  Copy full SHA for 3d90011

Commits on Jul 18, 2023

• improvements

  mlimbeck

  committed
  6e8f884

  Copy full SHA for 6e8f884

Commits on Jul 19, 2023

• instantiate abstract functions with bodies

  mlimbeck

  committed
  afe9e52

  Copy full SHA for afe9e52

• progress io spec

  mlimbeck

  committed
  de241b5

  Copy full SHA for de241b5

Commits on Jul 24, 2023

• formatting

  mlimbeck

  committed
  8a0452e

  Copy full SHA for 8a0452e

• specification fixes

  mlimbeck

  committed
  4540095

  Copy full SHA for 4540095

• improve IO-spec

  mlimbeck

  committed
  bf2c331

  Copy full SHA for bf2c331

• IO-spec to pkt rewritten

  mlimbeck

  committed
  53cadc9

  Copy full SHA for 53cadc9

• clean up

  mlimbeck

  committed
  790e842

  Copy full SHA for 790e842

Commits on Jul 28, 2023

• improve readability

  mlimbeck

  committed
  ca581db

  Copy full SHA for ca581db

Commits on Sep 28, 2023

• Merge branch 'master' into master

  jcp19

  authored
  0d3cc57

  Copy full SHA for 0d3cc57

Commits on Oct 17, 2023

• Merge branch 'master' into master

  jcp19

  authored
  01eade7

  Copy full SHA for 01eade7

Commits on Nov 1, 2023

• rename of function lengthOfCurrSeg

  mlimbeck

  committed
  bfd6c2f

  Copy full SHA for bfd6c2f

Commits on Nov 14, 2023

• Merge remote-tracking branch 'remotescion/master'

  mlimbeck

  committed
  8c7b6c1

  Copy full SHA for 8c7b6c1

Commits on Nov 15, 2023

• Merge remote-tracking branch 'remotescion/master'

  mlimbeck

  committed
  89997c6

  Copy full SHA for 89997c6

Commits on Nov 16, 2023

• extract asid-seqence from raw pkt

  mlimbeck

  committed
  f1cf0b1

  Copy full SHA for f1cf0b1

• missing trigger

  mlimbeck

  committed
  4343478

  Copy full SHA for 4343478

• quick fix

  mlimbeck

  committed
  715fa51

  Copy full SHA for 715fa51

Commits on Nov 17, 2023

• Update router/dataplane_spec.gobra

  Show description for b051f09
  

  mlimbeck

  and

  Dspil

  authored
  b051f09

  Copy full SHA for b051f09

Commits on Nov 22, 2023

• Apply suggestions from code review

  Show description for 7cbe9d6
  

  mlimbeck

  and

  jcp19

  authored
  7cbe9d6

  Copy full SHA for 7cbe9d6

• readability improvements

  mlimbeck

  committed
  689e9da

  Copy full SHA for 689e9da

• further improvements

  mlimbeck

  committed
  24d19e1

  Copy full SHA for 24d19e1

• replace 4 by its constant InfoLen

  mlimbeck

  committed
  e923c40

  Copy full SHA for e923c40

• readability improvement

  mlimbeck

  committed
  45b432e

  Copy full SHA for 45b432e

• constant for metaLen in package path

  mlimbeck

  committed
  8f15113

  Copy full SHA for 8f15113

• Update router/io-spec.gobra

  Show description for 503b0e0
  

  mlimbeck

  and

  jcp19

  authored
  503b0e0

  Copy full SHA for 503b0e0

• minor improvements

  mlimbeck

  committed
  c292a84

  Copy full SHA for c292a84

• move validMetaLenInPath() to test file

  mlimbeck

  committed
  a68a3e7

  Copy full SHA for a68a3e7