This is the end of the preview.
Sign up
to
access the rest of the document.

Unformatted text preview: [ Home | FAQ | Download | Documentation | Publications | Mailing lists ] Daikon invariant detector distribution This is the distribution site for the Daikon invariant detector. The current release is Daikon version 4.6.4, released June 23, 2010. ( CHANGES file ) In addition to the below downloads, also see the documentation and the mailing lists . Daikon distribution : This is everything most people need to get started with invariant detection. Choose a format (both have the same contents): Zip file: daikon.zip (23 June 2010, 95 Mbytes) Gzipped tar file: daikon.tar.gz (23 June 2010, 91 Mbytes) Download either the zip file or the tar file, whichever you prefer. The Daikon distribution includes everything you need to start using Daikon: source files, compiled files (including daikon.jar ), documentation, examples, and more. Front ends A front end enables Daikon to work on a specific programming language, such as Java, C/C++, Eiffel, or Perl. The Daikon distribution contains front ends that are sufficient for most people's purposesor Perl....
View
Full Document