summaryrefslogtreecommitdiff
path: root/src/constant_fold.ml
AgeCommit message (Expand)Author
2019-03-15Add a rewriting pass for constant propagation in mutrecsThomas Bauereiss
2019-03-06Add option to slice out printing and tracing functions when generating CAlasdair Armstrong
2019-03-05More optimizations and improvments for C generationAlasdair Armstrong
2019-02-14Fix a bug that caused constant propagation option to fail for v8.5Alasdair Armstrong
2018-12-22Improve error messages and debuggingAlasdair Armstrong
2018-12-13Fixing rationals in Sail interpreter and OCamlAlasdair Armstrong
2018-12-04Remove FES_Fexps constructorAlasdair Armstrong
2018-11-28Allow folding constant expressions into single register readsAlasdair
2018-11-23C backend improvementsAlasdair Armstrong
2018-09-10Various fixesAlasdair Armstrong
2018-08-23Fix interpreter after re-writer changeAlasdair Armstrong
2018-08-17Improve builtins testsAlasdair Armstrong
2018-06-29Constant folding improvementsAlasdair
2018-06-06Fix a typo.Yao Li
2018-06-07Add a constant folding optimization passAlasdair
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-08 10:53:19 +0000