Explore projects
-
Updated
-
cld / systems / DeathStarBench
GNU General Public License v2.0 or laterDeathStarBench modified with X-Trace tracing
Updated -
cld / tracing / hindsight
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Yusuke Matsushita / Iris
BSD 3-Clause "New" or "Revised" LicenseThe Coq development for Iris. [project website] [coqdoc]
Updated -
-
Simon Hudon / Iris
BSD 3-Clause "New" or "Revised" LicenseThe Coq development for Iris. [project website] [coqdoc]
Updated -
Ralf Jung / Iris
BSD 3-Clause "New" or "Revised" LicenseThe Coq development for Iris. [project website] [coqdoc]
Updated -
Matthieu Sozeau / Iris
BSD 3-Clause "New" or "Revised" LicenseThe Coq development for Iris. [project website] [coqdoc]
Updated -
Public repository of the paper 'Constraint Synthesis for Parametric CAD'.
Updated -
-
Armaël Guéneau / Iris
BSD 3-Clause "New" or "Revised" LicenseThe Coq development for Iris. [project website] [coqdoc]
Updated -
-
Ike Mulder / Iris
BSD 3-Clause "New" or "Revised" LicenseThe Coq development for Iris. [project website] [coqdoc]
Updated -
A modified version of StochasticSynthesis that we used for our TAC '21 and TACAS '22 submissions. The original repo is here: https://github.com/gtfactslab/StochasticSynthesis
Updated -
Benjamin Peters / Iris
BSD 3-Clause "New" or "Revised" LicenseThe Coq development for Iris. [project website] [coqdoc]
Updated -
Prototype gRPC server with a customizable topology; principally used for Hindsight evaluation.
Updated -
UpdatedUpdated