search

eisop / checker-framework

Pluggable type-checking for Java
https://eisop.github.io/
Other
15 stars 16 forks source link

PICO checker #762

Closed Ao-senXiong closed 1 month ago

Ao-senXiong commented 1 month ago

I am not sure this will be easier or harder to review for PICO. I can getting PICO to eisop since ultimately we will do.

wmdietl commented 1 month ago

Let's finish reviewing and improving this in the separate repo before moving it here.