Commit message (Expand) | Author | Age | |
---|---|---|---|
* | [compat] Remove "Refolding Reduction" option. | 2018-03-08 | |
* | Deprecate options that were introduced for compatibility with 8.5. | 2017-07-11 | |
* | Support for using type information to infer more precise evar sources. | 2017-05-30 | |
* | no-refold patch | 2016-09-09 | |
* | Continuation of r16346 on filtering local definitions. Refined | 2013-03-30 | |
* | Evarconv: When doing a iota of a fixpoint, use constant name instead of fixpo... | 2013-02-25 | |
* | A small test for type inference (used to be a regression at some time). | 2011-12-04 |