Practical Immutability For Classes And Objects(PICO)

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

Name		Name	Last commit message	Last commit date
Latest commit History 224 Commits
.github		.github
gradle/wrapper		gradle/wrapper
lib		lib
src		src
testinput		testinput
.ci-build-without-test.sh		.ci-build-without-test.sh
.ci-build.sh		.ci-build.sh
.classpath		.classpath
.gitignore		.gitignore
.project		.project
LICENSE.txt		LICENSE.txt
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