Discover projects, groups and snippets. Share your projects with others
Exercises for the Iris tutorial
Deprecated repository; please use the POPL 2021 version instead
Exercises for the Iris tutorial at POPL 2018
Iris with transfinite step-indexing
Java implementation of tracingplane and baggage
golang implementation of tracingplane / baggage stuff.
Note that some of the go imports might be out of whack since the repository is cloned from GitHub
Modified version of the TPC-DS benchmark; primarily used as a workload for Spark. Has been modified to support tracing.
An "Iris plugin" to add support for Gallina names in intro patterns to the Iris Proof Mode
Deprecated project. An "Iris plugin" to add support for Gallina names in intro patterns to the Iris Proof Mode
An extended "Standard Library" for Coq. [coqdoc]