Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Optimize datastructure #156

Open
wants to merge 142 commits into
base: master
Choose a base branch
from
Open

Optimize datastructure #156

wants to merge 142 commits into from

Conversation

wmdietl
Copy link
Member

@wmdietl wmdietl commented Aug 5, 2020

No description provided.

mernst and others added 30 commits July 5, 2020 08:14
@mernst
Add comma
d428f34
@mernst
The POM files list only the lead developers
4feace5
@mernst
State earlier that utility files use the MIT license
2e62dc3
@mernst
Put classes in more logical order
e4df548
@mernst
Improve formatting of Javadoc comment
6bfde18
@dependabot-preview
Bump de.undercouch.download from 4.0.4 to 4.1.0
6db45f4
@mernst
Add optional message argument to castNonNull; fixes typetools#3424 (t…
d7dcfe2 
…ypetools#3427)
@mernst
Permit @UsesObjectEquals when the class overrides equals() (typetoo…
29dfee3 
…ls#3426)
@mernst
Add Interning Checker method annotations @EqualsMethod and @CompareTo…
360170a 
…Method
@mernst
Fix indentation
70cc4f2
@mernst
Handle boxed primitives in the Signedness Checker
83305b2
@mernst
License clarification; fixes typetools#3429
7f44828
@smillst
Add TypeSystemError exception
2a9a131
@olekw
Remove external links to images
fa95fd5 
Images are already available locally. This change will prevent unnecessary Internet access and associated privacy concerns. (Imported from Debian packaging)
@kelloggm
Fix unprintable class when param types are inferred from assignments
423d0a2
@mernst
Emphasize that -AuseConservativeDefaultsForUncheckedCode suppresses w…
99406ea 
…arnings
@mernst
Rename WorkingNullness to NullnessSkipSome, simplify command-line arg…
a751028 
…ument
@smillst
Add isPolymorphicQualifier method to QualifierHierarchy class. (typ…
8f1dfe6 
…etools#3409)

* Add isPolymorphicQualifier method to QualifierHierarchy class.
* Use java.lang.annotation.Annotation.class as the default value for the meta-annotation PolymorphicQualifier. This makes the code less confusing.
* Move static package private methods closer to uses.
@mernst
Add contributor
8896256
@kelloggm
Fix null-pointer crash in Ainfer=stubs
dc530c3
@mernst
Implement @FindDistinct formal parameter annotation
4bd0591
@smillst
Interning Checker: Use factory method to get declaration annotation. (t…
999e2aa 
…ypetools#3440)
@xingweitian
Update LiveSimple.pdf. (typetools#3421)
ca7d2e9
@mernst
Run Interning Checker on the Checker Framework codebase
2ec4fd3
@mernst
Grammar fix
ad8aeec
@kelloggm
Print type parameters correctly for outer classes using -Ainfer=stubs
68a9d89
@mernst
Add nullness annotations to framework-test project (typetools#3446)
3c3ada0
@mernst
Test case for issue typetools#3449
d3da57a
@mernst
Re-enable Javadoc tests
c728dbd
@dependabot-preview
Bump versions.autoValue from 1.7.3 to 1.7.4
85b5f18
mernst and others added 29 commits July 31, 2020 13:50
@mernst
Improve documentation
271497a
@smillst
Make @DefaultFor and @DefaultQualifierForUse consistent
1234f80
@smillst
Run Error Prone on every compile
299c191
@mernst
Change block labels from long to Object; this makes formatting more f…
4272294 
…lexible
@mernst
Another justification for annotating an entire file
627c921
@mernst
Don't use deprecated class
ee56f99
@dependabot-preview
Bump plume-util from 1.1.4 to 1.1.5
e16123b
@PRITI1999
Propagate length information from argument to return value of Arrays.…
c9c65d1 
…copyOf() (typetools#3524)
@smillst
Prep for release.
a8a4e50
@smillst
new release 3.6.0
3611815
@smillst
Fix dataflow test classpath. (typetools#3548)
b087452
@smillst
Update version to 3.6.1-SNAPSHOT.
75151d1
@smillst
Merge branch 'master' of github.com:typetools/checker-framework
2f26266
@wmdietl
Only use reference equality.
d0eaf34
@wmdietl
Add test case from typetools#3550.
48ea6d0
@mernst
Do pluggable type-checking in misc CI job
8fbe02d
@mernst
Change file name to match the class it contains
07f8f42
@mernst
Improve whitespace style
3c0c443
@mernst
Rename TestChecker class
ea06f48
@mernst
Make indentation consistent
1e1fba9
@mernst
Ensure forking when invoking javac
592122d
@mernst
Concision
d57aec2
@mernst
Another symptom of not using the Checker Framework compiler
8264dc1
@mernst
Add link to CFI
bac8adb
@wmdietl
Suppress interning warnings. Fix javadoc.
c6f0ebf
@mernst
Move getSuccessors() into Block (typetools#3534)
d5d9069
@wmdietl
Undo change.
39221e3
@wmdietl
Merge branch 'master' of github.com:typetools/checker-framework into …
dbdf063 
…issue3484
@mernst
Improve interning annotations
1c825bd
@wmdietl wmdietl self-assigned this Aug 5, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@wmdietl wmdietl

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.