sail-riscv.git - Unnamed repository; edit this file 'description' to name the repository.

Age	Commit message (Expand)	Author	Files	Lines
2025-12-08	Scatter termination.sail (#1376)HEAD master	Valentin Robert	9	-122/+107
2025-12-08	Simplify read/write kinds (#1262)	Tim Hutt	2	-38/+30
2025-12-05	Use C++ Sail output (#1274)	Tim Hutt	9	-112/+117
2025-12-01	Consolidate the indexed vector load and store instructions. (#1410)	Prashanth Mundkur	2	-80/+38
2025-11-28	Fix unused variable warnings. (#1409)	Prashanth Mundkur	28	-61/+65
2025-11-27	Make the AMO execute more readable. (#1407)	Prashanth Mundkur	1	-59/+56
2025-11-26	Add support for Sstvala. (#1397)	Prashanth Mundkur	6	-20/+82
2025-11-25	Factor out a `prelude` module. (#1406)	Prashanth Mundkur	7	-16/+27
2025-11-20	Fix satp legalization to use Supervisor instead of current privilege (#1399)	Nadime Barhoumi	1	-1/+1
2025-11-18	Split config_print_platform into finer grained options (#1366)	KotorinMinami	4	-29/+37
2025-11-17	Slight refactor of address translation and PTE checks to ease implementing Zi...	Prashanth Mundkur	4	-22/+37
2025-11-15	Rename some page table walk error results for clarity. (#1394)	Prashanth Mundkur	2	-27/+27
2025-11-14	Greatly simplify the code for reading & writing vector registers/masks (#1213)	Tim Hutt	9	-169/+155
2025-11-14	Add configurations for page-fault traps that could set mtval. (#1388)	Prashanth Mundkur	1	-2/+14
2025-11-12	Add profile-defined extension Ssu64xl. (#1387)	Prashanth Mundkur	3	-0/+8
2025-11-12	Support a configurable reservation set size. (#1386)	Prashanth Mundkur	9	-22/+64
2025-11-10	Fix htif memory range check (#1380)	Mingzhu Yan	1	-1/+1
2025-11-10	Put Sail smt cache in /build directory (#1384)	KotorinMinami	1	-0/+3
2025-11-10	Add ExecuteAs result for compressed instructions. (#1382)	Prashanth Mundkur	8	-133/+94
2025-11-07	Add Sstvecd to supported extensions. (#1377)	Prashanth Mundkur	3	-0/+9
2025-11-07	Implement a more accurate access type for CSR accesses. (#1369)	Prashanth Mundkur	6	-23/+42
2025-11-06	Innocuous typo in constructor name (#1381)	Brian Campbell	1	-1/+1
2025-11-06	Rename the AccessType for memory to be more explicit. (#1368)	Prashanth Mundkur	19	-118/+118
2025-11-06	Allow configuring read-only-zero PMP entries. (#1363)	Prashanth Mundkur	4	-10/+25
2025-10-31	Refactor immediates in encoding clauses for readability. (#1364)	Prashanth Mundkur	7	-71/+97
2025-10-30	Unify the handling logic for scalar and vector multiplication. (#1299)	KotorinMinami	6	-35/+50
2025-10-28	Add an option to choose a smaller set of modules for Lean build (#1219)	Alasdair Armstrong	1	-11/+13
2025-10-28	Add more state change callbacks (#1354)	Tim Hutt	4	-11/+39
2025-10-28	Rocq updates (#1359)	Brian Campbell	2	-2/+1
2025-10-21	Add gating for vector instructions. (#1170)	Wenyu Huang	14	-139/+309
2025-10-18	Add Zic64b extension (#1351)	Jordan Carlin	2	-0/+16
2025-10-18	Simplify vector_support_level (#1348)	KotorinMinami	3	-19/+21
2025-10-18	Use let instead of register for plat_clint config variables (#1349)	Jordan Carlin	1	-4/+2
2025-10-18	Improve float classify code (#1288)	Tim Hutt	8	-130/+130
2025-10-15	Improve trap_handler with TrapCause union (#1338)	Mingzhu Yan	2	-10/+65
2025-10-15	Add wavedrom annotations for some instruction encodings. (#1337)	Prashanth Mundkur	28	-16/+164
2025-10-15	Update Sail compiler to 0.20 (#1341)	Jordan Carlin	4	-21/+11
2025-10-14	Simplify sew/lmul_pow_val (#1331)	Tim Hutt	2	-28/+12
2025-10-13	Add support for Zvfbfwma extension (#1185)	Nadime Barhoumi	7	-3/+130
2025-10-09	Reduce duplication in vsetvl-type instructions (#1286)	Tim Hutt	1	-106/+63
2025-10-09	Add support for Zvfbfmin extension (#1184)	Nadime Barhoumi	5	-3/+128
2025-10-09	Remove redundant parentheses around instruction arguments in execute clauses....	Prashanth Mundkur	42	-334/+334
2025-10-09	Remove monomorphic `val` declarations by moving types into the function signa...	Prashanth Mundkur	33	-353/+178
2025-10-08	Some fixes for documentation inclusion of scalar and vector crypto functions....	Prashanth Mundkur	2	-121/+93
2025-10-08	Fix inconsistent capitalization in bitvector literal (#1320)	Jordan Carlin	1	-1/+1
2025-10-07	Add basic static PMA support (#866)	Tim Hutt	10	-105/+337
2025-10-06	Refactor vector extension configuration. (#1163)	Wenyu Huang	23	-114/+333
2025-10-06	Rename `riscv` module `sys` (#1316)	Jordan Carlin	1	-55/+55
2025-10-03	Remove unused function is_aligned_bits() (#1311)	Nadime Barhoumi	1	-9/+1
2025-10-03	Refactor vmem_read() and vmem_write() functions (#1301)	Nadime Barhoumi	1	-64/+72