Discover projects, groups and snippets. Share your projects with others
The public repository of the paper "Interactive Programming for Parametric CAD".
An extended "Standard Library" for Coq. [coqdoc]
Practical verification of numerical kernels
ns3 simulations for different congestion control algorithms and network scenarios.
The Coq development for Iris. [project website] [coqdoc]
This project contains some scripts and other files that are used by many Iris project for their CI
The main Coq development of the Prosa project: http://prosa.mpi-sws.org
Public releases for the dPCF project
Publicly released Azure Functions traces from https://github.com/Azure/AzurePublicDataset/blob/master/AzureFunctionsDataset2019.md
Some example verification demonstrating the use of Iris.
Spark instrumented with tracing framework. Up to date with version 1.6.1; last modified end of 2017. Most up to date branch is brownsys-tracingplane-v1.6.1
Modified version of the TPC-DS benchmark; primarily used as a workload for Spark. Has been modified to support tracing.
OLD VERSION, SEE https://gitlab.mpi-sws.org/iris/reloc INSTEAD