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

Add gradle target and format source code using Google Java Format #94

Open
jyluo opened this issue Jan 23, 2019 · 3 comments
Open

Add gradle target and format source code using Google Java Format #94

jyluo opened this issue Jan 23, 2019 · 3 comments

Comments

@jyluo
Copy link
Contributor

jyluo commented Jan 23, 2019

No description provided.

@mernst
Copy link
Member

mernst commented Jan 23, 2019

You can start from the reformat branch in the repository.

@jyluo
Copy link
Contributor Author

jyluo commented Jan 23, 2019

Sounds good. Thanks!

This was referenced Jan 24, 2019
Closed
Closed
@wmdietl
Copy link
Member

wmdietl commented Jul 24, 2019

The changes in #95 required some duplication with the Checker Framework. This should be adapted based on the current CF approach. If possible, minimize duplication between the projects.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@mernst @wmdietl @jyluo