index
:
sail-riscv.git
billmcspadden-riscv
c2_emu
cheri
cheri-merge
cheri_lite
cookbook_br
csr_ext
debugmod
epc_legalization
ext_check_phys_mem
ext_check_phys_mem_alt
ext_misa
fdext
fence_issue29
fence_noops
fix-signature-granularity
fix_next_csrs
gdb
haveSmepmp_billmcspadden
hpm_events
hpm_events_billmcspadden
hpm_events_billmcspadden__sail_error_message_is_terse
initial-contributing-guide
inst_extensions
master
master-cleanup
match_warnings
mem_meta
mem_meta_merge
monads
new_test_2
new_test_3
no_boot_rom
no_casts
optimize
priv_1_13
rmem_interpreter
rmn30
rsnikhil
rv_config
sail-coverage-linking
update-copyright-headers
vector-dev
vmem_ext
x_regs
xret_ext
zfa
zfinx
Unnamed repository; edit this file 'description' to name the repository.
root
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
model
/
riscv_insts_dext.sail
Age
Commit message (
Expand
)
Author
Files
Lines
2024-04-24
Add missing check for RV64 on float conversion instructions
Tim Hutt
1
-4
/
+4
2024-02-08
Shorten copyright notice at the top of each file
Tim Hutt
1
-65
/
+3
2023-10-25
Simplify softfloat interface by removing write_fflags
Tim Hutt
1
-16
/
+16
2023-08-01
Rename EXTZ and EXTS
Alasdair
1
-9
/
+9
2023-05-29
apply_headers: regenerate copyright headers
update-copyright-headers
Philipp Tomsich
1
-1
/
+3
2022-01-19
Add support for Zfh extension (#129)
Bilal Sakhawat
1
-2
/
+3
2021-11-22
Implement support for Zfinx (#130)
Jessica Clarke
1
-150
/
+163
2021-11-17
Revert "Initial introduction of zfinx (#75)"
Jessica Clarke
1
-142
/
+144
2021-11-17
Initial introduction of zfinx (#75)
Ibrahim Abu Kharmeh
1
-144
/
+142
2021-10-22
Support D extension on RV32 (#108)
Jessica Clarke
1
-16
/
+22
2021-08-09
Fix crash when fcsr.frm is invalid
Peter Rugg
1
-88
/
+142
2021-07-29
Use headache to apply copyright header at request of Peter Sewell.
Robert Norton
1
-0
/
+68
2020-05-26
Fix FMIN/FMAX when QNaN+SNaN (#53)
Scott Johnson
1
-20
/
+17
2020-04-07
Switch floating-point comparisons to using softfloat to avoid missed corner-c...
Prashanth Mundkur
1
-26
/
+9
2020-04-06
Fix fcsr exception accrual for non-softfloat paths.
Prashanth Mundkur
1
-47
/
+35
2020-02-06
Improve handling of fcsr by making it a bitfield.
Prashanth Mundkur
1
-21
/
+21
2019-11-25
Add the missing fcvt.{ds}.{sd} instructions.
Prashanth Mundkur
1
-1
/
+46
2019-11-25
Fix mantissa index in NaN checks for doubles.
Prashanth Mundkur
1
-2
/
+2
2019-11-14
Fix an incorrect extension on fcvt.wu.{s,d}, and a mapping typo.
Prashanth Mundkur
1
-2
/
+2
2019-11-13
More fixes for assembly mappings.
Prashanth Mundkur
1
-4
/
+94
2019-11-13
Fix result of floating-point comparisons.
Prashanth Mundkur
1
-3
/
+3
2019-11-12
Fix assembly mappings for fmv instructions.
Prashanth Mundkur
1
-2
/
+12
2019-11-07
Fix fdext assembly mappings.
Prashanth Mundkur
1
-11
/
+11
2019-11-04
Renaming to reserve the external_ prefix for direct softfloat calls.
Prashanth Mundkur
1
-17
/
+17
2019-11-01
Move enum types that appear in ast before the ast type
Alasdair
1
-12
/
+0
2019-10-29
Address some todos in the fdext code.
Prashanth Mundkur
1
-40
/
+30
2019-10-29
Whitespace fixes to remove tabs.
Prashanth Mundkur
1
-44
/
+44
2019-10-23
Split 'riscv_insts_fdext.sail' into separate files for F and D, 'riscv_insts_...
rsnikhil
1
-0
/
+799