aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)AuthorFilesLines
2019-03-29Add a note about 32-bit OS boots.Prashanth Mundkur1-0/+3
2019-03-29Generalize the previous commit to handle hardwired misa.c.Prashanth Mundkur9-33/+69
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-14Use Bytes.get instead of square bracket notation. I think this is an ocaml ve...Robert Norton1-4/+4
2019-03-13Add workaround for records with len parametersBrian Campbell1-0/+1
2019-03-12Fix missed tlb updates.Prashanth Mundkur2-4/+4
2019-03-11Fix rvfi initialization.Prashanth Mundkur1-2/+1
2019-03-11Fix typo in Makefile.Prashanth Mundkur1-1/+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 Mundkur9-13/+44
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-07Fix docs about sel4 boot.Prashanth Mundkur3-7/+56
2019-03-07More doc tweaks.Prashanth Mundkur1-3/+5
2019-03-07Another doc update.Prashanth Mundkur1-1/+4
2019-03-07More doc tweaks.Prashanth Mundkur1-20/+13
2019-03-07More doc tweaks.Prashanth Mundkur4-0/+9
2019-03-07More doc updates.Prashanth Mundkur1-7/+7
2019-03-07More doc edits.Prashanth Mundkur2-7/+16
2019-03-07Minor doc edits.Prashanth Mundkur2-3/+4
2019-03-07Add sample OS images and update docs.Prashanth Mundkur8-57/+189
2019-03-06Minor clarification in readme.Prashanth Mundkur1-1/+1
2019-03-06Fix a missed case of reservation cancellation.Prashanth Mundkur1-1/+1
2019-03-06Fix RV32 reservation checks in C emulator. Also reduce default ram to 64MB.Prashanth Mundkur2-5/+15
2019-03-06Fix U-mode checks in check_Counteren()Xi Wang1-3/+3
2019-03-05Some fixes to readme and makefile.Prashanth Mundkur2-11/+11
2019-03-05Fix a typo.Prashanth Mundkur1-1/+1
2019-03-05Correct capitalisation of Sv39/48 in pattern matchesBrian Campbell2-3/+3
2019-03-04Merge branch 'master' into rv32Prashanth Mundkur1-4/+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-04Update readme.Prashanth Mundkur1-5/+12
2019-03-03rmem does not need the -lem_sequential anymoreShaked Flur1-4/+2
2019-03-01Add compliance test signature support for the C emulator.Prashanth Mundkur1-13/+58
2019-03-01Make clean remove coq extras build filesBrian Campbell1-0/+1
2019-02-27Add an option to write signatures for the compliance suite.Prashanth Mundkur2-8/+62
2019-02-27Refresh to latest tests from riscv-tests. The 32-bit -v- elfs still seem bro...Prashanth Mundkur471-3176/+4828
2019-02-27Initial attempt to separate generated files by ARCH. Some backends/rvfi/rmem...Prashanth Mundkur5-74/+74
2019-02-26Restore riscv_extras damaged by merge.Prashanth Mundkur1-9/+13
2019-02-26Reduce default ram to 64MB in ocaml emulator.Prashanth Mundkur1-1/+1
2019-02-26Remove old license header from ml files.Prashanth Mundkur2-100/+0
2019-02-26Merge branch 'master' into rv32Prashanth Mundkur7-35/+323
2019-02-26Initial cleanup of the prelude, using standard prelude instead when possible.Prashanth Mundkur3-244/+48
2019-02-25Enable C rv32 tests.Prashanth Mundkur1-14/+26
2019-02-22Fix address translation bug in ordering of width-extension and shift in pte. ...Prashanth Mundkur5-12/+11
2019-02-22Add rv32 support to the trace comparer.Prashanth Mundkur1-8/+67
generated by cgit v1.1 at 2024-08-27 14:32:39 +0000