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