GitHub - SecurFi/daikon: Dynamic detection of likely invariants

SecurFi / daikon Public

forked from codespecs/daikon

Notifications You must be signed in to change notification settings
Fork 0
Star 0

Dynamic detection of likely invariants

plse.cs.washington.edu/daikon/

View license

0 stars 54 forks Branches Tags Activity

Star

Notifications

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 11,734 Commits
.circleci		.circleci
.github		.github
doc		doc
examples		examples
front-end/perl		front-end/perl
java		java
scripts		scripts
tests		tests
tools		tools
.gitignore		.gitignore
.travis-build-without-test.sh		.travis-build-without-test.sh
.travis-build.sh		.travis-build.sh
.travis.yml		.travis.yml
LICENSE.txt		LICENSE.txt
Makefile		Makefile
README		README
README.source		README.source
azure-pipelines.yml		azure-pipelines.yml

Repository files navigation

This is the distribution of the Daikon invariant detector,
Daikon version 5.8.21, released May 14, 2024.

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.