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

A verifier for approximations of transcendental functions.

DeathStarBench modified with X-Trace tracing

Raw Jaeger traces and X-Trace converted traces of DeathStarBench executions

3D visualization of asynchronous program executions.

A custom Akka dispatcher that logs and controls the delivery order of actor messages.

Safety of a syntactically unsafe symbol ADT.

Automation for Iris