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

Update to EISOP 3.32-eisop1 from 3.28-eisop1 #246

Merged
merged 107 commits into from
Feb 1, 2024
Merged

Update to EISOP 3.32-eisop1 from 3.28-eisop1 #246

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
107 commits
Select commit Hold shift + click to select a range
b3c2cda
Add VariableDeclarationNode for binding variable (#374)
zcai1 Dec 13, 2022
addcaad
typetools/checker-framework 3.29.0 release (#392)
wmdietl Feb 8, 2023
7c6331c
Reformat with Java 17
wmdietl Feb 8, 2023
d8e62f3
Make Node tables consistent. Other consistency fixes.
wmdietl Feb 8, 2023
c3d9898
Fix expected error keys
wmdietl Feb 8, 2023
14fe313
Fully remove permitUnsupportedJdkVersion option
wmdietl Feb 8, 2023
26f59d6
Use eisop artifacts
wmdietl Feb 8, 2023
9a2a78b
Code comment formatting fixes
wmdietl Feb 8, 2023
003e95f
Adapt implementation to prevalent style
wmdietl Feb 8, 2023
ff96eee
Add package-private
wmdietl Feb 8, 2023
488d3db
Make fields final
wmdietl Feb 8, 2023
5bcb553
Make helper method private
wmdietl Feb 8, 2023
ce3e4d1
typetools/checker-framework 3.29.0 release (#393)
wmdietl Feb 9, 2023
dfc3e74
typetools/checker-framework 3.30.0 release (#395)
wmdietl Feb 9, 2023
eb0b348
Maintain formatting of .ajava files
wmdietl Feb 9, 2023
3d99c60
Undo golden file changes, which were caused by import spacing
wmdietl Feb 9, 2023
f482030
Use eisop demos repository
wmdietl Feb 9, 2023
58a1e7a
Code comment formatting
wmdietl Feb 9, 2023
428b52f
Remove re-introduced incorrect comments
wmdietl Feb 9, 2023
46fe725
Use consistent relocate pattern
wmdietl Feb 9, 2023
7b50973
Predecessors/Successors of a Block are Sets, not Lists
wmdietl Feb 10, 2023
b05f5f6
Golden file fix
wmdietl Feb 10, 2023
3bca01f
Fix javadoc issues
wmdietl Feb 10, 2023
06ac7c1
Fix javadoc reference
wmdietl Feb 10, 2023
f673b89
Don't apply spotless plugin on Java 8
wmdietl Feb 10, 2023
405083a
Replace fastAssemble with assembleForJavac
wmdietl Feb 15, 2023
f40664b
Make package-private comment consistent within file
wmdietl Feb 15, 2023
d6e59ef
Undo whitespace change
wmdietl Feb 15, 2023
bf37a5e
Make fields final
wmdietl Feb 15, 2023
a02a0b7
Code comment formatting
wmdietl Feb 15, 2023
38850e1
Remove old package names (file is not compiled)
wmdietl Feb 15, 2023
bf7ad8f
Update changelog
wmdietl Feb 15, 2023
bb7caab
typetools/checker-framework 3.30.0 release (#396)
wmdietl Feb 15, 2023
068efe3
Move JSpecify build to separate tests (#402)
wmdietl Feb 16, 2023
d121d5c
Bump biz.aQute.bnd.gradle from 6.3.1 to 6.4.0 (#369)
dependabot[bot] Feb 17, 2023
b6839f3
Bump javax.servlet:javax.servlet-api from 3.1.0 to 4.0.1 (#394)
dependabot[bot] Feb 17, 2023
c743d78
Bump versions.autoValue from 1.7.4 to 1.10.1 (#397)
dependabot[bot] Feb 17, 2023
5ef9d89
Enforce consistent spacing around package-private (#401)
wmdietl Feb 17, 2023
ecc3458
Update documentation for dot and CFGVisualizeLauncher usage (#399)
farzanmirshekari Feb 17, 2023
bbf54d3
Upgrade to gradle 8.0
wmdietl Feb 18, 2023
5248710
Fix gradle deprecation: archivePath to archiveFile
wmdietl Feb 18, 2023
a304d23
Update lombok plugin to be compatible with gradle 8.0
wmdietl Feb 18, 2023
c866eef
Remove trailing whitespace in gradlew
wmdietl Feb 18, 2023
de674a6
typetools/checker-framework 3.31.0 release (#407)
wmdietl Feb 19, 2023
9536d3e
Don't commit classfile
wmdietl Feb 19, 2023
f35a849
Adapt expected error
wmdietl Feb 19, 2023
18dcebc
Adapt expected errors
wmdietl Feb 19, 2023
0dd8afc
Apply black python formatter
wmdietl Feb 19, 2023
2fdf073
Remove regex modifiers again, they don't seem to work
wmdietl Feb 19, 2023
671783b
Align changelog header
wmdietl Feb 19, 2023
07b40da
Make field protected
wmdietl Feb 19, 2023
6a278ea
Make field final, remove unused, deprecated constructor
wmdietl Feb 19, 2023
dc78753
Fix code comment formatting
wmdietl Feb 19, 2023
0615da5
Fix whitespace
wmdietl Feb 19, 2023
acfb84c
Fix typos in javadoc
wmdietl Feb 19, 2023
8cdd3b4
Fix error key format
wmdietl Feb 19, 2023
bacf54b
Fix whitespace
wmdietl Feb 19, 2023
3bc6b72
Skip requiring javadoc
wmdietl Feb 19, 2023
8e54b07
CI: don't block canary on misc and vice versa
wmdietl Feb 20, 2023
4436821
Another attempt to make python formatting work
wmdietl Feb 20, 2023
f82f776
Output a diff if black python formatting fails
wmdietl Feb 20, 2023
81ec024
typetools/checker-framework 3.31.0 release (#408)
wmdietl Feb 20, 2023
a9bf55c
Bump classgraph from 4.8.149 to 4.8.154 (#380)
dependabot[bot] Feb 20, 2023
e3ec7bb
Bump de.undercouch.download from 5.3.0 to 5.3.1 (#390)
dependabot[bot] Feb 20, 2023
e6c0695
Bump org.projectlombok:lombok from 1.18.24 to 1.18.26 (#389)
dependabot[bot] Feb 20, 2023
446aa4f
CI: add framework_jobs as gate for daikon and guava jobs (#410)
wmdietl Feb 20, 2023
d2d4629
Bump error_prone_annotations from 2.16 to 2.18.0 (#411)
wmdietl Feb 20, 2023
194023e
Bump reflection-util from 1.0.5 to 1.0.6 (#382)
dependabot[bot] Feb 21, 2023
e7b38a0
Lombok now supports Java 19 (#409)
wmdietl Feb 21, 2023
2f239fc
Add method `AnnotatedExecutableType.getVarargType` and remove uses of…
al3xliu Feb 21, 2023
2d0862c
Remove SKIP-REQUIRE-JAVADOC
wmdietl Feb 22, 2023
b18e231
Add issue that was closed in an earlier release
wmdietl Feb 22, 2023
3e41fa5
Model the enclosing expression node for `ObjectCreationNode` and type…
al3xliu Feb 23, 2023
b2bd46f
Guard version specific behavior with a version check (#414)
wmdietl Feb 23, 2023
2d19475
Put framework tests with Java errors in separate framework-javac-erro…
wmdietl Feb 24, 2023
2b34368
Split up Spotless classpath dependency (#418)
wmdietl Feb 28, 2023
8475f00
Bump com.github.johnrengelman.shadow from 7.1.2 to 8.1.0 (#417)
dependabot[bot] Feb 28, 2023
67e331f
Bump com.diffplug.spotless:spotless-plugin-gradle from 6.14.0 to 6.16…
dependabot[bot] Feb 28, 2023
8316063
Bump io.github.classgraph:classgraph from 4.8.154 to 4.8.155 (#420)
dependabot[bot] Feb 28, 2023
c464d12
Upgrade to gradle 8.0.1 (#421)
wmdietl Mar 1, 2023
c4a2129
typetools/checker-framework 3.32.0 release (#426)
wmdietl Mar 7, 2023
ae8cd2d
Remove duplicated variable from bad merge
wmdietl Mar 7, 2023
5b222ec
Do not install jtreg6
wmdietl Mar 7, 2023
060cdfc
Adapt golden file line numbers to changed source
wmdietl Mar 7, 2023
becfcc6
Remove unnecessary SuppressWarnings
wmdietl Mar 7, 2023
9f555fd
Simplify and make more uniform
wmdietl Mar 7, 2023
2b49211
Make javadoc more uniform
wmdietl Mar 7, 2023
9af098c
Undo typetools hack that is not needed
wmdietl Mar 7, 2023
3b60e94
Code comment formatting
wmdietl Mar 7, 2023
31849ef
Fixes to .gitignore
wmdietl Mar 8, 2023
2897d27
Copied .java files don't need to be executable
wmdietl Mar 8, 2023
04a0c1f
Make new method private
wmdietl Mar 8, 2023
cc7084f
Add comments to typetools release notes
wmdietl Mar 8, 2023
ab736d3
Improve wording
wmdietl Mar 8, 2023
2808efa
typetools/checker-framework 3.32.0 release (#427)
wmdietl Mar 8, 2023
7955983
Bump io.github.classgraph:classgraph from 4.8.155 to 4.8.156 (#425)
dependabot[bot] Mar 8, 2023
d64da60
Prepare for a signature change in `TreeMaker.Select` (#428)
wmdietl Mar 8, 2023
015e20e
Avoid URL constructor that is deprecated in Java 20+ (#429)
wmdietl Mar 9, 2023
0eaa49a
Remove unnecessary repositories clause
wmdietl Mar 9, 2023
940afa0
Add task-tree plugin
wmdietl Mar 9, 2023
6e4aaaf
Prep for release
wmdietl Mar 9, 2023
ab80cb6
new release 3.32.0-eisop1
wmdietl Mar 9, 2023
3dfb054
Merge branch 'master' into checker-framework-3.32.0-eisop1
Ao-senXiong Jan 23, 2024
6b2271e
Add SKIP-REQUIRE_JAVADOC
Ao-senXiong Jan 27, 2024
885629d
Make computeVarargType and setParameterTypes public for inference
Ao-senXiong Jan 27, 2024
6a26cfa
Formal Python file
Ao-senXiong Jan 27, 2024
221e935
Workaround for CI test
Ao-senXiong Jan 31, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
The table of contents is too big for display.
Diff view
Diff view
  •  
  •  
  •  
5 changes: 3 additions & 2 deletions .github/dependabot.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,9 +1,10 @@
version: 2

updates:
- package-ecosystem: gradle
- package-ecosystem: "gradle"
directory: "/"
schedule:
interval: daily
interval: "daily"
open-pull-requests-limit: 10
ignore:
- dependency-name: com.amazonaws:aws-java-sdk-bom
Expand Down
5 changes: 4 additions & 1 deletion .gitignore
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -45,7 +45,6 @@ checker/bin/.do-like-javac
checker/bin/.scc/
checker/bin-devel/.html-tools
checker/bin-devel/.plume-scripts
checker/bin-devel/.run-google-java-format
checker/bin-devel/dockerdir
checker/src/main/resources/git.properties
# These tests are generated from those in checker/tests/calledmethods-lombok during the build.
Expand All @@ -59,6 +58,8 @@ plume-bib
manual.aux
manual.blg
manual.dvi
manual.fdb_latexmk
manual.fls
manual.haux
manual.html
manual.htoc
Expand Down Expand Up @@ -169,4 +170,6 @@ checker/tests/ainfer-nullness/annotated/
checker/tests/ainfer-nullness/inference-output/
checker/tests/ainfer-testchecker/annotated/
checker/tests/ainfer-testchecker/inference-output/
checker/tests/ainfer-resourceleak/annotated/
checker/tests/ainfer-resourceleak/inference-output/
framework/tests/returnsreceiverdelomboked/
Empty file added SKIP-REQUIRE-JAVADOC
View file
Open in desktop
Empty file.
Loading