- 4bb4088 Remove JetBrains annotations as a dependency. by Matthias Andreas Benkard · 2 days ago feature/no-jetbrains-annotations
- 15310a2 Release 0.1.10 by Matthias Andreas Benkard · 4 months ago v0.1.10
- 15456c8 Switch from JetBrains annotations to JSpecify. by Matthias Andreas Benkard · 4 months ago
- 7a03821 Bump version to 0.1.10-SNAPSHOT. by Matthias Andreas Benkard · 9 months ago
- ae9b99e Release 0.1.9. by Matthias Andreas Benkard · 9 months ago v0.1.9
- fde5064 Bump version to 0.1.9-SNAPSHOT. by Matthias Andreas Benkard · 12 months ago
- 63382ac Release 0.1.8. by Matthias Andreas Benkard · 12 months ago v0.1.8
- df853ef Add property-based tests and fix the bugs discovered. by Matthias Andreas Benkard · 12 months ago
- 91dbd74 Remove Checker Framework; add NullAway, Picnic Error Prone Support. by Matthias Andreas Benkard · 2 years, 1 month ago
- eac6ed7 Bump version to 0.1.8-SNAPSHOT. by Matthias Andreas Benkard · 2 years, 2 months ago
- 5250458 Release 0.1.7. by Matthias Andreas Benkard · 2 years, 2 months ago v0.1.7
- e002237 Make annotation dependencies optional again. by Matthias Andreas Benkard · 2 years, 2 months ago
- 789a7fe Bump version to 0.1.7-SNAPSHOT. by Matthias Andreas Benkard · 2 years, 9 months ago
- 833e8c8 Release 0.1.6. by Matthias Andreas Benkard · 2 years, 9 months ago v0.1.6
- 3a42de6 POM: Move Checker Framework dependencies to submodules. by Matthias Andreas Benkard · 2 years, 9 months ago
- b5d657a Clarify licensing through REUSE annotations. by Matthias Andreas Benkard · 2 years, 10 months ago
- e14bd1b Bump version to 0.1.6-SNAPSHOT. by Matthias Andreas Benkard · 2 years, 11 months ago
- 2db188d Release 0.1.5. by Matthias Andreas Benkard · 2 years, 11 months ago v0.1.5
- 19d4af8 Bump version to 0.1.5-SNAPSHOT. by Matthias Andreas Benkard · 2 years, 11 months ago
- 484fc94 Release 0.1.4. by Matthias Andreas Benkard · 2 years, 11 months ago v0.1.4
- 796b19d POM: Split into -bom, -core, -parent, -bundle. by Matthias Andreas Benkard · 3 years ago