aboutsummaryrefslogtreecommitdiff
path: root/model/riscv_xlen64.sail
AgeCommit message (Expand)AuthorFilesLines
2024-02-08Shorten copyright notice at the top of each fileTim Hutt1-65/+3
2023-05-29apply_headers: regenerate copyright headersupdate-copyright-headersPhilipp Tomsich1-1/+3
2021-07-29Use headache to apply copyright header at request of Peter Sewell.Robert Norton1-0/+68
2019-02-20Add ELF architecture checks to the loaders in the OCaml and C emulators.Prashanth Mundkur1-1/+0
2019-02-19Use sizeof xlen instead of the value definitions of xlen.Prashanth Mundkur1-4/+0
2019-02-19Adjust Makefile to use an ARCH argument. Undo xlen guards in riscv_analysis,...Prashanth Mundkur1-0/+10