summaryrefslogtreecommitdiff
path: root/src/constant_fold.ml
AgeCommit message (Expand)Author
2019-05-06Don't initialise registers in interpreter when register accesses not allowedBrian Campbell
2019-04-20Fix: Reduce constant-fold time for ARM from 20min+ to 10sAlasdair Armstrong
2019-04-15Merge branch 'sail2' into rmem_interpreterJon French
2019-03-15Add a rewriting pass for constant propagation in mutrecsThomas Bauereiss
2019-03-14Merge branch 'sail2' into rmem_interpreterJon French
2019-03-13Refactor interpreter monad to include pp in effect requests/failuresJon French
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-25Merge branch 'sail2' into rmem_interpreterJon French
2019-02-14Fix a bug that caused constant propagation option to fail for v8.5Alasdair Armstrong
2019-02-13Merge branch 'sail2' into rmem_interpreterJon French
2019-01-02...without debug printingJon French
2019-01-02restore V_attempted_read behaviour after mergeJon French
2018-12-28Merge branch 'sail2' into rmem_interpreterJon French
2018-12-27pass typechecking environment around interpreter and rewritersJon French
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 08:16:14 +0000