Daikon invariant detector documentation

This directory contains documentation for the Daikon invariant detector, Daikon version 5.1.16, released February 2, 2015. Also see the installation instructions and license.
You may also wish to read the published papers.