aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)AuthorFilesLines
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-13Make repository have shape RMEM expectsAlasdair Armstrong5-5/+142
2019-02-13Switch version of riscv_extras.lem depending on Sail versionAlasdair Armstrong2-12/+150
2019-02-12Start extracting bits of vmem that should be common to RV32, and add some def...Prashanth Mundkur6-240/+336
2019-02-12Minor makefile cleanup h/t @fshaked.Prashanth Mundkur1-4/+3
2019-02-12Compatability fixes from Sail 0.7.1 to Sail 0.8Alasdair Armstrong2-1/+19
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 Mundkur13-114/+114
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 Mundkur8-90/+97
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 Mundkur9-31/+36
2019-02-08Change implicits on monad branchAlasdair Armstrong1-4/+4
2019-02-08Adapt to changes in Sail's Lem shallow embeddingThomas Bauereiss4-61/+49
2019-02-08Split out the mapping prelude into its own file.Prashanth Mundkur3-695/+697
2019-02-06Fix register rs2 read in AMO.Prashanth Mundkur1-1/+1
2019-01-31Fix riscv_isa_build Makefile targetThomas Bauereiss1-1/+2
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 Makefile.Prashanth Mundkur1-1/+1
2019-01-29Update docs, and fix file names.Prashanth Mundkur6-39/+32
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 Mundkur6-187/+323
2019-01-29Factor the _sys functionality into separate files for architectural state and...Prashanth Mundkur3-529/+570
2019-01-29Added _sbuild and _build to .gitignoreShaked Flur1-0/+5
2019-01-29Added riscv_rmem that generates the lem files for rmem (which are different f...Shaked Flur2-52/+20
2019-01-28Comment on handling mstatus.FS, and update to match Spike.Prashanth Mundkur1-4/+6
2019-01-25Tweaks to reservation handling.Prashanth Mundkur2-3/+9
2019-01-25Remove uninformative comment.Prashanth Mundkur1-5/+6
2019-01-25Mention mstatus.SD handling in the Extending guide.Prashanth Mundkur1-1/+3
2019-01-25Account for U-mode availability in xRET.Prashanth Mundkur1-1/+2
2019-01-25SRET should be illegal if S-mode is not supported.Prashanth Mundkur1-1/+1
2019-01-25Add misa checks for instructions not in the base set.Prashanth Mundkur5-165/+225
2019-01-25Factor out each extension into separate files, do some minor cleanup.Prashanth Mundkur10-1605/+1786
2019-01-22doc: another tweak.Prashanth Mundkur1-3/+2
2019-01-22doc: tweaks.Prashanth Mundkur2-11/+12
2019-01-22Mention that a faster model w/o tracing is available on the optimizeAlasdair Armstrong1-1/+4
2019-01-22Add an initial draft of an extending guide.Prashanth Mundkur2-1/+86
2019-01-22doc: Point to the Sail manual in the reading guide.Prashanth Mundkur1-1/+5
2019-01-22Mention versions of tested proversThomas Bauereiss1-2/+7
2019-01-22Build HOL definitions by defaultThomas Bauereiss1-1/+1
2019-01-22Add build Makefile targets for prover backendsThomas Bauereiss2-7/+42
2019-01-21Tweaks to the reading guide.Prashanth Mundkur1-5/+8
2019-01-21Update readme.Prashanth Mundkur1-1/+3
2019-01-21Add an initial version for a reading guide.Prashanth Mundkur1-0/+64
generated by cgit v1.1 at 2024-10-03 23:48:50 +0000