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)

Name		Name	Last commit message	Last commit date
Latest commit History 384 Commits
adiff-docker		adiff-docker
adiff-server		adiff-server
adiff		adiff
docker/adiff		docker/adiff
language-c-extensible		language-c-extensible
.dockerignore		.dockerignore
.ghci		.ghci
.gitattributes		.gitattributes
.gitignore		.gitignore
.travis.yml		.travis.yml
LICENSE		LICENSE
Makefile		Makefile
README.md		README.md
stack.yaml		stack.yaml

Provide feedback