summaryrefslogtreecommitdiff
path: root/src/constant_fold.ml
AgeCommit message (Expand)Author
2020-09-28Refactor: Rename 'a defs to 'a astAlasdair
2020-04-15Add more intuitive defaults to interactive toplevelAlasdair
2019-11-14Fix typo in constant folding for and_bool/or_boolAlasdair Armstrong
2019-11-06Allow specifying specific fields of a register as constant with :fixed_regist...Alasdair Armstrong
2019-11-06Add toplevel commands to fix specific register values and simply spec accordi...Alasdair Armstrong
2019-10-31Allow sail to be scripted using sailAlasdair
2019-07-11Make sure we do constant-fold primitives howeverAlasdair Armstrong
2019-07-11Make sure constant folding won't fold external definitions that also have sai...Alasdair Armstrong
2019-05-22Move Util.warn to Reporting, and make it take the location as a parameterAlasdair Armstrong
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-01-31 08:06:38 +0000