GitHub · Where software is built

Labels Milestones New issue

Verify Secure Information Flow

#409

· henriman opened

on Sep 30, 2025

Use new `asserting` statement

#384

· jcp19 opened

on Nov 14, 2024

Finish `prepareSCMP`

partially-verified

#360

· jcp19 opened

on Jun 18, 2024

Readability improvements

#353

· jcp19 opened

on Jun 11, 2024

Introduce obligations to enforce closing locks

deadlock-freedom

#338

· jcp19 opened

on May 6, 2024

`processEpic`

partially-verified

#196

· jcp19 opened

on Mar 13, 2023

Build benchmark scripts

#177

· jcp19 opened

on Feb 15, 2023

`router/dataplane.go`: information hiding and refactoring

maintainability

#155

· jcp19 opened

on Jan 23, 2023

Verify `layertypes.go`

partially-verified

#77

· jcp19 opened

on Sep 8, 2022