Open jyluo opened 5 years ago
You can start from the reformat branch in the repository.
Sounds good. Thanks!
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.
You can start from the reformat branch in the repository.