forked from codespecs/daikon
-
Notifications
You must be signed in to change notification settings - Fork 1
Dynamic detection of likely invariants
License
tahiat/daikon
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
Repository files navigation
This is the distribution of the Daikon invariant detector, Daikon version 5.8.19, released June 24, 2023. If you are working with a Daikon distribution downloaded from the Daikon website, then most everything is setup and ready to go. See the 'doc' subdirectory for additional information, including installation instructions. You should start out with the file: doc/index.html The documentation also appears on the Daikon homepage: http://plse.cs.washington.edu/daikon/ If you are working with source cloned from the source code repository https://github.com/codespecs/daikon, then please review the file README.source.
About
Dynamic detection of likely invariants
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published
Languages
- C 40.2%
- Java 22.6%
- C++ 15.5%
- BlitzBasic 12.2%
- Makefile 1.9%
- Perl 1.7%
- Other 5.9%