SV-COMP Benchmark Suite

Name	Name	Last commit message	Last commit date
Latest commit PhilippWendler Enable -Werror=implicit-int in build system. Apr 26, 2016 c5b6508 · Apr 26, 2016 History 1,021 Commits
c	c	Enable -Werror=implicit-int in build system.	Apr 26, 2016
clauses	clauses	renamed to Consistency	Jan 13, 2014
java/MinePump	java/MinePump	Fix compile errors by introducing empty dummy methods	Sep 14, 2015
.travis.yml	.travis.yml	Revert "Merge pull request sosy-lab#139 from delcypher/preproc"	Apr 22, 2016
README.md	README.md	Fix broken TravisCI build status badge. The breakage is due to the move	Dec 3, 2015

Provide feedback