aboutsummaryrefslogtreecommitdiff
path: root/model/riscv_insts_fext.sail
AgeCommit message (Expand)AuthorFilesLines
2024-02-08Shorten copyright notice at the top of each fileTim Hutt1-65/+3
2024-01-31Update bitfield syntaxAlasdair1-1/+1
2023-10-25Simplify softfloat interface by removing write_fflagsTim Hutt1-14/+14
2023-09-20Report the faulting virtual address in tvalAlex Richardson1-1/+1
2023-09-12Remove effectsTim Hutt1-5/+5
2023-08-01Rename EXTZ and EXTSAlasdair1-11/+11
2023-05-29apply_headers: regenerate copyright headersupdate-copyright-headersPhilipp Tomsich1-1/+3
2023-03-06Add wildcard cases to matches to suppress Sail warnings. (#197)Robert Norton1-12/+15
2022-01-19Add support for Zfh extension (#129)Bilal Sakhawat1-7/+22
2021-11-22Implement support for Zfinx (#130)Jessica Clarke1-171/+141
2021-11-17Revert "Initial introduction of zfinx (#75)"Jessica Clarke1-104/+118
2021-11-17Initial introduction of zfinx (#75)Ibrahim Abu Kharmeh1-118/+104
2021-10-22Support D extension on RV32 (#108)Jessica Clarke1-72/+52
2021-08-09Fix crash when fcsr.frm is invalidPeter Rugg1-89/+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/+16
2020-04-07Switch floating-point comparisons to using softfloat to avoid missed corner-c...Prashanth Mundkur1-29/+12
2020-04-06Fix fcsr exception accrual for non-softfloat paths.Prashanth Mundkur1-55/+43
2020-02-06Improve handling of fcsr by making it a bitfield.Prashanth Mundkur1-24/+21
2019-11-27Fix semantics of fmv.x.w: it should not interpret the bit pattern in the sour...Prashanth Mundkur1-4/+2
2019-11-26Fix RV32 build for F/D extensions.Prashanth Mundkur1-27/+56
2019-11-14Fix an incorrect extension on fcvt.wu.{s,d}, and a mapping typo.Prashanth Mundkur1-1/+1
2019-11-13More fixes for assembly mappings.Prashanth Mundkur1-4/+95
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-12Split process_fload into 32- and 64-bit versions, so that process_fload32 can...Prashanth Mundkur1-7/+15
2019-11-07Fix fdext assembly mappings.Prashanth Mundkur1-13/+13
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-18/+0
2019-10-29Address some todos in the fdext code.Prashanth Mundkur1-40/+30
2019-10-29Whitespace fixes to remove tabs.Prashanth Mundkur1-52/+52
2019-10-23Implented FCSR, the floating point CSR (and FFLAGS/FRM views thereof).rsnikhil1-2/+2
2019-10-23Split 'riscv_insts_fdext.sail' into separate files for F and D, 'riscv_insts_...rsnikhil1-0/+991
generated by cgit v1.1 at 2024-10-12 21:31:56 +0000