aboutsummaryrefslogtreecommitdiff
path: root/model/riscv_softfloat_interface.sail
AgeCommit message (Expand)AuthorFilesLines
2024-09-19Remove the OCaml emulatorTim Hutt1-66/+66
2024-09-04Fix all Sail compilation warningsTim Hutt1-66/+66
2024-02-08Shorten copyright notice at the top of each fileTim Hutt1-65/+3
2023-10-25Simplify softfloat interface by removing write_fflagsTim Hutt1-6/+0
2023-10-17RISC-V Vector Extension SupportXinlai Wan1-0/+1
2023-09-12Remove effectsTim Hutt1-67/+67
2023-06-15Run the pre-commit hook on all filesAlex Richardson1-1/+1
2023-05-29apply_headers: regenerate copyright headersupdate-copyright-headersPhilipp Tomsich1-1/+3
2023-05-29Add Zfa extension support (excl. quad-precision)Philipp Tomsich1-0/+63
2022-01-19Add support for Zfh extension (#129)Bilal Sakhawat1-0/+148
2021-10-22Support D extension on RV32 (#108)Jessica Clarke1-12/+12
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/+44
2020-04-02Fix a bug in the softfloat interface that caused exception flags not to get a...Prashanth Mundkur1-0/+6
2020-01-23Add lem stubs for softfloat externs.rsnikhilPrashanth Mundkur1-30/+30
2019-11-26Add individual ocaml stubs for the softfloat functions.Prashanth Mundkur1-30/+30
2019-11-25Add the missing fcvt.{ds}.{sd} instructions.Prashanth Mundkur1-0/+14
2019-11-06Add hooks for misa.{F,D} for C and OCaml, and fix 64-bit OCaml build.Prashanth Mundkur1-44/+44
2019-11-05Add externs for the conversion functions.Prashanth Mundkur1-16/+80
2019-11-04First cut at adding externs for softfloat.Prashanth Mundkur1-32/+87
2019-11-04Renaming to reserve the external_ prefix for direct softfloat calls.Prashanth Mundkur1-56/+56
2019-10-23Work-in-progress commit; completed 'execute' clauses for FSQRT_*, FCVT_*rsnikhil1-30/+86
2019-10-22Work-in-progress commit; some 'execute' clauses completed (detail below).rsnikhil1-0/+71
generated by cgit v1.1 at 2024-11-16 16:44:13 +0000