Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Bundle arguments to Barrett Reduction | Jason Gross | 2016-10-10 |
* | Work around bug #4165 (broken context) in 8.4 | Jason Gross | 2016-08-10 |
* | Specify a type of bounded integers for mod arith | Jason Gross | 2016-08-09 |
* | Implement Barrett Reduction following HAC 14.42 (#45) | Jason Gross | 2016-08-04 |
* | Add a generalized version of Barrett Reduction (#44) | Jason Gross | 2016-08-04 |
* | Split up proof in BarrettReduction.Z | Jason Gross | 2016-07-21 |
* | Implement and prove Barrett reduction on Z (#18) | Jason Gross | 2016-07-03 |