Use Checker Framework version 3.46.0
Pull request merge
mernstpushed 1 commit to master • 0a7b146…9d06558 • on Aug 5, 2024
Use Checker Framework version 3.46.0
Remove unused command-line flag
mernstpushed 2 commits to master • fc8f0ec…0a7b146 • on Apr 27, 2024
mernstpushed 1 commit to master • d46edd3…fc8f0ec • on Apr 26, 2024
Set version number to 33.1.0.1
mernstpushed 3 commits to master • b81481b…d46edd3 • on Apr 26, 2024
How to import a key into your keyring
mernstpushed 3 commits to master • b1f2df1…b81481b • on Apr 24, 2024
mernstpushed 217 commits to master • c0c3272…b1f2df1 • on Apr 24, 2024
mernstpushed 1 commit to master • 8f7430b…c0c3272 • on Apr 24, 2024
mernstpushed 130 commits to master • 173d01d…8f7430b • on Apr 24, 2024
Clarify notes on re-releasing
mernstpushed 1 commit to master • 4c6ac54…173d01d • on Apr 23, 2024
Clarification about testing time
mernstpushed 1 commit to master • 68b5142…4c6ac54 • on Apr 23, 2024
More commands for pulling in upstream
mernstpushed 1 commit to master • 2dc1b2c…68b5142 • on Apr 22, 2024
mernstpushed 322 commits to master • 135af48…2dc1b2c • on Apr 20, 2024
mernstpushed 307 commits to master • 54f9fb1…135af48 • on Apr 19, 2024
Reduce diffs with upstream
mernstpushed 1 commit to master • 06fa963…54f9fb1 • on Apr 18, 2024
Reduce diffs from upstream
mernstpushed 1 commit to master • 9e2a4c3…06fa963 • on Apr 18, 2024
mernstpushed 1 commit to master • 998ba1f…9e2a4c3 • on Apr 17, 2024
mernstpushed 1 commit to master • def2c20…998ba1f • on Apr 15, 2024
mernstpushed 1 commit to master • 83fa1b1…def2c20 • on Apr 14, 2024
More about updating to a non-released version of the upstream library
mernstpushed 1 commit to master • 3be8b5a…83fa1b1 • on Apr 14, 2024
mernstpushed 1 commit to master • fac08ba…3be8b5a • on Apr 10, 2024
Do not squash the merge away
mernstpushed 1 commit to master • ab472b3…fac08ba • on Apr 10, 2024
Adapt to CF's type argument inference improvements. (
#78 )
Pull request merge
smillstpushed 1 commit to master • 68e7ba4…ab472b3 • on Dec 18, 2023
Add AssertMethod annotations
Pull request merge
mernstpushed 1 commit to master • d8cdaa0…68e7ba4 • on Dec 7, 2023
Use assembleForJavac to build the Checker Framework
Pull request merge
mernstpushed 1 commit to master • 2d23441…d8cdaa0 • on Oct 4, 2023
You can’t perform that action at this time.