Age | Commit message (Expand) | Author | Files | Lines |
2020-09-04 | Handle hints explicitly in order to not trap on them. | Prashanth Mundkur | 1 | -1/+1 |
2020-06-18 | Make duopod build in coq again, and fix location | Brian Campbell | 1 | -5/+5 |
2020-06-16 | Use an output file for generated branch information in the coverage build. | Prashanth Mundkur | 1 | -2/+3 |
2020-06-15 | Update Coq part of the Makefile to use opam packages by default | Brian Campbell | 1 | -5/+28 |
2020-06-15 | c emulator makefile tweak, as suggested by Thibaut | Christopher Pulte | 1 | -1/+1 |
2020-06-10 | Enable sailcov support in c_emulator if SAILCOV is set in the environment. | Prashanth Mundkur | 1 | -1/+7 |
2020-06-04 | - upgrade to opam 2 package | Christopher Pulte | 1 | -1/+4 |
2020-05-22 | Add compressed F,D instructions. | Prashanth Mundkur | 1 | -2/+2 |
2020-05-22 | Add a Makefile target for new Sail->C backend | Alasdair | 1 | -0/+4 |
2020-04-02 | Fix a bug in the softfloat interface that caused exception flags not to get a... | Prashanth Mundkur | 1 | -2/+2 |
2020-02-26 | Add convenience 'osim' target for ocaml emulator. | Robert Norton | 1 | -0/+2 |
2020-02-03 | Add softfloat fdext defs for rmem build. | Prashanth Mundkur | 1 | -1/+1 |
2020-01-30 | Invoke recursive make using $(MAKE) as GNU recommends | Scott Johnson | 1 | -2/+2 |
2020-01-29 | Fix rvfi build. | Prashanth Mundkur | 1 | -1/+1 |
2020-01-23 | Add lem stubs for softfloat externs.rsnikhil | Prashanth Mundkur | 1 | -2/+2 |
2020-01-22 | Merge branch 'master' into rsnikhil | Prashanth Mundkur | 1 | -2/+2 |
2020-01-18 | Allow extensions to provide their own exception codes/names | James Clarke | 1 | -2/+2 |
2020-01-08 | Add softfloat to rvfi build. | Prashanth Mundkur | 1 | -1/+1 |
2020-01-07 | Merge branch 'master' into rsnikhil. | Prashanth Mundkur | 1 | -26/+31 |
2020-01-07 | Separate out RVFI simulators like non-RVFI | James Clarke | 1 | -4/+4 |
2019-12-05 | Fix RVFI build | Thomas Bauereiss | 1 | -1/+1 |
2019-12-03 | Merge remote-tracking branch 'origin/master' into mem_meta_merge | Robert Norton | 1 | -3/+10 |
2019-11-28 | Fix check for BBV_DIR | Thomas Bauereiss | 1 | -1/+1 |
2019-11-26 | Fix RV32 build for F/D extensions. | Prashanth Mundkur | 1 | -4/+7 |
2019-11-26 | Add individual ocaml stubs for the softfloat functions. | Prashanth Mundkur | 1 | -1/+1 |
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 |