aboutsummaryrefslogtreecommitdiff
path: root/model
AgeCommit message (Expand)AuthorFilesLines
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
2019-04-29Add a post decode hook aimed at implementing CHERI capability mode.Robert Norton3-2/+9
2019-04-29Remove unnecessary option in type of decode and decodeCompressed (never retur...Robert Norton2-36/+18
2019-04-24Add extended model from cheri-merge.Prashanth Mundkur36-725/+984
2019-04-18Parameterise memory read/write primitives by address lengthJon French1-18/+18
2019-04-17Fix a 64-bitism.Prashanth Mundkur1-1/+1
2019-04-12Merge branch 'master' into rmem_interpreterrmem_interpreterJon French5-43/+48
2019-04-10Update Coq memory interfacesBrian Campbell1-12/+12
2019-04-09Fix c.addiw to expand to a non-rvc instruction as per spec.Prashanth Mundkur1-7/+2
2019-04-03Tweak print_* bindings for LemThomas Bauereiss1-4/+4
2019-03-29Generalize the previous commit to handle hardwired misa.c.Prashanth Mundkur2-17/+26
2019-03-29Tweak legalize_xepc according to spec: xepc[1] should always be writeable.Robert Norton1-4/+5
2019-03-25Fix prelude for new names of div and mod functions.Robert Norton1-3/+3
2019-03-14Merge branch 'master' into rmem_interpreterJon French34-1663/+2331
2019-03-12Fix missed tlb updates.Prashanth Mundkur2-4/+4
2019-03-12refactor memory access to use new sail intrinsicsJon French3-139/+49
2019-03-12riscv_platform.sail: use externs for platform values even in interpreterJon French3-26/+16
2019-03-12fix missing separator in shift instruction disassembliesJon French1-2/+2
2019-03-12prelude.sail: fix print_foo externs in interpreterJon French1-4/+4
2019-03-11Fix rvfi initialization.Prashanth Mundkur1-2/+1
2019-03-11Add tlbs for Sv32 and Sv48, and some fixes to sfence.vma.Prashanth Mundkur5-50/+171
2019-03-11Fixes for Sv39 TLB.Prashanth Mundkur6-7/+41
2019-03-08Initial attempt at genericizing TLB entries, and re-introduce for Sv39.Prashanth Mundkur2-80/+124
2019-03-08Another prelude cleanup.Prashanth Mundkur1-2/+0
2019-03-07Minor prelude cleanup.Prashanth Mundkur1-2/+0
generated by cgit v1.1 at 2024-10-19 02:53:31 +0000