Commit message (Expand) | Author | Age | |
---|---|---|---|
* | CSE without inlining arithmetic expressions | 2017-05-14 | |
* | Don't needlessly extend the context in CSE | 2017-04-17 | |
* | Prove antisymmetry of CSE leb | 2017-04-17 | |
* | Ask for leb on op codes and base types, not flat types | 2017-04-14 | |
* | Add support for cse-modulo-normalization | 2017-04-14 | |
* | SOp needs to hold the type of the arguments, for denote | 2017-04-12 | |
* | Hold types in SFst and SSnd | 2017-04-12 | |
* | Extend cse context when inlining | 2017-04-11 | |
* | Generalize prepend_prefix | 2017-04-10 | |
* | Reorder parameters for ease of partial instantiation, add symbolic_expr_dec | 2017-04-10 | |
* | Fix CSE to correctly symbolize expressions | 2017-04-10 | |
* | Key on flat_type not base_type, in CSE | 2017-04-10 | |
* | Use Named.Context in CSE, so we can reuse context lemmas | 2017-04-10 | |
* | rename-everything | 2017-04-06 |