aboutsummaryrefslogtreecommitdiff
path: root/Makefile
AgeCommit message (Expand)AuthorFilesLines
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 o...Prashanth Mundkur1-4/+5
2019-05-03Fix inconsistency in accessing PC/nextPC, which also clarifies which handlers...Prashanth Mundkur1-3/+3
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
2019-04-18Fix make code so that ARCH=32,64 actually works as expected (use := for immed...Robert Norton1-7/+8
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 backends/rvfi/rmem...Prashanth Mundkur1-56/+55
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 riscv_analysis,...Prashanth Mundkur1-10/+47
2019-02-13Add Sv32 and Sv48 by essentially copying Sv39.Prashanth Mundkur1-1/+3
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
2019-02-12Start extracting bits of vmem that should be common to RV32, and add some def...Prashanth Mundkur1-2/+4
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
2019-02-11Fix xlen variable name.Prashanth Mundkur1-1/+1
2019-02-11More refactoring for RV32Prashanth Mundkur1-2/+2
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
2019-01-29Add CSRs for the 'N' extension arch state and expose to CSR read/write.Prashanth Mundkur1-1/+1
2019-01-29Factor the _sys functionality into separate files for architectural state and...Prashanth Mundkur1-2/+4
2019-01-29Added riscv_rmem that generates the lem files for rmem (which are different f...Shaked Flur1-4/+19
2019-01-25Factor out each extension into separate files, do some minor cleanup.Prashanth Mundkur1-3/+4
2019-01-22Build HOL definitions by defaultThomas Bauereiss1-1/+1
2019-01-22Add build Makefile targets for prover backendsThomas Bauereiss1-3/+36
2019-01-21Output auxiliary Isabelle theories into generated_definitions/isabelleThomas Bauereiss1-6/+9
2019-01-16More reorg.Prashanth Mundkur1-71/+71
2019-01-16Properly locate generated latex.Prashanth Mundkur1-1/+2
2019-01-16Make it clearer that the outer c,ocaml sub-dirs contain supporting files for ...Prashanth Mundkur1-27/+28
2019-01-15Ensure generated model sub-dirs are created.Prashanth Mundkur1-0/+12
2019-01-15Make the names of the OCaml and C simulators more similar, with C being the d...Prashanth Mundkur1-9/+9
2019-01-14Reorganize directory structure.Prashanth Mundkur1-95/+89
2019-01-02Add termination measures to get patch-free Coq outputBrian Campbell1-2/+3
2018-12-20Commit changes from rems-project/sail@b167a59affdb6428fa0656a092b335a3a6899d5...Robert Norton1-0/+6
2018-12-17Fix stray - in Makefile accidentally introduced by previous commit.Robert Norton1-1/+1
generated by cgit v1.1 at 2024-08-27 11:03:41 +0000