Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Switch from JetBrains annotations to JSpecify. | Matthias Andreas Benkard | 2024-07-20 | 1 | -0/+5 |
* | Bump version to 0.1.10-SNAPSHOT. | Matthias Andreas Benkard | 2024-03-02 | 1 | -2/+2 |
* | Release 0.1.9.v0.1.9 | Matthias Andreas Benkard | 2024-03-02 | 1 | -2/+2 |
* | Bump version to 0.1.9-SNAPSHOT. | Matthias Andreas Benkard | 2023-12-12 | 1 | -2/+2 |
* | Release 0.1.8.v0.1.8 | Matthias Andreas Benkard | 2023-12-12 | 1 | -2/+2 |
* | Add property-based tests and fix the bugs discovered. | Matthias Andreas Benkard | 2023-12-10 | 1 | -0/+5 |
* | Remove Checker Framework; add NullAway, Picnic Error Prone Support. | Matthias Andreas Benkard | 2022-10-17 | 1 | -14/+0 |
* | Bump version to 0.1.8-SNAPSHOT. | Matthias Andreas Benkard | 2022-10-09 | 1 | -2/+2 |
* | Release 0.1.7.v0.1.7 | Matthias Andreas Benkard | 2022-10-09 | 1 | -2/+2 |
* | Make annotation dependencies optional again. | Matthias Andreas Benkard | 2022-10-09 | 1 | -0/+3 |
* | Bump version to 0.1.7-SNAPSHOT. | Matthias Andreas Benkard | 2022-03-01 | 1 | -2/+2 |
* | Release 0.1.6.v0.1.6 | Matthias Andreas Benkard | 2022-03-01 | 1 | -2/+2 |
* | POM: Move Checker Framework dependencies to submodules. | Matthias Andreas Benkard | 2022-03-01 | 1 | -0/+14 |
* | Clarify licensing through REUSE annotations. | Matthias Andreas Benkard | 2022-02-03 | 1 | -0/+7 |
* | Bump version to 0.1.6-SNAPSHOT. | Matthias Andreas Benkard | 2021-12-30 | 1 | -2/+2 |
* | Release 0.1.5.v0.1.5 | Matthias Andreas Benkard | 2021-12-30 | 1 | -2/+2 |
* | Bump version to 0.1.5-SNAPSHOT. | Matthias Andreas Benkard | 2021-12-28 | 1 | -2/+2 |
* | Release 0.1.4.v0.1.4 | Matthias Andreas Benkard | 2021-12-28 | 1 | -2/+2 |
* | POM: Split into -bom, -core, -parent, -bundle. | Matthias Andreas Benkard | 2021-12-18 | 1 | -0/+56 |