search

typetools / checker-framework

Pluggable type-checking for Java
http://checkerframework.org/
Other
990 stars 347 forks source link

Rename `stores` to `inputs` for consistency with `AbstractAnalysis` #6601

Closed mernst closed 1 week ago