Explore GitLab
Discover projects, groups and snippets. Share your projects with others

Dan Frumin / irisatomic
Logically Atomic Triples in Iris

Lily Tsai / dataForPrototype
Data in csv format
0updated 
FP / iristutorial
Exercises for the Iris tutorial
0updated 
David Swasey / derekpopl18talk
Safety of a syntactically unsafe symbol ADT.
1updated 
Xiaojie Guo / rtproofs
The main Coq development.
0updated 
Maxime Lesourd / rtproofs
The main Coq development.
0updated 
Jonas Kastberg / iriscoq
The Coq development for Iris

Joseph Tassarotti / fricoq
An extension of the Iris program logic to support linearity and fair refinement reasoning.

0updated

Paolo G. Giarrusso / iriscoq
The Coq development for Iris
0updated 
0updated

FP / irisexamples
Some example verification demonstrating the use of Iris.

0updated

AVA / FloVer
A certificate checker for roundoff error bounds
0updated 
0updated

Robbert / ragps
A soundness proof for GPS and RSL with ReleaseAcquire semantics in Iris.
0updated 
FP / opamdev
opam repository for development versions of things we develop.
1updated 
Utkarsh Upadhyay / mlss2016website
MLSS 2016 website.
0updated 
0updated