aboutsummaryrefslogtreecommitdiff
path: root/model
AgeCommit message (Expand)AuthorFilesLines
2019-06-28add interpreter extern for string_of_intJon French1-1/+1
2019-06-28Avoid implicit casts to stringAlasdair11-20/+36
2019-06-27Merge branch 'master-cleanup' into pmpPrashanth Mundkur3-4/+8
2019-06-27Fix the lem target.Prashanth Mundkur2-84/+68
2019-06-27Predicate more tracing with get_config_print_xxx.Robert Norton3-5/+10
2019-06-26Merge branch 'master-cleanup' into pmpPrashanth Mundkur3-13/+29
2019-06-26Add command line option in c_emulator for disabling tracing. Add builtins for...Robert Norton2-2/+18
2019-06-25Some more pruning and commenting of riscv_mem.Prashanth Mundkur1-33/+37
2019-06-25Add PMP regs to the is-defined predicate.Prashanth Mundkur1-1/+20
2019-06-24Add PMP checks to physical memory accesses.Prashanth Mundkur15-61/+111
2019-06-24Narrow the external interface to riscv_mem to mem_{read,write,write_ea}.Prashanth Mundkur7-23/+26
2019-06-24Starting cleaning up physical memory bits for pmp integration.Prashanth Mundkur6-63/+37
2019-06-21Checked locked flag on PMP reg writes, and add the special case for the pmpad...Prashanth Mundkur3-62/+64
2019-06-20Hook in csr reads/writes to PMP regs. Locked entries are not yet handled.Prashanth Mundkur3-85/+129
2019-06-20Handle pmpcfg packing and unpacking for csr accesses.Prashanth Mundkur1-22/+76
2019-06-20Add PMP address and entry matching, and priority logic.Prashanth Mundkur3-36/+218
2019-06-20Add interpreter builtin for min_nat. Should min/max be in standard library?Robert Norton1-1/+1
2019-06-19Factor out mstatus.mprv checks for effective privilege for reuse in PMP.Prashanth Mundkur3-6/+7
2019-06-19Define PMP permission checking.Prashanth Mundkur1-4/+43
2019-06-17Add basic PMP definitions.Prashanth Mundkur1-0/+25
2019-06-14Use sail's built-in ones functions for compatibility with smt backend.Robert Norton1-10/+4
2019-06-11Fill in a few missing Coq built-insBrian Campbell1-3/+3
2019-06-03Add a suppress_warnings directive in prelude_mapping.sail. Would be nice to f...Robert Norton1-0/+6
2019-05-24Make xret hooks differentiate between just reading xret target values and get...Prashanth Mundkur2-4/+14
2019-05-23Be more careful about matching only instructions that are defined for xlen be...Robert Norton2-11/+12
2019-05-14Merge branch 'master' into master-cleanupPrashanth Mundkur1-2/+2
2019-05-14Improve the interface to access CSRs in extensions.Prashanth Mundkur4-7/+27
2019-05-13also convert RMEM sentinel instructions to return Retired enumJon French1-2/+2
2019-05-10Rename regbits to regidx, to clarify the type is an index and not the content...Prashanth Mundkur8-121/+121
2019-05-10Use an explicit enum to indicate the retire status as opposed to a boolean to...Prashanth Mundkur12-95/+105
2019-05-10Print canonical assembly for immediate loads/storesJames Clarke1-3/+3
2019-05-08Allow overide of utvec in identical way to mtvec/stvec in previous commit.Robert Norton2-2/+10
2019-05-07Allow overrides for mtvec/stvec accessors.Prashanth Mundkur2-4/+22
2019-05-06Factor out sync_exception to fix dependencies in cheri, and similarly split o...Prashanth Mundkur4-24/+23
2019-05-03Enable some asserts.Prashanth Mundkur1-4/+4
2019-05-03Fix a todo for c.slli on RV32.Prashanth Mundkur1-3/+2
2019-05-03Minor formatting cleanup and remove obsolete comments.Prashanth Mundkur4-15/+14
2019-05-03Fix inconsistency in accessing PC/nextPC, which also clarifies which handlers...Prashanth Mundkur4-13/+13
2019-05-03Fix compile due to missed effect declaration.Prashanth Mundkur1-1/+1
2019-05-03Don't assume regtype is bitvector in init_base_regs.Robert Norton1-31/+31
2019-05-03Fix a couple of warnings.Robert Norton1-2/+4
2019-05-02rvfi: fixes for RV32Prashanth Mundkur4-8/+8
2019-05-02rvfi: fix mask encodingPrashanth Mundkur2-2/+7
2019-05-02rvfi: avoid setting write fields if the write traps.Prashanth Mundkur1-15/+15
2019-05-02rvfi: fix mem data and mask fields for reads.Prashanth Mundkur1-7/+5
2019-05-02rvfi: initialize registers between test runs.Prashanth Mundkur3-0/+37
2019-05-02Remove duplicate val spec for post_decode_hook.Robert Norton1-5/+0
2019-05-02Push address calculation inside the data_check_addr hook and rename it to dat...rmn30Robert Norton3-17/+27
2019-05-01Add base address register as extra argument to ext_data_check_addr hook to as...Robert Norton3-6/+6
2019-04-29Update docs for previous commits.Prashanth Mundkur1-2/+7
generated by cgit v1.1 at 2024-11-05 16:40:59 +0000