GitHub - typetools/checker-framework.demos: Demos for the Checker Framework

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 176 Commits
creating-checker-demo		creating-checker-demo
interning-abstract-interpretation-demo		interning-abstract-interpretation-demo
nonnull-interned-demo		nonnull-interned-demo
presentations		presentations
proposals		proposals
.gitignore		.gitignore
.travis-build.sh		.travis-build.sh
.travis.yml		.travis.yml
README		README
build.xml		build.xml

Repository files navigation

This repository contains demos of the Checker Framework
that have been presented at various conferences.

The Encrypted Checker Demo from JavaOne 2016 can be found at
https://github.com/typetools/checker-framework/tree/master/docs/examples/subtyping-extension