This repository has been archived by the owner on Apr 20, 2020. It is now read-only.

gradual-verification / infer-gv-data Public archive

The results of running the infer-gv-impl checker on open-source projects.

github.com/gradual-verification/graduator

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 69 Commits
AutoDispose		AutoDispose
ColdSnap		ColdSnap
FloatingActionButtonSpeedDial		FloatingActionButtonSpeedDial
OANDAFX		OANDAFX
QRContact		QRContact
RIBs		RIBs
ReactiveNetwork		ReactiveNetwork
butterknife		butterknife
caffeine		caffeine
filesystem-generator		filesystem-generator
jib		jib
keyvaluestore		keyvaluestore
meal-planner		meal-planner
okbuck		okbuck
picasso		picasso
skaffold-tools-for-java		skaffold-tools-for-java
test-ribs		test-ribs
uLeak		uLeak
.gitignore		.gitignore
.travis.yml		.travis.yml
LICENSE		LICENSE
README.md		README.md
autofill.py		autofill.py
bar.py		bar.py
common.py		common.py
disagreement.json		disagreement.json
disagreement.md		disagreement.md
explain.py		explain.py
explain.sh		explain.sh
requirements.txt		requirements.txt
venn.py		venn.py