Commit Graph

2 Commits

Author SHA1 Message Date
Andrew Steinborn
25b5e00125 Reformat with Google code style and enforce Checkstyle.
Fixes #125
2018-10-27 23:45:36 -04:00
Andrew Steinborn
32829c5637 Checker Framework integration (#126) 2018-10-27 21:45:42 -04:00