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