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

Discovery channel #158

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

Discovery channel #158

wants to merge 141 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 30 commits July 30, 2020 12:07
@mernst
Fix pre-commit hook
b498aac
@mernst
Add SystemUtil.sleep method (typetools#3527)
844034d
@aditya3434
Add dump-on-error option (Fixes typetools#1395) (typetools#3406)
e8be209
@PRITI1999
Improve UserError message in createActiveOptions() (typetools#3530)
c46765e
@mernst
Interface should not reference implementation subclasses
b7f353d
@jwaataja
Improve defaults for local variables with a qualifier parameter (type…
d9e984f 
…tools#3503)

Changes the defaulting for local variables with a qualifier parameter. Instead of defaulting to top, local variables with an initialializer default to the type of the right hand side of the assignment.
@wmdietl
Remove FrameworkPer[Directory/File]Test and use CheckerFramework vers…
50baa53 
…ions. (typetools#3525)
@wmdietl
Improve option handling (Fixes typetools#3528) (typetools#3537)
b117399
@mernst
Visualize CFGs without package names (typetools#3516)
7200178
@mernst
Support remove() in iterator (typetools#3538)
32a57f2
@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
@mernst
Improve documentation
b2cc961
@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
@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
@lnsun
rename util
8e0c4d0
@lnsun
replace default getter with supplier
01450b7
@lnsun
Merge branch 'master' of https://github.com/typetools/checker-framework…
982c70c 
… into discovery-channel
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.