aboutsummaryrefslogtreecommitdiff
path: root/model/riscv_insts_dext.sail
AgeCommit message (Expand)AuthorFilesLines
2024-04-24Add missing check for RV64 on float conversion instructionsTim Hutt1-4/+4
2024-02-08Shorten copyright notice at the top of each fileTim Hutt1-65/+3
2023-10-25Simplify softfloat interface by removing write_fflagsTim Hutt1-16/+16
2023-08-01Rename EXTZ and EXTSAlasdair1-9/+9
2023-05-29apply_headers: regenerate copyright headersupdate-copyright-headersPhilipp Tomsich1-1/+3
2022-01-19Add support for Zfh extension (#129)Bilal Sakhawat1-2/+3
2021-11-22Implement support for Zfinx (#130)Jessica Clarke1-150/+163
2021-11-17Revert "Initial introduction of zfinx (#75)"Jessica Clarke1-142/+144
2021-11-17Initial introduction of zfinx (#75)Ibrahim Abu Kharmeh1-144/+142
2021-10-22Support D extension on RV32 (#108)Jessica Clarke1-16/+22
2021-08-09Fix crash when fcsr.frm is invalidPeter Rugg1-88/+142
2021-07-29Use headache to apply copyright header at request of Peter Sewell.Robert Norton1-0/+68
2020-05-26Fix FMIN/FMAX when QNaN+SNaN (#53)Scott Johnson1-20/+17
2020-04-07Switch floating-point comparisons to using softfloat to avoid missed corner-c...Prashanth Mundkur1-26/+9
2020-04-06Fix fcsr exception accrual for non-softfloat paths.Prashanth Mundkur1-47/+35
2020-02-06Improve handling of fcsr by making it a bitfield.Prashanth Mundkur1-21/+21
2019-11-25Add the missing fcvt.{ds}.{sd} instructions.Prashanth Mundkur1-1/+46
2019-11-25Fix mantissa index in NaN checks for doubles.Prashanth Mundkur1-2/+2
2019-11-14Fix an incorrect extension on fcvt.wu.{s,d}, and a mapping typo.Prashanth Mundkur1-2/+2
2019-11-13More fixes for assembly mappings.Prashanth Mundkur1-4/+94
2019-11-13Fix result of floating-point comparisons.Prashanth Mundkur1-3/+3
2019-11-12Fix assembly mappings for fmv instructions.Prashanth Mundkur1-2/+12
2019-11-07Fix fdext assembly mappings.Prashanth Mundkur1-11/+11
2019-11-04Renaming to reserve the external_ prefix for direct softfloat calls.Prashanth Mundkur1-17/+17
2019-11-01Move enum types that appear in ast before the ast typeAlasdair1-12/+0
2019-10-29Address some todos in the fdext code.Prashanth Mundkur1-40/+30
2019-10-29Whitespace fixes to remove tabs.Prashanth Mundkur1-44/+44
2019-10-23Split 'riscv_insts_fdext.sail' into separate files for F and D, 'riscv_insts_...rsnikhil1-0/+799