Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Allow partial-inlining in the inliner | Jason Gross | 2017-10-20 |
| | | | | | | This will allow fusing arithmetic simplification with constant inlining, which is required for compilation to reified terms to work well, and will hopefully eventually allow cleaning up the pipeline. | ||
* | Allow inlining expressions not returning Tbase | Jason Gross | 2017-10-20 |
| | |||
* | rename-everything | Andres Erbsen | 2017-04-06 |