Age | Commit message (Expand) | Author |
---|---|---|
2022-01-09 | [fixes #3081] make CheckerFramework's This a type annotation | Jan Rieke |
2022-01-07 | [fixes #2908] don't generate checkerframework's @NotCalledMethods | Jan Rieke |
2020-10-08 | [fixup] Fixing up the checkerframework `@CalledMethods` annotation package re... | Reinier Zwitserloot |
2020-10-04 | The Object Construction Checker has been renamed the Called Methods Checker | Michael Ernst |
2020-10-03 | Untangling patches to classes that only exist in eclipse, not ecj | Reinier Zwitserloot |
2020-01-28 | [issue #2221] [issue #788] Lombok now adds nullity annotations. | Reinier Zwitserloot |