aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
3 daysPropagate more nullability info to lambdas known to be invoked synchronously ...upstream-masterManu Sridharan
10 daysRename test classes (#951)Manu Sridharan
2024-04-09External Library Models Integration (#922)Abhijit Kulkarni
2024-03-29Prepare next development version.Yuxin Wang
2024-03-29Prepare for release 0.10.25.Yuxin Wang
2024-03-29Handle methods that fail unconditionally in ContractHandler (#946)Manu Sridharan
2024-03-27`Collectors.toMap` handling for streams (#938)Manu Sridharan
2024-03-26Add test for boolean contract with extra message argument (#945)Manu Sridharan
2024-03-24Update various dependencies (#939)Manu Sridharan
2024-03-22Track access paths of the form `Foo.this.bar` (#937)Manu Sridharan
2024-03-19Handle JDK 21 case operands in type refinement (#928)Manu Sridharan
2024-03-11JSpecify: Handle @Nullable assignments to @Nonnull arrays (#929)Md Armughanuddin
2024-03-04Prepare next development version.Yuxin Wang
2024-03-04Prepare for release 0.10.24.Yuxin Wang
2024-03-04Fix handling of references to methods of array types and type variables (#926)Manu Sridharan
2024-03-04Fix another JSpecify raw type issue (#925)Manu Sridharan
2024-03-02JSpecify: skip checking when type is primitive (#924)Manu Sridharan
2024-02-23Add codecov token (#921)Yuxin Wang
2024-02-23Check dereference of qualifier expression in method reference (#920)Manu Sridharan
2024-02-23JSpecify test case for generic methods (#918)Manu Sridharan
2024-02-16Update to Error Prone 2.25.0 (#916)Manu Sridharan
2024-02-16Add library model for Files.isDirectory (#913)Manu Sridharan
2024-02-16Update to Gradle 8.6 (#914)Manu Sridharan
2024-02-16Fix lombok config example more correctly on README (#911)keiji muraishi
2024-02-15Prepare next development version.Yuxin Wang
2024-02-15Prepare for release 0.10.23.Yuxin Wang
2024-02-14Support for extra Futures classes (#909)Manu Sridharan
2024-02-09Adding support for nullable type upper bounds considering Library models (#903)Abhijit Kulkarni
2024-02-07Fix handling of static imports from subclasses (#904)Manu Sridharan
2024-02-06JSpecify: Reason about nullability of reads from arrays (#875)Md Armughanuddin
2024-02-05Bump various CI workflow versions (#906)Manu Sridharan
2024-02-02Add foojay-resolver-convention plugin (#905)Manu Sridharan
2024-02-02update for missing a couple possibly unsafe xml parser (#902)Yiheng Cao
2024-01-29Prepare next development version.Yuxin Wang
2024-01-29Prepare for release 0.10.22.Yuxin Wang
2024-01-25Update instructions for Android and our sample app (#900)Manu Sridharan
2024-01-25Fix crash with raw types in overrides in JSpecify mode (#899)Manu Sridharan
2024-01-25Fix bug with implicit equals() methods in interfaces (#898)Manu Sridharan
2024-01-13Prepare next development version.Yuxin Wang
2024-01-13Prepare for release 0.10.21.Yuxin Wang
2024-01-14Downgrade to Checker Framework 3.40.0 (#895)Manu Sridharan
2024-01-13Fix backwards-incompatible calls to ASTHelpers.hasDirectAnnotationWithSimpleN...Manu Sridharan
2024-01-12Prepare next development version.Yuxin Wang
2024-01-12Prepare for release 0.10.20.Yuxin Wang
2024-01-10Fix JSpecify support on JDK 21 (#869)Abhijit Kulkarni
2024-01-03Update to Error Prone 2.24.1 (#888)Manu Sridharan
2024-01-03Update to WALA 1.6.3 (#887)Manu Sridharan
2023-12-27Prepare next development version.Lazaro Clapp
2023-12-27Prepare for release 0.10.19.Lazaro Clapp
2023-12-26Revert "Model Lombok-generated equals methods as having a @Nullable p… (#886)Manu Sridharan
generated by cgit v1.2.3 (git 2.25.1) at 2024-05-03 04:06:50 +0000