Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Allow partial-inlining in the inliner | 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 | 2017-10-20 | |
| | |||
* | rename-everything | 2017-04-06 | |