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

Added a receiver dependent qualifier #10

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

Added a receiver dependent qualifier #10

wants to merge 27 commits into from

Conversation

txiang61
Copy link
Member

@txiang61 txiang61 commented Mar 28, 2020 •
edited
Loading

Qualifer:
@RDU

Uses:

  1. JavaUtilConcurrent.astub

Tests:

  1. testing/inference/JavaUtilConcurrent.java
  2. testing/typecheck/JavaUtilConcurrent.java

txiang61 and others added 20 commits October 15, 2019 20:12
@txiang61
updated source code to the lasted CF
749fca1
@txiang61
remove unused code
151eb2d
@txiang61
eliminate override that only calls super
6776f55
@wmdietl
Use master branch of CF
85957f2
@txiang61
remove polyall
7641f19
@txiang61
Merge branch 'master' of https://github.com/txiang61/units-inference
24477fe
@txiang61
add classpath and remove polyall
a4ac623
@txiang61
update gradle
e74afc8
@txiang61
remove pollyall
d82b53e
@txiang61
fix tests
c90b70a
@txiang61
update unit inference atf to fix benchmark exceptions
e5afb5a
@txiang61
added view point adaption for receiver dependent units
9f7cf93
@txiang61
added view point adaption for receiver dependent units
4de729d
@txiang61
Merge branch 'rdu' of https://github.com/txiang61/units-inference int…
e68e197 
…o rdu
@txiang61
Merge branch 'rdu' of https://github.com/txiang61/units-inference int…
6692f58 
…o rdu
@txiang61
Add view point adaption inference constraints
c49375a
@txiang61
Add view point adaption inference constraints
aea6e17
@txiang61
Merge branch 'rdu' of https://github.com/txiang61/units-inference int…
753a843 
…o rdu
@txiang61
add tests for rdu
340deae
@txiang61
fixed all failed test with the new added rdu
dc06314
@txiang61 txiang61 requested a review from wmdietl March 30, 2020 04:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@wmdietl wmdietl Awaiting requested review from wmdietl

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@txiang61 @wmdietl