aboutsummaryrefslogtreecommitdiff
path: root/model
AgeCommit message (Expand)AuthorFilesLines
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
2019-03-07Get rvfi building again.Prashanth Mundkur3-12/+17
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-03-04Add defaults for platform values for use when interpretingJon French3-70/+85
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
generated by cgit v1.1 at 2024-10-03 23:45:23 +0000