Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2019-06-26 | Merge branch 'master-cleanup' into pmp | Prashanth Mundkur | 1 | -0/+7 | |
2019-06-20 | Add PMP address and entry matching, and priority logic. | Prashanth Mundkur | 1 | -1/+5 | |
This is specialized for now for the smallest PMP grain of 4 bytes. | |||||
2019-06-17 | Add basic PMP definitions. | Prashanth Mundkur | 1 | -1/+1 | |
2019-06-11 | Remove unused directory from Coq imports, removing warning | Brian Campbell | 1 | -1/+1 | |
2019-06-06 | Add a makefile target to pre-compile the model for axiomatic concurrency tool | Alasdair | 1 | -0/+3 | |
2019-06-03 | Merge remote-tracking branch 'origin/master' into master-cleanup | Robert Norton | 1 | -14/+11 | |
2019-06-03 | Install sail and C sources in share directory of opam package. | Robert Norton | 1 | -0/+7 | |
2019-05-31 | Fix build on MacPorts/MacOS. | Prashanth Mundkur | 1 | -2/+6 | |
2019-05-30 | Include riscv_sim.c in C_SRCS | Scott Johnson | 1 | -5/+5 | |
Since it was being explicitly included everywhere C_SRCS was being used. | |||||
2019-05-30 | Remove obsolete targets from Makefile | Scott Johnson | 1 | -7/+0 | |
Per email from Prashanth | |||||
2019-05-24 | Attempt to fix opam build with opam2: use a .install file and don't rely on ↵ | Robert Norton | 1 | -3/+3 | |
opam being in path to get SAIL_DIR (which seems to be unreliable). | |||||
2019-05-24 | Add Makefile rule to get line count. | Robert Norton | 1 | -0/+3 | |
2019-05-23 | Merge branch 'master' into master-cleanup | Prashanth Mundkur | 1 | -0/+17 | |
2019-05-20 | Add opam file and make targets to build and install C emulator (32 and 64 bit). | Robert Norton | 1 | -0/+15 | |
2019-05-17 | Work around name clash in Isabelle | Thomas Bauereiss | 1 | -0/+2 | |
Until properly fixed in Lem | |||||
2019-05-14 | Merge branch 'master' into master-cleanup | Prashanth Mundkur | 1 | -1/+1 | |
2019-05-14 | Improve the interface to access CSRs in extensions. | Prashanth Mundkur | 1 | -0/+1 | |
2019-05-13 | Makefile: add -tofrominterp_mwords option | Jon French | 1 | -1/+1 | |
2019-05-06 | Factor out sync_exception to fix dependencies in cheri, and similarly split ↵ | Prashanth Mundkur | 1 | -4/+5 | |
out pc access. | |||||
2019-05-03 | Fix inconsistency in accessing PC/nextPC, which also clarifies which ↵ | Prashanth Mundkur | 1 | -3/+3 | |
handlers return nextPC values as opposed to setting them. | |||||
2019-04-29 | Add a post decode hook aimed at implementing CHERI capability mode. | Robert Norton | 1 | -2/+2 | |
2019-04-24 | Add extended model from cheri-merge. | Prashanth Mundkur | 1 | -14/+29 | |
2019-04-18 | It turns out that the problem I was encountering with ARCH=32 was that I was ↵ | Robert Norton | 1 | -3/+2 | |
setting it on the command line which overrides all assignments (including the ones that change it to RV32). Digging deeper down the Make rabbit hole it turns out that 'override' allows you to fix this. | |||||
2019-04-18 | Fix make code so that ARCH=32,64 actually works as expected (use := for ↵ | Robert Norton | 1 | -7/+8 | |
immediate assignment to make variable). | |||||
2019-03-14 | Merge branch 'master' into rmem_interpreter | Jon French | 1 | -72/+114 | |
2019-03-13 | Add workaround for records with len parameters | Brian Campbell | 1 | -0/+1 | |
2019-03-12 | Makefile: generate toFromInterp and marshalled defs for RMEM | Jon French | 1 | -8/+16 | |
2019-03-11 | Fix typo in Makefile. | Prashanth Mundkur | 1 | -1/+1 | |
2019-03-05 | Some fixes to readme and makefile. | Prashanth Mundkur | 1 | -5/+5 | |
2019-03-04 | Merge branch 'master' into rv32 | Prashanth Mundkur | 1 | -4/+3 | |
2019-03-04 | Makefile: build toFromInterp file for RMEM | Jon French | 1 | -0/+4 | |
2019-03-03 | rmem does not need the -lem_sequential anymore | Shaked Flur | 1 | -4/+2 | |
2019-03-01 | Make clean remove coq extras build files | Brian Campbell | 1 | -0/+1 | |
2019-02-27 | Initial attempt to separate generated files by ARCH. Some ↵ | Prashanth Mundkur | 1 | -56/+55 | |
backends/rvfi/rmem still to be tested. | |||||
2019-02-26 | Merge branch 'master' into rv32 | Prashanth Mundkur | 1 | -6/+16 | |
2019-02-20 | Add ELF architecture checks to the loaders in the OCaml and C emulators. | Prashanth Mundkur | 1 | -1/+1 | |
2019-02-19 | Adjust Makefile to use an ARCH argument. Undo xlen guards in ↵ | Prashanth Mundkur | 1 | -10/+47 | |
riscv_analysis, instead conditionally include it in sources, depending on the ARCH. | |||||
2019-02-13 | Add Sv32 and Sv48 by essentially copying Sv39. | Prashanth Mundkur | 1 | -1/+3 | |
Being first-order prevents straight-forward abstraction over the PTE operations, but perhaps there is another way to generalize and unify. | |||||
2019-02-13 | Pull out the Sv39 and its TLB into separate files. | Prashanth Mundkur | 1 | -1/+1 | |
2019-02-13 | Make repository have shape RMEM expects | Alasdair Armstrong | 1 | -2/+2 | |
2019-02-13 | Switch version of riscv_extras.lem depending on Sail version | Alasdair Armstrong | 1 | -12/+13 | |
Works around change to write_mem function signature in monad embedding | |||||
2019-02-12 | Start extracting bits of vmem that should be common to RV32, and add some ↵ | Prashanth Mundkur | 1 | -2/+4 | |
definitions for Sv32 and Sv48. | |||||
2019-02-12 | Minor makefile cleanup h/t @fshaked. | Prashanth Mundkur | 1 | -4/+3 | |
2019-02-12 | Compatability fixes from Sail 0.7.1 to Sail 0.8 | Alasdair Armstrong | 1 | -1/+11 | |
Two small compatability fixes: Small change to the prelude to make sure we are forwards compatable with the next release of Sail, which has slightly different syntax for implicit arguments. Due to changes in the monad embedding in the latest git version of Sail, we disable generating Lem by default when we detect we are on that version. It's a small one line fix to correct, but we want to keep the Lem definitions in this repository compatible with the opam release 0.7.1 for now. | |||||
2019-02-11 | Fix xlen variable name. | Prashanth Mundkur | 1 | -1/+1 | |
2019-02-11 | More refactoring for RV32 | Prashanth Mundkur | 1 | -2/+2 | |
- split out memory access definitions in prelude that depend on xlen - make riscv_xlen now part of the prelude set, so that riscv_duopod can use the definition - update xlen use in riscv_duopod so that it can now support rv32 | |||||
2019-02-08 | Start parameterizing definitions by xlen, which is currently still 64. | Prashanth Mundkur | 1 | -2/+2 | |
2019-02-08 | Split out the mapping prelude into its own file. | Prashanth Mundkur | 1 | -5/+7 | |
2019-01-31 | Fix riscv_isa_build Makefile target | Thomas Bauereiss | 1 | -1/+2 | |
2019-01-29 | Update Makefile. | Prashanth Mundkur | 1 | -1/+1 | |