aboutsummaryrefslogtreecommitdiff
path: root/model
AgeCommit message (Expand)AuthorFilesLines
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
2019-01-25Tweaks to reservation handling.Prashanth Mundkur1-1/+1
2019-01-25Remove uninformative comment.Prashanth Mundkur1-5/+6
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 Mundkur8-1596/+1774
2019-01-21Remove temporary workaround for Lem generationThomas Bauereiss2-9/+5
2019-01-21Clean up duopodAlasdair Armstrong2-22/+10
2019-01-20Tweaks to improve latex readability.Prashanth Mundkur1-22/+26
2019-01-14Reorganize directory structure.Prashanth Mundkur18-0/+5971
generated by cgit v1.1 at 2024-10-20 19:01:56 +0000