GitLab

Parallel reactive synthesis for omega-regular specifications under the transition fairness condition

The main Coq development.

Controller synthesis for stochastic dynamical system by means of finite abstraction

Website for SOSP2021 (http://sosp2021.mpi-sws.org)

This project contains some scripts and other files that are used by many Iris project for their CI

A certificate checker for roundoff error bounds

Coq code verifying theorems for Pirouette.

The Coq development for Iris. [project website] [coqdoc]

DeathStarBench modified with X-Trace tracing

Public repository of the paper 'Constraint Synthesis for Parametric CAD'.

Analysis of type classes for Backpack, part of Scott Kilpatrick's PhD thesis. Library for determining the worlds of type class knowledge that modules have. Also a binary, orphans-stats, to compute statistics about orphan instances.

This repo contains our prototype implementing the generalised projection of global types from our MST framework with generalised choice.

Maintainer: Felix Stutz

Test -- emp-sh2pc running with FerretCOT in malicious mode.