Skip to content

update to pull pico changes #7

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

Closed
lnsun wants to merge 46 commits into from
Closed

update to pull pico changes #7

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
46 commits
Select commit Hold shift + click to select a range
fca2997
move vp order
lnsun May 19, 2020
97d5a34
fix Issue376 crush: receiver-sensitive poly resolution
lnsun May 28, 2020
9c0e47d
fix Issue887: make TreeUtils#getAssignmentContext() consistent with T…
lnsun May 30, 2020
09142ab
Revert "Fix Issue #2432: move poly.resolve before typevar substitutio…
lnsun Jun 3, 2020
b0cf16c
fix Issue887 & ValueChecker tests (allTests passed)
lnsun Jun 7, 2020
e5da824
Revert "Revert "Fix Issue #2432: move poly.resolve before typevar sub…
lnsun Jun 7, 2020
c4ddc40
flexible poly super
lnsun Jun 8, 2020
6348f85
vp adapter update
lnsun Jun 8, 2020
904592a
Remove javadoc.astub file; fixes #3357
mernst Jun 10, 2020
991c8a1
Fix Javadoc errors
mernst Jun 10, 2020
ed88d66
Tweak changelog
mernst Jun 10, 2020
b200357
Improve documentation of @SuppressWarnings keys
mernst Jun 10, 2020
4bdbde2
Fewer cd commands in examples
mernst Jun 10, 2020
c7688ae
crush avoiding
lnsun Jun 10, 2020
2127b7f
Fix bug in quoting
mernst Jun 10, 2020
f0ba723
Make diagnostic output more specific
mernst Jun 10, 2020
08aa506
Add a link in Javadoc
mernst Jun 10, 2020
180fe49
Bump versions.autoValue from 1.7.2 to 1.7.3
dependabot-preview[bot] Jun 11, 2020
02a996a
Merge branch 'pull-pico-changes' of https://github.com/xingweitian/ch…
lnsun Jun 15, 2020
e91a9d1
value checker import
lnsun Jun 15, 2020
ee91d62
Stubparser tweaks (#3374)
mernst Jun 15, 2020
2381420
Improve AnnotatedTypeScanner and SimpleAnnotatedTypeScanner (#3319)
smillst Jun 15, 2020
9c29d50
Reduce jdk8.astub files
mernst Jun 15, 2020
99c3003
AbstractQualifierPolymorphism: use AnnotationMirrors instead of sets …
smillst Jun 16, 2020
3a73d02
Refactor private method in TypeFromTreeVisitor (#3368)
smillst Jun 16, 2020
05c16e8
Add quoting of shell variables
mernst Jun 15, 2020
a0c5d2f
Adjust exclusion rule for Emacs TAGS table
mernst Jun 16, 2020
19f5c54
Bump com.github.johnrengelman.shadow from 5.2.0 to 6.0.0
dependabot-preview[bot] Jun 16, 2020
0e6102e
Exclude javac.jar. (#3386)
smillst Jun 16, 2020
9e5b4de
Remove TypecheckResult.fromCompilationResultsExpectedDiagnostics() (#…
mernst Jun 16, 2020
1cb0929
rename and comment
lnsun Jun 16, 2020
322339b
Clone annotated JDK in framework
mernst Jun 16, 2020
8aca628
Use # before issue numbers
mernst Jun 16, 2020
c087041
Remove statically-executable.astub
mernst Jun 17, 2020
7ffdd6c
Add a generic accumulation checker (#3306)
kelloggm Jun 17, 2020
5517b3b
Bump biz.aQute.bnd.gradle from 5.1.0 to 5.1.1
dependabot-preview[bot] Jun 18, 2020
0e844ea
Issue was fixed, so revert change. (#3391)
smillst Jun 18, 2020
f099aa5
add VPA test checker
lnsun Jun 22, 2020
521030b
javadoc
lnsun Jun 22, 2020
bbc679c
Add anchors for steps in "tips for creating a checker"
mernst Jun 22, 2020
74d6742
Fix wildcard imports.
smillst Jun 23, 2020
7b017cb
revert changes, use conservative assign ctx in typevar infer
lnsun Jun 23, 2020
97cfb62
Merge branch 'master' of https://github.com/typetools/checker-framewo…
lnsun Jun 23, 2020
b219fef
Merge pull request #144 from lnsun/tt-update
xingweitian Jun 23, 2020
fa0537d
Merge branch 'master' of https://github.com/opprop/checker-framework …
lnsun Jun 23, 2020
92effb1
adapt to typetools changes
lnsun Jun 24, 2020
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions build.gradle
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@ import de.undercouch.gradle.tasks.download.Download

plugins {
// https://plugins.gradle.org/plugin/com.github.johnrengelman.shadow (v5 requires Gradle 5)
id 'com.github.johnrengelman.shadow' version '5.2.0'
id 'com.github.johnrengelman.shadow' version '6.0.0'
// https://plugins.gradle.org/plugin/de.undercouch.download
id "de.undercouch.download" version "4.0.4"
id 'java'
Expand Down Expand Up @@ -583,7 +583,7 @@ subprojects {
if (!project.name.startsWith('checker-qual')) {
task tags(type: Exec) {
description 'Create Emacs TAGS table'
commandLine "bash", "-c", "find . \\( -name jdk11 \\) -prune -o -name '*.java' -print | sort-directory-order | xargs ctags -e -f TAGS"
commandLine "bash", "-c", "find . \\( -name build \\) -prune -o -name '*.java' -print | sort-directory-order | xargs ctags -e -f TAGS"
}
}

Expand Down
Loading