Axiomatic pWCET, formalized in Coq
This project contains some scripts and other files that are used by many Iris project for their CI
Results for Clockwork OSDI 2020 paper
Standalone prebuilt X-Trace server and dockerized X-Trace server
