Age | Commit message (Expand) | Author | Files | Lines |
2021-06-24 | Redesign the physical address check extension point to more closely resemble ...ext_check_phys_mem_alt | Robert Norton | 3 | -25/+30 |
2021-06-18 | Add an extension point to allow validation of physical memory accesses.ext_check_phys_mem | Robert Norton | 3 | -3/+36 |
2020-08-04 | Add a line pointing to the instructions for latex inclusion in the prose spec... | Prashanth Mundkur | 1 | -0/+1 |
2020-08-04 | Add a pointer in README to riscv-config PR | Robert Norton | 1 | -0/+4 |
2020-08-01 | Fix readme link. | Prashanth Mundkur | 1 | -1/+1 |
2020-08-01 | update README and LICENCE | pes20 | 2 | -11/+26 |
2020-08-01 | update README | pes20 | 1 | -1/+1 |
2020-08-01 | update README | pes20 | 1 | -2/+5 |
2020-08-01 | update README | pes20 | 1 | -131/+129 |
2020-08-01 | Update README.md | Peter Sewell | 1 | -1/+1 |
2020-08-01 | update README, copying and adapting material from Formal Spec page | pes20 | 1 | -7/+227 |
2020-06-30 | Merge pull request #64 from nwf:pte-check-split with minor edits. | Prashanth Mundkur | 6 | -19/+46 |
2020-06-30 | Split ext_ptw into pieces and add documentation | Nathaniel Wesley Filardo | 6 | -19/+43 |
2020-06-30 | SV32: allow external specification of PTE extension bits | Nathaniel Wesley Filardo | 2 | -1/+12 |
2020-06-29 | Merge pull request #63 from nwf/split-eat-rw | Prashanth Mundkur | 6 | -31/+37 |
2020-06-27 | A kinder, gentler splitting of ext_access_type's ReadWrite | Nathaniel Wesley Filardo | 6 | -31/+37 |
2020-06-22 | Add some comments and docs. | Prashanth Mundkur | 2 | -1/+9 |
2020-06-20 | Allow extensions to override page fault causes | Jessica Clarke | 4 | -5/+8 |
2020-06-20 | Fix non-coverage build | Jessica Clarke | 1 | -0/+2 |
2020-06-18 | Update Coq snapshots | Brian Campbell | 35 | -85390/+98033 |
2020-06-18 | Make duopod build in coq again, and fix location | Brian Campbell | 1 | -5/+5 |
2020-06-18 | add Nikhil to authors; update install instructions | pes20 | 2 | -5/+5 |
2020-06-17 | check error status returns from make | eroom1966 | 1 | -4/+14 |
2020-06-16 | Use an output file for generated branch information in the coverage build. | Prashanth Mundkur | 1 | -2/+3 |
2020-06-15 | Remove obsolete Coq axiom | Brian Campbell | 1 | -2/+0 |
2020-06-15 | Update handwritten Coq support files to match current Sail. | Brian Campbell | 2 | -10/+4 |
2020-06-15 | Update Coq part of the Makefile to use opam packages by default | Brian Campbell | 1 | -5/+28 |
2020-06-15 | Release version 0.50.5 | Thibaut PĂ©rami | 1 | -1/+1 |
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 | 2 | -1/+19 |
2020-06-09 | Properly handle invalid virtual addresses in address translation. | Prashanth Mundkur | 2 | -6/+28 |
2020-06-05 | Avoid relying on ext_access_type values in PMP, to be compatible with extensi... | Prashanth Mundkur | 1 | -8/+8 |
2020-06-04 | - upgrade to opam 2 package | Christopher Pulte | 4 | -6/+10 |
2020-05-28 | Remove effects on assembly introduced in 1bb74ef9, fix effects on encdec_comp... | Prashanth Mundkur | 4 | -18/+18 |
2020-05-28 | Merge pull request #54 from scottj97/fix-mtval | Prashanth Mundkur | 1 | -18/+18 |
2020-05-27 | Fix bug: mtval (and [su]tval) should get vaddr, not paddr | Scott Johnson | 1 | -2/+2 |
2020-05-27 | Rename var to distinguish vaddr from paddr | Scott Johnson | 1 | -16/+16 |
2020-05-27 | Rename param to distinguish vaddr from paddr | Scott Johnson | 1 | -2/+2 |
2020-05-26 | Fix FMIN/FMAX when QNaN+SNaN (#53) | Scott Johnson | 2 | -40/+33 |
2020-05-22 | Add compressed F,D instructions. | Prashanth Mundkur | 4 | -4/+166 |
2020-05-22 | Prevent access to N-mode registers and mstatus/mip/mie bits when N-mode is di... | Prashanth Mundkur | 2 | -12/+16 |
2020-05-22 | Add a Makefile target for new Sail->C backend | Alasdair | 2 | -0/+35 |
2020-04-28 | Update status doc to mention xlen handling limitations. | Prashanth Mundkur | 1 | -0/+4 |
2020-04-27 | Clear mstatus.mprv on mret and sret, and hardwire it to 0 when user-mode is n... | Prashanth Mundkur | 2 | -2/+6 |
2020-04-27 | Add the mcountinhibit register. | Prashanth Mundkur | 3 | -1/+19 |
2020-04-27 | Handle writes to misa.{F,D}. | Prashanth Mundkur | 1 | -3/+8 |
2020-04-21 | Fix mstatus.MPRV fetches (#48) | Scott Johnson | 4 | -14/+11 |
2020-04-14 | Update pointers to the Sail-annotated specifications, and update model status... | Prashanth Mundkur | 2 | -5/+6 |
2020-04-07 | Switch floating-point comparisons to using softfloat to avoid missed corner-c... | Prashanth Mundkur | 8 | -55/+199 |
2020-04-06 | Fix fcsr exception accrual for non-softfloat paths. | Prashanth Mundkur | 3 | -103/+92 |