ADiff

This repository contains the following projects:

• adiff The main project README
• adiff-server a web application to search for soundness/completeness issues in recorded runs
• language-c-extensible A fork of language-c that enables custom annotations on the AST
• adiff-docker a small utility to execute a container with all tools installed (obsolete)