Commit Graph

5 Commits

Author SHA1 Message Date
Andrew Steinborn
a2a799a8a7
Update CONTRIBUTING.md 2021-01-22 19:50:31 -05:00
Andrew Steinborn
13ee59d20b
Update CONTRIBUTING.md 2021-01-22 19:49:38 -05:00
Andrew Steinborn
4167b79553 Update CONTRIBUTING.md since we now enforce Checkstyle. 2018-12-30 03:31:32 -05:00
Andrew Steinborn
d7aebfdc20 Note code style. 2018-10-28 01:34:24 -04:00
Andrew Steinborn
32829c5637
Checker Framework integration (#126) 2018-10-27 21:45:42 -04:00