5 Commits

Author SHA1 Message Date
Louis Dionne 2ab7ca19a2 [NFC] Update copyright notices 2022-10-20 23:18:13 -04:00
Louis Dionne 9895803ede Bump copyright year to 2017 2017-01-07 14:14:18 -08:00
Louis Dionne 23c3edc93b [NFC] Un-Doxygenize comments in non-header files 2016-02-04 11:07:41 -05:00
Louis Dionne c41a5cb6be Update copyright notices for 2016 2016-01-01 14:54:06 -05:00
Louis Dionne 41c64b39a9 [IntegralDomain] Rename quot/rem to div/mod
Fixes #180
2015-09-14 14:18:29 -04:00