aboutsummaryrefslogtreecommitdiff
path: root/model
AgeCommit message (Expand)AuthorFilesLines
2019-03-06Fix a missed case of reservation cancellation.Prashanth Mundkur1-1/+1
2019-03-06Fix U-mode checks in check_Counteren()Xi Wang1-3/+3
2019-03-05Fix a typo.Prashanth Mundkur1-1/+1
2019-03-05Correct capitalisation of Sv39/48 in pattern matchesBrian Campbell2-3/+3
2019-03-04Minor edit for consistency.Prashanth Mundkur1-5/+5
2019-03-04Fix missed RV32 check for shamt in sll/srl.Prashanth Mundkur1-5/+13
2019-03-04Enable pmpaddr0.Prashanth Mundkur1-2/+1
2019-02-27Initial attempt to separate generated files by ARCH. Some backends/rvfi/rmem...Prashanth Mundkur3-1/+3
2019-02-26Merge branch 'master' into rv32Prashanth Mundkur1-0/+8
2019-02-26Initial cleanup of the prelude, using standard prelude instead when possible.Prashanth Mundkur3-244/+48
2019-02-22Fix address translation bug in ordering of width-extension and shift in pte. ...Prashanth Mundkur4-10/+10
2019-02-21Fix the ocaml platform to respect the architectural width.Prashanth Mundkur1-8/+17
2019-02-20Some changes for arch-specific initialization.Prashanth Mundkur1-2/+1
2019-02-20Add ELF architecture checks to the loaders in the OCaml and C emulators.Prashanth Mundkur3-2/+5
2019-02-19Use sizeof xlen instead of the value definitions of xlen.Prashanth Mundkur14-143/+135
2019-02-19Adjust Makefile to use an ARCH argument. Undo xlen guards in riscv_analysis,...Prashanth Mundkur3-3/+13
2019-02-15Fix riscv_analysis to use xlen.Prashanth Mundkur1-3/+3
2019-02-15More RV32 fixes.Prashanth Mundkur3-10/+8
2019-02-15Define counter CSRs, and guard accesses from RV32.Prashanth Mundkur2-87/+113
2019-02-15Add xlen guards on double-word operations to make them RV64-only.Prashanth Mundkur3-42/+43
2019-02-14Handle shamt being 5 bits in RV32 instead of 6; also fix a missed case of dis...Prashanth Mundkur1-8/+14
2019-02-14Fix typo in earlier commit.Prashanth Mundkur1-1/+1
2019-02-13Add Sv32 and Sv48 by essentially copying Sv39.Prashanth Mundkur7-3/+277
2019-02-13Remove the use of the TLB until it is more generic across the various archite...Prashanth Mundkur1-56/+24
2019-02-13Pull out the Sv39 and its TLB into separate files.Prashanth Mundkur4-215/+225
2019-02-13Make more address translation types reusable.Prashanth Mundkur2-35/+24
2019-02-13Fix a bug introduced in changing sxl/uxl handling; fix comment.Prashanth Mundkur1-2/+2
2019-02-13Attempt to reuse types for Sv39 and Sv48 to the extent possible for simplicit...Prashanth Mundkur2-70/+96
2019-02-12Start extracting bits of vmem that should be common to RV32, and add some def...Prashanth Mundkur5-238/+332
2019-02-12Compatability fixes from Sail 0.7.1 to Sail 0.8Alasdair Armstrong1-0/+8
2019-02-11Handle 32-bit accesses to the mmio regions and device registers of the clint ...Prashanth Mundkur1-23/+68
2019-02-11Fix xlen variable name.Prashanth Mundkur12-113/+113
2019-02-11Handle SXL/UXL not being present in mstatus in RV32 by using explicit getters...Prashanth Mundkur4-12/+57
2019-02-11Fix 64-bit constants.Prashanth Mundkur1-3/+3
2019-02-11Fix mvendorid width.Prashanth Mundkur2-2/+2
2019-02-11More refactoring for RV32Prashanth Mundkur6-87/+91
2019-02-11Parameterize CSR fields for xlen, and fix definitions for CSRs which are alwa...Prashanth Mundkur2-15/+15
2019-02-08Add xlen guards on encdec and assembly guards, and encdec for c.jal.Prashanth Mundkur3-27/+111
2019-02-08Start parameterizing definitions by xlen, which is currently still 64.Prashanth Mundkur8-29/+34
2019-02-08Change implicits on monad branchAlasdair Armstrong1-4/+4
2019-02-08Adapt to changes in Sail's Lem shallow embeddingThomas Bauereiss3-52/+36
2019-02-08Split out the mapping prelude into its own file.Prashanth Mundkur2-690/+690
2019-02-06Fix register rs2 read in AMO.Prashanth Mundkur1-1/+1
2019-01-30Comment out asserts.Prashanth Mundkur1-5/+5
2019-01-30Add some missed checks for 'N' to delegation logic.Prashanth Mundkur1-7/+13
2019-01-29Update docs, and fix file names.Prashanth Mundkur3-0/+0
2019-01-29Add more of the 'N' standard extension.Prashanth Mundkur5-59/+147
2019-01-29Add CSRs for the 'N' extension arch state and expose to CSR read/write.Prashanth Mundkur5-186/+322
2019-01-29Factor the _sys functionality into separate files for architectural state and...Prashanth Mundkur2-527/+566
2019-01-28Comment on handling mstatus.FS, and update to match Spike.Prashanth Mundkur1-4/+6
generated by cgit v1.1 at 2024-11-05 16:36:22 +0000