Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Merge PR #6769: Split closure cache and remove whd_both | 2018-03-09 | |
|\ | |||
| * | Pass the constant cache as a separate argument in kernel reduction. | 2018-03-04 | |
* | | Update headers following #6543. | 2018-02-27 | |
|/ | |||
* | Cleaner treatment of parameters in inferCumulativity | 2018-02-16 | |
* | Fix reduction flags in inferCumulativity | 2018-02-16 | |
* | inferCumulativity: add comment to explain [if not is_arity]. | 2018-02-11 | |
* | Use specialized function for inductive subtyping inference. | 2018-02-11 |