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

Age	Commit message (Expand)	Author	Files	Lines
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 ve...	Robert Norton	1	-4/+4
2019-03-11	Fixes for Sv39 TLB.	Prashanth Mundkur	1	-2/+1
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