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.

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

Disambiguate owners of fields in output #6699

Merged
merged 30 commits into from
Jul 8, 2024
Merged
Changes from 1 commit
Commits
Show all changes
30 commits
Select commit Hold shift + click to select a range
9dc4e4d
Start of implementation of `JavaExpression.SuperReference`
jyoo980 May 20, 2024
374c0ec
Merge branch 'master' into yoo/implement-super-javaexpresssion
jyoo980 May 20, 2024
ee6469c
Make one test pass
jyoo980 May 20, 2024
60ce998
Merge branch 'master' into yoo/implement-super-javaexpresssion
jyoo980 May 21, 2024
feb2dd5
Add start of impl. for `JavaExpressionVisitor.visitSuperReference`
jyoo980 May 22, 2024
6347006
Merge branch 'master' into yoo/implement-super-javaexpresssion
jyoo980 May 22, 2024
e21390f
Move code to addComputedTypeAnnotations.
smillst May 22, 2024
089f087
Merge remote-tracking branch 'typetools/master' into yoo/implement-su…
jyoo980 May 22, 2024
4f57db4
When verbose, always output resultValue
mernst May 22, 2024
f72bb0e
Merge remote-tracking branch 'smillst/optional-addComput' into yoo/im…
jyoo980 May 22, 2024
5db0a36
Merge ../checker-framework-fork-mernst-branch-viz-resultValue into yo…
mernst May 22, 2024
719dfd0
Merge branch 'yoo/implement-super-javaexpresssion' of github.com:jyoo…
jyoo980 May 22, 2024
dbc778c
Test
mernst May 22, 2024
7675d61
Change stub -> todo
jyoo980 May 22, 2024
453fecd
Merge branch 'yoo/implement-super-javaexpresssion' of github.com:jyoo…
jyoo980 May 22, 2024
aa9093d
Implement `JavaExpressionConverter#visitSuperReference`
jyoo980 May 22, 2024
6e4af74
Fix typo
mernst May 22, 2024
bc4c314
Merge branch 'yoo/implement-super-javaexpresssion' of github.com:jyoo…
mernst May 22, 2024
b7009f0
Merge branch 'master' into yoo/implement-super-javaexpresssion
jyoo980 May 22, 2024
46a928e
Merge branch 'master' into yoo/implement-super-javaexpresssion
jyoo980 May 23, 2024
d072c0b
Merge ../checker-framework-branch-master into yoo-implement-super-jav…
mernst May 23, 2024
9d167c4
Merge ../checker-framework-branch-master into yoo-implement-super-jav…
mernst May 26, 2024
f062d7f
Work around type-checking
mernst May 26, 2024
ccc2b1a
Checkpoint
mernst May 30, 2024
ddf3694
Fix HTML
mernst Jun 3, 2024
95d9711
Merge ../checker-framework-branch-master into yoo-implement-super-jav…
mernst Jun 3, 2024
a239b1d
Merge ../checker-framework-branch-master into yoo-implement-super-jav…
mernst Jun 7, 2024
253382b
Undo a change
mernst Jun 7, 2024
979782c
Merge ../checker-framework-branch-master into yoo-implement-super-jav…
mernst Jul 7, 2024
52ec1da
Make `disambiguateOwner` a field
mernst Jul 7, 2024
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
Prev Previous commit
Next Next commit
Merge remote-tracking branch 'typetools/master' into yoo/implement-su…
…per-javaexpresssion
  • Loading branch information
jyoo980 committed May 22, 2024
commit 089f087a5910369b9c3b12974aeb4ce2a8778d54

This merge commit was added into this branch cleanly.

There are no new changes to show, but you can still view the diff.