search

eisop / checker-framework

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

Work around `IndexOutOfBoundsException` in `AtmLubVisitor` #696

Closed wmdietl closed 6 months ago

wmdietl commented 6 months ago

This might be unsound and should be investigated further.