Skip to content
Tool for differentially testing soundness and precision of program analyzers
Branch: master
Clone or download
Pull request Compare This branch is even with Practical-Formal-Methods:master.
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
adiff-docker
adiff-server
adiff
docker/adiff
language-c-extensible
.dockerignore
.ghci
.gitattributes
.gitignore
.travis.yml
LICENSE
Makefile
README.md
stack.yaml

README.md

Build Status

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)
You can’t perform that action at this time.