summaryrefslogtreecommitdiff
path: root/src/lem_interp/run_with_elf_cheri128.ml
AgeCommit message (Expand)Author
2017-12-30use linksem as a packageShaked Flur
2017-12-05Update header files on masterAlasdair Armstrong
2017-11-02remove a lot of dead code form run_with_elf_cheri*Robert Norton
2017-11-02reset inCCallDelay in code that is not dead.Robert Norton
2017-10-31cheri: throw an exception if there is an attempt to access C26/IDC in the del...Robert Norton
2017-10-24fix default cap value on cheri128 following previous changes -- E stored in r...Robert Norton
2017-09-29fix those build errorsChristopher Pulte
2017-08-02fix run_with_elf*.ml with changed lem_interp apiJon French
2017-05-26fix run_with builds after build_context gained an extra argument.Robert Norton
2017-05-24Change types of MEMr_tag, MEMval_tag and co. so that tag is separate from dat...Robert Norton
2017-04-03Rename TranslateAddress to TranslatePC and remove the accessType argument -- ...Robert Norton
2017-03-29change reqiured to work with little endian interpreter.Robert Norton
2017-02-03fix headersPeter Sewell
2017-01-26c128: xor E with 48 when storing in memory so that null cap is all zeros but ...Robert Norton
2017-01-24Remember to pass through collapse argument in else case in bit_lifteds_to_stringRobert Norton
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 10:12:36 +0000