Skip to content
This repository was archived by the owner on Apr 12, 2023. It is now read-only.

IO spec #62

Draft
LinoTelschow wants to merge 29 commits into
base: master
Choose a base branch
from
Draft

IO spec #62

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
29 commits
Select commit Hold shift + click to select a range
654fde8
added io files from example branch
LinoTelschow Jan 30, 2022
4d5f89d
added io spec to ReadBatch
LinoTelschow Jan 30, 2022
a3b0394
added io spec to WriteBatch
LinoTelschow Jan 31, 2022
b8f7b88
added some IO spec
LinoTelschow Feb 1, 2022
63eec6d
export some methods
LinoTelschow Feb 1, 2022
bbabe36
moved io spec to router package
LinoTelschow Feb 1, 2022
0b46069
changed contract of ToAbsMessages
LinoTelschow Feb 1, 2022
232d2ce
simplified contract of processMessage method
LinoTelschow Feb 1, 2022
9c9a96f
splitted io spec between router and io_verification packages
LinoTelschow Feb 1, 2022
b9330ad
added internal event after decodePkt
LinoTelschow Feb 3, 2022
b464ed4
added internal events after processOHP and processSCION
LinoTelschow Feb 3, 2022
8af5082
added internal decodeIntraBFD event
LinoTelschow Feb 3, 2022
288df19
added termination spec to IO spec functions
LinoTelschow Feb 3, 2022
4a8e525
added internal sendIntraBFD event
LinoTelschow Feb 3, 2022
0de1fea
added processOther event
LinoTelschow Feb 4, 2022
15f47f5
added internal packPkt event
LinoTelschow Feb 4, 2022
4027865
moved all io spec files to router package
LinoTelschow Feb 4, 2022
159ba07
removed deleting of facts in io spec
LinoTelschow Feb 4, 2022
32b7352
removed deleting of facts in dataplane
LinoTelschow Feb 5, 2022
bf39658
added IO spec for interBFD case
LinoTelschow Feb 10, 2022
83e6642
implemented some PR suggestions
LinoTelschow Feb 16, 2022
0e79046
implemented some PR suggestions part 2
LinoTelschow Feb 16, 2022
915b737
implemented some PR suggestions part 3
LinoTelschow Feb 17, 2022
6e1ac3a
implemented some PR suggestions part 4
LinoTelschow Feb 17, 2022
7816a41
implemented some PR suggestions part 5: added AbsBytes, and sendIntrB…
LinoTelschow Feb 18, 2022
a00cbf1
implemented some PR suggestions part 6: added sendIntraBFD and sendte…
LinoTelschow Feb 18, 2022
1f0dc5e
implemented some PR suggestions part 7: adapted comment
LinoTelschow Feb 21, 2022
855b7c5
implemented some PR suggestions part 8: fixed postcondition problem i…
LinoTelschow Feb 21, 2022
60b86a3
added parantheses to make it parse with the old parser
LinoTelschow Feb 22, 2022
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading