GitHub · Where software is built

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

Labels Milestones

Add ghost parameter to processPkt and its dependencies

#63

· LinoTelschow opened

on Feb 18, 2022

Improved DataPlaneMutexInvariant contracts

#61

· LinoTelschow opened

on Jan 28, 2022

Clean-up code in dataplane.gobra

#60

· LinoTelschow opened

on Jan 27, 2022

speed up verification of slayers package

#55

· LinoTelschow opened

on Dec 17, 2021

Clean-up and verify all assumptions made in `scion.gobra` in the `slayers` package

#25

· jcp19 opened

on Sep 28, 2021

Fix stubs for the `gopacket` library

#23

· jcp19 opened

on Sep 26, 2021