aboutsummaryrefslogtreecommitdiff
path: root/Makefile
AgeCommit message (Expand)AuthorFilesLines
2019-09-04Merge remote-tracking branch 'origin/master' into vmem_ext.vmem_extRobert Norton1-2/+2
2019-08-19RISC-V spec, without implicit castsAlasdair Armstrong1-1/+1
2019-08-13Fix Coq duopod build by giving missing termination measureBrian Campbell1-1/+1
2019-07-22Make a custom exception code available for extensions, and remove the E_CHERI...Prashanth Mundkur1-1/+3
2019-07-22Merge branch 'master' into vmem_extPrashanth Mundkur1-4/+4
2019-07-19Fixed two typosShaked Flur1-1/+1
2019-07-18Make sure everything builds correctlyAlasdair Armstrong1-4/+4
2019-07-15Allow extensions to types of memory access, and factor out PTE and PTW defini...Prashanth Mundkur1-2/+2
2019-07-02Crank up optimisation (sail and gcc).Robert Norton1-2/+2
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
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
2019-05-30Remove obsolete targets from MakefileScott Johnson1-7/+0
2019-05-24Attempt to fix opam build with opam2: use a .install file and don't rely on o...Robert Norton1-3/+3
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
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 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
generated by cgit v1.1 at 2024-08-27 10:55:44 +0000