Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
Burcu Özkan / pctcp-cass
PCTCP (Probabilistic Concurrency Testing with Chain Partitioning) algorithm for testing Cassandra system. Implemented on top of SAMC/DMCK distributed system model checking tool.
0updated -
FP / orc11
Operational Repaired C11
-
0updated
-
0updated
-
Marianna Rapoport / iris-coq
The Coq development for Iris
0updated -
Janno / iris-coq
The Coq development for Iris
0updated -
Jan / iris-coq
The Coq development for Iris
-
0updated
-
Glen Mével / iris-coq
The Coq development for Iris
-
rLTL / rltl2ltl
rLTL to LTL rewriter
0updated -
Antonin Riffard / rt-proofs
The main Coq development.
0updated -
0updated
-
Dan Frumin / iris-examples
Some example verification demonstrating the use of Iris.
0updated -
FP / iris-ci
This project contains some scripts and other files that are used by many Iris project for their CI
0updated -
Joseph Tassarotti / ipm-fscq-demo
This is a demo showing how the the Iris Proof Mode can be used with FSCQ.
0updated -
Amin Timany / iris-ora
Formalizes the ordered RA model of Iris
-
AVA / FloVer
A certificate checker for roundoff error bounds
-
Aman Shankar Mathur / VRTrackingSimulator
A simulator to visualize/analyze tracking data from VR
0updated -
Filip Niksic / PSharp
Safe asynchronous event-driven .NET programming.
0updated