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

Age	Commit message (Expand)	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 for...	Robert Norton	1	-0/+5
2019-06-24	Add PMP checks to physical memory accesses.	Prashanth Mundkur	1	-0/+2
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	1	-12/+17
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	1	-12/+17
2019-02-27	Add an option to write signatures for the compliance suite.	Prashanth Mundkur	1	-0/+5
2019-02-26	Remove old license header from ml files.	Prashanth Mundkur	1	-50/+0
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	1	-5/+6
2019-01-16	Make it clearer that the outer c,ocaml sub-dirs contain supporting files for ...	Prashanth Mundkur	1	-0/+174