forked from amesbah/daikon-javascript-output
barkinet/daikon-javascript-output
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
Repository files navigation
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd"> <html> <head> <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-15"> <title>Daikon invariant detector distribution</title> </head> <body> <h1>Daikon invariant detector distribution</h1> <p> This is the distribution of the <a href="http://pag.csail.mit.edu/daikon/">Daikon invariant detector</a>, Daikon version 4.1.7, released November 1, 2005. <p> <p> You should start out by reading the <a href="doc/index.html">documentation</a> which includes installation instructions. </p> </body> </html>
About
Daikon extended with a JavaScript output format
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published
Languages
- C 65.6%
- Java 28.3%
- Roff 1.4%
- C++ 1.2%
- Assembly 1.0%
- Perl 1.0%
- Other 1.5%