diff options
| author | Alasdair | 2018-06-07 01:38:21 +0100 |
|---|---|---|
| committer | Alasdair | 2018-06-07 01:38:21 +0100 |
| commit | 1f88b4812916a56df8d5ff8c09ac56c8e4086be4 (patch) | |
| tree | 7bcfdf8a175f402c3158a8cbfec451d3d8742dfb /src/reporting_basic.ml | |
| parent | 9cc101327450f5871749ecd797361f5b254100e5 (diff) | |
Add a constant folding optimization pass
Diffstat (limited to 'src/reporting_basic.ml')
0 files changed, 0 insertions, 0 deletions