3 Commits

Author	SHA1	Message	Date
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