Invariant tools

This is a tool set for running Daikon and processing invariant data sets. Most of the tools were written in Python and some in Bash.

Tools start with "smt" are for submitting jobs to VIDIA clusters, need to be run in a VIDIA instance.

Name		Name	Last commit message	Last commit date
Latest commit History 48 Commits
.gitignore		.gitignore
README.md		README.md
adil2me.py		adil2me.py
bug2csv.py		bug2csv.py
callgraph.py		callgraph.py
callingTests.py		callingTests.py
check_merge.sh		check_merge.sh
checkout.py		checkout.py
csvcut.py		csvcut.py
diff-matrix.py		diff-matrix.py
diff_bugs.py		diff_bugs.py
diff_fix_tests.py		diff_fix_tests.py
diff_fixes.py		diff_fixes.py
extractCG.py		extractCG.py
fix_merged.sh		fix_merged.sh
footer1.py		footer1.py
footer2.py		footer2.py
gdown.pl		gdown.pl
getViolations.py		getViolations.py
header.py		header.py
influence.py		influence.py
infoBugs.py		infoBugs.py
invFilter.py		invFilter.py
invViolates.py		invViolates.py
invclean.py		invclean.py
invcount.py		invcount.py
invdiff.py		invdiff.py
invextract.py		invextract.py
invmerge.py		invmerge.py
invtype.sh		invtype.sh
merge.sh		merge.sh
runClosure.py		runClosure.py
runCompare.py		runCompare.py
runLang.py		runLang.py
runMath.py		runMath.py
runTime.py		runTime.py
run_lib.py		run_lib.py
similarity.py		similarity.py
smtClosure.py		smtClosure.py
smtLang.py		smtLang.py
smtTime.py		smtTime.py
status.py		status.py
tags		tags
validate.py		validate.py

Provide feedback