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

cld / configzoo
Default configurations for a bunch of different systems
0updated 
cld / modelzoo
ONNX models and TVMoptimized models
0updated 
Daniel Gratzer / examples
Some example verification demonstrating the use of Iris.

Tej Chajed / iriscoq
The Coq development for Iris
0updated 
Tej Chajed / stdpp
An extended "Standard Library" for Coq

0updated

Michael Sammler / stdpp
An extended "Standard Library" for Coq

0updated

Iris / Iron
The Iron logic for precise reasoning about resources.

0updated

0updated

Burcu Özkan / pctcpcass
PCTCP (Probabilistic Concurrency Testing with Chain Partitioning) algorithm for testing Cassandra system. Implemented on top of SAMC/DMCK distributed system model checking tool.
0updated 
Burcu Özkan / checklin
The implementation for checking linearizability using hitting families of schedules
0updated 
FP / orc11
Operational Repaired C11

0updated

0updated

Marianna Rapoport / iriscoq
The Coq development for Iris
0updated 
Janno / iriscoq
The Coq development for Iris
0updated 
Jan / iriscoq
The Coq development for Iris