aboutsummaryrefslogtreecommitdiff
path: root/Makefile
AgeCommit message (Collapse)AuthorFilesLines
2019-06-26Merge branch 'master-cleanup' into pmpPrashanth Mundkur1-0/+7
2019-06-20Add PMP address and entry matching, and priority logic.Prashanth Mundkur1-1/+5
This is specialized for now for the smallest PMP grain of 4 bytes.
2019-06-17Add basic PMP definitions.Prashanth Mundkur1-1/+1
2019-06-11Remove unused directory from Coq imports, removing warningBrian Campbell1-1/+1
2019-06-06Add a makefile target to pre-compile the model for axiomatic concurrency toolAlasdair1-0/+3
2019-06-03Merge remote-tracking branch 'origin/master' into master-cleanupRobert Norton1-14/+11
2019-06-03Install sail and C sources in share directory of opam package.Robert Norton1-0/+7
2019-05-31Fix build on MacPorts/MacOS.Prashanth Mundkur1-2/+6
2019-05-30Include riscv_sim.c in C_SRCSScott Johnson1-5/+5
Since it was being explicitly included everywhere C_SRCS was being used.
2019-05-30Remove obsolete targets from MakefileScott Johnson1-7/+0
Per email from Prashanth
2019-05-24Attempt to fix opam build with opam2: use a .install file and don't rely on ↵Robert Norton1-3/+3
opam being in path to get SAIL_DIR (which seems to be unreliable).
2019-05-24Add Makefile rule to get line count.Robert Norton1-0/+3
2019-05-23Merge branch 'master' into master-cleanupPrashanth Mundkur1-0/+17
2019-05-20Add opam file and make targets to build and install C emulator (32 and 64 bit).Robert Norton1-0/+15
2019-05-17Work around name clash in IsabelleThomas Bauereiss1-0/+2
Until properly fixed in Lem
2019-05-14Merge branch 'master' into master-cleanupPrashanth Mundkur1-1/+1
2019-05-14Improve the interface to access CSRs in extensions.Prashanth Mundkur1-0/+1
2019-05-13Makefile: add -tofrominterp_mwords optionJon French1-1/+1
2019-05-06Factor out sync_exception to fix dependencies in cheri, and similarly split ↵Prashanth Mundkur1-4/+5
out pc access.
2019-05-03Fix inconsistency in accessing PC/nextPC, which also clarifies which ↵Prashanth Mundkur1-3/+3
handlers return nextPC values as opposed to setting them.
2019-04-29Add a post decode hook aimed at implementing CHERI capability mode.Robert Norton1-2/+2
2019-04-24Add extended model from cheri-merge.Prashanth Mundkur1-14/+29
2019-04-18It turns out that the problem I was encountering with ARCH=32 was that I was ↵Robert Norton1-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-18Fix make code so that ARCH=32,64 actually works as expected (use := for ↵Robert Norton1-7/+8
immediate assignment to make variable).
2019-03-14Merge branch 'master' into rmem_interpreterJon French1-72/+114
2019-03-13Add workaround for records with len parametersBrian Campbell1-0/+1
2019-03-12Makefile: generate toFromInterp and marshalled defs for RMEMJon French1-8/+16
2019-03-11Fix typo in Makefile.Prashanth Mundkur1-1/+1
2019-03-05Some fixes to readme and makefile.Prashanth Mundkur1-5/+5
2019-03-04Merge branch 'master' into rv32Prashanth Mundkur1-4/+3
2019-03-04Makefile: build toFromInterp file for RMEMJon French1-0/+4
2019-03-03rmem does not need the -lem_sequential anymoreShaked Flur1-4/+2
2019-03-01Make clean remove coq extras build filesBrian Campbell1-0/+1
2019-02-27Initial attempt to separate generated files by ARCH. Some ↵Prashanth Mundkur1-56/+55
backends/rvfi/rmem still to be tested.
2019-02-26Merge branch 'master' into rv32Prashanth Mundkur1-6/+16
2019-02-20Add ELF architecture checks to the loaders in the OCaml and C emulators.Prashanth Mundkur1-1/+1
2019-02-19Adjust Makefile to use an ARCH argument. Undo xlen guards in ↵Prashanth Mundkur1-10/+47
riscv_analysis, instead conditionally include it in sources, depending on the ARCH.
2019-02-13Add Sv32 and Sv48 by essentially copying Sv39.Prashanth Mundkur1-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-13Pull out the Sv39 and its TLB into separate files.Prashanth Mundkur1-1/+1
2019-02-13Make repository have shape RMEM expectsAlasdair Armstrong1-2/+2
2019-02-13Switch version of riscv_extras.lem depending on Sail versionAlasdair Armstrong1-12/+13
Works around change to write_mem function signature in monad embedding
2019-02-12Start extracting bits of vmem that should be common to RV32, and add some ↵Prashanth Mundkur1-2/+4
definitions for Sv32 and Sv48.
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 Armstrong1-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-11Fix xlen variable name.Prashanth Mundkur1-1/+1
2019-02-11More refactoring for RV32Prashanth Mundkur1-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-08Start parameterizing definitions by xlen, which is currently still 64.Prashanth Mundkur1-2/+2
2019-02-08Split out the mapping prelude into its own file.Prashanth Mundkur1-5/+7
2019-01-31Fix riscv_isa_build Makefile targetThomas Bauereiss1-1/+2
2019-01-29Update Makefile.Prashanth Mundkur1-1/+1
generated by cgit v1.1 at 2024-08-27 13:12:16 +0000