Practical Immutability For Classes And Objects(PICO)

PICO is a type system that supports class level and object level immutability based on Checker Framework. PICO is formalized in clickme.

Name		Name	Last commit message	Last commit date
Latest commit History 214 Commits
gradle/wrapper		gradle/wrapper
lib		lib
src		src
testinput		testinput
.classpath		.classpath
.gitignore		.gitignore
.project		.project
.travis-build.sh		.travis-build.sh
.travis.yml		.travis.yml
MUSEcleanup.sh		MUSEcleanup.sh
MUSEinferdemo.sh		MUSEinferdemo.sh
MUSEtypecheckdemo.sh		MUSEtypecheckdemo.sh
README.md		README.md
build.gradle		build.gradle
check.sh		check.sh
gradlew		gradlew
gradlew.bat		gradlew.bat
infer.sh		infer.sh
run-dljc.sh		run-dljc.sh

Provide feedback