Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
OLD VERSION, SEE https://gitlab.mpi-sws.org/iris/reloc INSTEAD
-
A logic for proving contextual refinements [project website]
-
A logic for proving contextual refinements [project website]
-
golang implementation of X-Trace and pubsub, also including some funky rewriting in order to get goroutine local variables.
Currently, the golang imports still point back to the repository hosted on GitHub. Depends on the tracingplane-go repository.
-
The Coq development for Iris
-
-
The Coq development for Iris. [project website] [coqdoc]
-
-
-
-
The Coq development for Iris. [project website] [coqdoc]
-
-
A combination of GPS and FSL in the ORC11 semantics (the promising semantics WITHOUT promises)
-
-
Operational Repaired C11
-
-
An extended "Standard Library" for Coq. [coqdoc]
-
