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

Age	Commit message (Expand)	Author	Files	Lines
2019-07-11	Tweak fig.	Prashanth Mundkur	2	-10/+12
2019-07-11	Undo get_config workarounds.	Prashanth Mundkur	3	-28/+10
2019-07-11	Fix an issue where zeros function defined in sail conflicted with lem builtin...	Robert Norton	1	-24/+7
2019-07-09	Merge branch 'master-cleanup' of github.com:rems-project/sail-riscv into mast...	Prashanth Mundkur	4	-0/+11
2019-07-09	Minor tweak to fig.	Prashanth Mundkur	2	-231/+235
2019-07-09	Add some missed logging guards.	Prashanth Mundkur	6	-47/+83
2019-07-09	Move the get_config_ print defaults to the backend preludes, since it seems t...	Prashanth Mundkur	3	-7/+24
2019-07-09	Fix shadowing of the -v option in C emulator.	Prashanth Mundkur	1	-6/+6
2019-07-09	Add ext_rvfi_init to allow model to be initialised differently for rvfi.	Robert Norton	4	-0/+11
2019-07-03	Add a maximum memory access size to slightly improve C code geneation.	Robert Norton	3	-23/+32
2019-07-02	Default terminal output to stdout instead of in 'term.log'.	Robert Norton	1	-2/+1
2019-07-02	Add an instruction limit option to C emulator. Also print kips every 2**20 (~...	Robert Norton	1	-2/+22
2019-07-02	Crank up optimisation (sail and gcc).	Robert Norton	1	-2/+2
2019-07-01	Predicate another bit of tracing.	Robert Norton	1	-1/+2
2019-07-01	Merge remote-tracking branch 'origin/master' into master-cleanup	Robert Norton	11	-21/+37
2019-07-01	Improve argument parsing of C emulator. Make trace / no-trace argument optional.	Robert Norton	1	-11/+14
2019-06-28	Rename zeros and ones implicit functions to something that sail monomorphisat...	Robert Norton	1	-7/+4
2019-06-28	add interpreter extern for string_of_int	Jon French	1	-1/+1
2019-06-28	Avoid implicit casts to string	Alasdair	11	-20/+36
2019-06-27	Merge pull request #14 from gameboo/aj443-fixes	Prashanth Mundkur	4	-8/+8
2019-06-27	Update the os-boot patch.	Prashanth Mundkur	1	-32/+39
2019-06-27	Update docs and diagram.	Prashanth Mundkur	3	-240/+275
2019-06-27	Merge branch 'master' into pmp	Prashanth Mundkur	3	-0/+57
2019-06-27	Merge branch 'master-cleanup' into pmp	Prashanth Mundkur	4	-6/+10
2019-06-27	Fix the lem target.	Prashanth Mundkur	2	-84/+68
2019-06-27	Zero extend rather than sign extend rvfi-dii reports (usefull for 32 rvfi-dii...	Alexandre Joannou	4	-8/+8
2019-06-27	Fixes for get_perf.py script: fix name of tests directory and cope with uc-p ...	Robert Norton	1	-2/+2
2019-06-27	Predicate more tracing with get_config_print_xxx.	Robert Norton	3	-5/+10
2019-06-27	pointer to RISC-V ISA Formal comparison	Peter Sewell	1	-0/+4
2019-06-27	Merge pull request #12 from heshamelmatary/hafnium	Robert Norton	2	-0/+53
2019-06-27	os-boot: Add a Hafnium image with initrd and Linux VMs	Hesham Almatary	1	-0/+0
2019-06-27	os-boot: Add a Spike-derivative DTS with chosen node for Hafnium	Hesham Almatary	1	-0/+53
2019-06-26	Merge branch 'master-cleanup' into pmp	Prashanth Mundkur	10	-20/+104
2019-06-26	Add command line option in c_emulator for disabling tracing. Add builtins for...	Robert Norton	6	-7/+83
2019-06-25	Some more pruning and commenting of riscv_mem.	Prashanth Mundkur	1	-33/+37
2019-06-25	Add PMP regs to the is-defined predicate.	Prashanth Mundkur	1	-1/+20
2019-06-24	Add PMP checks to physical memory accesses.	Prashanth Mundkur	24	-61/+135
2019-06-24	Narrow the external interface to riscv_mem to mem_{read,write,write_ea}.	Prashanth Mundkur	7	-23/+26
2019-06-24	Starting cleaning up physical memory bits for pmp integration.	Prashanth Mundkur	6	-63/+37
2019-06-21	Checked locked flag on PMP reg writes, and add the special case for the pmpad...	Prashanth Mundkur	3	-62/+64
2019-06-20	Hook in csr reads/writes to PMP regs. Locked entries are not yet handled.	Prashanth Mundkur	3	-85/+129
2019-06-20	Handle pmpcfg packing and unpacking for csr accesses.	Prashanth Mundkur	1	-22/+76
2019-06-20	Add PMP address and entry matching, and priority logic.	Prashanth Mundkur	4	-37/+223
2019-06-20	Add interpreter builtin for min_nat. Should min/max be in standard library?	Robert Norton	1	-1/+1
2019-06-19	Factor out mstatus.mprv checks for effective privilege for reuse in PMP.	Prashanth Mundkur	3	-6/+7
2019-06-19	Define PMP permission checking.	Prashanth Mundkur	1	-4/+43
2019-06-17	Add basic PMP definitions.	Prashanth Mundkur	2	-1/+26
2019-06-14	Use sail's built-in ones functions for compatibility with smt backend.	Robert Norton	1	-10/+4
2019-06-11	Remove unused directory from Coq imports, removing warning	Brian Campbell	1	-1/+1
2019-06-11	Fill in a few missing Coq built-ins	Brian Campbell	1	-3/+3