Features to enable PICO - Githubissues

opprop / checker-framework-inference

Inference of pluggable types for Java

6 stars 13 forks source link

Features to enable PICO #444

Open Ao-senXiong opened 5 months ago

Ao-senXiong commented 5 months ago

Merge with: https://github.com/opprop/immutability/pull/43

The following PRs can be closed after merge this one: https://github.com/opprop/checker-framework-inference/pull/244 https://github.com/opprop/checker-framework-inference/pull/412 https://github.com/opprop/checker-framework/pull/147 https://github.com/opprop/checker-framework/pull/145 https://github.com/opprop/checker-framework/pull/142