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

Age	Commit message (Expand)	Author	Files	Lines
2024-01-31	Update bitfield syntax	Alasdair	1	-21/+21
2023-09-12	Remove effects	Tim Hutt	1	-5/+5
2023-09-12	Remove redundant type annotations on w_pte & add explicit `var`.	Tim Hutt	1	-1/+1
2023-08-01	Rename EXTZ and EXTS	Alasdair	1	-8/+8
2023-05-29	apply_headers: regenerate copyright headersupdate-copyright-headers	Philipp Tomsich	1	-1/+3
2023-03-14	Use not() instead of ~() for boolean negation (#210)	Alexander Richardson	1	-2/+2
2023-03-06	Add wildcard cases to matches to suppress Sail warnings. (#197)	Robert Norton	1	-1/+1
2021-07-29	Use headache to apply copyright header at request of Peter Sewell.	Robert Norton	1	-0/+68
2021-06-29	vmem_svNN: Perform PTW accesses always as Supervisor	Nathaniel Wesley Filardo	1	-3/+3
2021-06-29	vmem_svNN: mem_read(Read(Data), ...) the PTEs	Nathaniel Wesley Filardo	1	-1/+1
2020-06-30	Merge pull request #64 from nwf:pte-check-split with minor edits.	Prashanth Mundkur	1	-3/+3
2020-06-30	Split ext_ptw into pieces and add documentation	Nathaniel Wesley Filardo	1	-3/+3
2020-06-30	SV32: allow external specification of PTE extension bits	Nathaniel Wesley Filardo	1	-1/+1
2020-06-20	Allow extensions to override page fault causes	Jessica Clarke	1	-2/+2
2019-11-26	Tweak base case of PTW functions	Thomas Bauereiss	1	-4/+4
2019-11-25	Fix RV32 Lem build	Thomas Bauereiss	1	-2/+2
2019-09-04	Merge remote-tracking branch 'origin/master' into vmem_ext.vmem_ext	Robert Norton	1	-1/+1
2019-08-19	RISC-V spec, without implicit casts	Alasdair Armstrong	1	-1/+1
2019-08-09	Allow accumulation of information during page-table-walk for extensions.	Prashanth Mundkur	1	-32/+29
2019-07-22	Make a custom exception code available for extensions, and remove the E_CHERI...	Prashanth Mundkur	1	-51/+58
2019-07-16	Use reserved bits in PTEs for vmem extensions on RV64, as allowed by the spec...	Prashanth Mundkur	1	-10/+14
2019-06-24	Add PMP checks to physical memory accesses.	Prashanth Mundkur	1	-1/+1
2019-06-24	Narrow the external interface to riscv_mem to mem_{read,write,write_ea}.	Prashanth Mundkur	1	-3/+3
2019-06-24	Starting cleaning up physical memory bits for pmp integration.	Prashanth Mundkur	1	-3/+2
2019-04-24	Add extended model from cheri-merge.	Prashanth Mundkur	1	-3/+3
2019-03-12	Fix missed tlb updates.	Prashanth Mundkur	1	-2/+2
2019-03-11	Add tlbs for Sv32 and Sv48, and some fixes to sfence.vma.	Prashanth Mundkur	1	-24/+97
2019-02-22	Fix address translation bug in ordering of width-extension and shift in pte. ...	Prashanth Mundkur	1	-7/+7
2019-02-13	Add Sv32 and Sv48 by essentially copying Sv39.	Prashanth Mundkur	1	-0/+112