Age | Commit message (Expand) | Author | Files | Lines |
2019-11-25 | Work around Isabelle problem in PTW functions | Thomas Bauereiss | 1 | -0/+1 |
2019-11-14 | Create a RISC-V specialization for the default NaN bitpatterns in softfloat. | Prashanth Mundkur | 1 | -2/+3 |
2019-11-06 | Separate out fdext control and update makefile. | Prashanth Mundkur | 1 | -11/+7 |
2019-11-05 | Merge pull request #24 from rems-project/csr_ext | Prashanth Mundkur | 1 | -0/+6 |
2019-11-04 | First cut at adding externs for softfloat. | Prashanth Mundkur | 1 | -5/+15 |
2019-11-01 | Fix up riscv_duopod and make self contained | Alasdair Armstrong | 1 | -3/+3 |
2019-10-31 | Add convenience targets for c emulator and rvfi. | Robert Norton | 1 | -0/+6 |
2019-10-23 | Split 'riscv_insts_fdext.sail' into separate files for F and D, 'riscv_insts_... | rsnikhil | 1 | -1/+1 |
2019-10-22 | Work-in-progress commit; some 'execute' clauses completed (detail below). | rsnikhil | 1 | -1/+2 |
2019-10-21 | Interim commit while developing code for F, D extensions (detail below). | rsnikhil | 1 | -1/+13 |
2019-10-09 | Add {read,write}_ram for Coq | Thomas Bauereiss | 1 | -5/+6 |
2019-10-09 | Read/write memory values and metadata together atomically | Thomas Bauereiss | 1 | -16/+12 |
2019-09-18 | Add a hook for extensions to supress writes to misa.C if necessary. | Robert Norton | 1 | -1/+1 |
2019-09-17 | Run Sail with -dno_cast even when it comes from opam package | Scott Johnson | 1 | -1/+3 |
2019-09-04 | Merge remote-tracking branch 'origin/master' into vmem_ext.vmem_ext | Robert Norton | 1 | -2/+2 |
2019-08-19 | RISC-V spec, without implicit casts | Alasdair Armstrong | 1 | -1/+1 |
2019-08-13 | Fix Coq duopod build by giving missing termination measure | Brian Campbell | 1 | -1/+1 |
2019-07-22 | Make a custom exception code available for extensions, and remove the E_CHERI... | Prashanth Mundkur | 1 | -1/+3 |
2019-07-22 | Merge branch 'master' into vmem_ext | Prashanth Mundkur | 1 | -4/+4 |
2019-07-19 | Fixed two typos | Shaked Flur | 1 | -1/+1 |
2019-07-18 | Make sure everything builds correctly | Alasdair Armstrong | 1 | -4/+4 |
2019-07-15 | Allow extensions to types of memory access, and factor out PTE and PTW defini... | Prashanth Mundkur | 1 | -2/+2 |
2019-07-02 | Crank up optimisation (sail and gcc). | Robert Norton | 1 | -2/+2 |
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 |
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 |
2019-05-30 | Remove obsolete targets from Makefile | Scott Johnson | 1 | -7/+0 |
2019-05-24 | Attempt to fix opam build with opam2: use a .install file and don't rely on o... | Robert Norton | 1 | -3/+3 |
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 |
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 o... | Prashanth Mundkur | 1 | -4/+5 |
2019-05-03 | Fix inconsistency in accessing PC/nextPC, which also clarifies which handlers... | Prashanth Mundkur | 1 | -3/+3 |
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 |
2019-04-18 | Fix make code so that ARCH=32,64 actually works as expected (use := for immed... | Robert Norton | 1 | -7/+8 |
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 |