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

Age	Commit message (Collapse)	Author	Files	Lines
2019-06-26	Merge branch 'master-cleanup' into pmp	Prashanth Mundkur	1	-0/+5

2019-06-26	Add command line option in c_emulator for disabling tracing. Add builtins ↵	Robert Norton	1	-0/+5
	for getting values of config_print_xxx variables to speed up emulation when not tracing.
2019-06-24	Add PMP checks to physical memory accesses.	Prashanth Mundkur	2	-0/+5
	- unify AccessType and ReadType since they were essentially redundant, making it easier to implement PMP checks for ReadWrite/atomic accesses. - add command line options to enable PMP in the platform - also fix the matching for the case when all entries are off
2019-04-18	Parameterise memory read/write primitives by address length	Jon French	1	-2/+2

2019-04-12	Merge branch 'master' into rmem_interpreterrmem_interpreter	Jon French	2	-12/+23

2019-04-12	ocaml emulator: add ocaml impls for new standard Sail memory functions	Jon French	1	-0/+12

2019-03-29	Generalize the previous commit to handle hardwired misa.c.	Prashanth Mundkur	2	-12/+23

2019-03-14	Use Bytes.get instead of square bracket notation. I think this is an ocaml ↵	Robert Norton	1	-4/+4
	version incompatibility.
2019-03-11	Fixes for Sv39 TLB.	Prashanth Mundkur	1	-2/+1
	- fix and simplify model initialization, to enable generic TLB initialization - re-enable sfence.vma
2019-02-27	Add an option to write signatures for the compliance suite.	Prashanth Mundkur	2	-8/+62

2019-02-26	Reduce default ram to 64MB in ocaml emulator.	Prashanth Mundkur	1	-1/+1

2019-02-26	Remove old license header from ml files.	Prashanth Mundkur	2	-100/+0

2019-02-22	Add rv32 support to the trace comparer.	Prashanth Mundkur	1	-8/+67

2019-02-21	Fix the ocaml platform to respect the architectural width.	Prashanth Mundkur	1	-13/+20

2019-02-20	Some changes for arch-specific initialization.	Prashanth Mundkur	3	-25/+50

2019-02-20	Add an option to report the model architecture to the emulators.	Prashanth Mundkur	1	-0/+7

2019-02-20	Add ELF architecture checks to the loaders in the OCaml and C emulators.	Prashanth Mundkur	1	-1/+17

2019-01-16	Make it clearer that the outer c,ocaml sub-dirs contain supporting files for ↵	Prashanth Mundkur	6	-0/+800
	the emulators.