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