Daikon invariant detector distribution

Daikon invariant detector distribution - [ Home | FAQ |...

Info iconThis preview shows pages 1–2. Sign up to view the full content.

View Full Document Right Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
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

Page1 / 2

Daikon invariant detector distribution - [ Home | FAQ |...

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online