aboutsummaryrefslogtreecommitdiff
path: root/handwritten_support/riscv_extras_fdext.lem
AgeCommit message (Expand)AuthorFilesLines
2023-12-19lem: Fix issues created by vector extensionAlasdair1-61/+79
2023-10-17RISC-V Vector Extension SupportXinlai Wan1-0/+9
2023-05-29apply_headers: regenerate copyright headersupdate-copyright-headersPhilipp Tomsich1-1/+3
2022-01-19Add support for Zfh extension (#129)Bilal Sakhawat1-0/+64
2021-07-29Use headache to apply copyright header at request of Peter Sewell.Robert Norton1-0/+68
2020-04-07Switch floating-point comparisons to using softfloat to avoid missed corner-c...Prashanth Mundkur1-0/+16
2020-01-23Add lem stubs for softfloat externs.rsnikhilPrashanth Mundkur1-0/+109