Age | Commit message (Expand) | Author | Files | Lines |
2022-01-19 | Change GPR names to x<n> (e.g. x1), instead of the abi namesx_regs | Shaked Flur | 1 | -72/+72 |
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 |
2020-04-02 | Fix a bug in the softfloat interface that caused exception flags not to get a... | Prashanth Mundkur | 5 | -17/+19 |
2020-04-01 | Set mtval to 0 on ebreak. Fixes #44. | Prashanth Mundkur | 2 | -1/+8 |
2020-04-01 | Add a clarifying comment. | Prashanth Mundkur | 1 | -1/+2 |
2020-04-01 | Add clarifying comment. | Prashanth Mundkur | 1 | -1/+1 |
2020-04-01 | Merge pull request #45 from scottj97/pmpcfg | Prashanth Mundkur | 2 | -9/+9 |
2020-03-29 | Mask pmpXcfg bits as required by spec | Scott Johnson | 1 | -1/+1 |
2020-03-29 | Read pmpcfg* value back out when reporting its value | Scott Johnson | 1 | -4/+4 |
2020-03-29 | Fix typos that made pmp8cfg and pmp9cfg unwritable | Scott Johnson | 1 | -4/+4 |
2020-03-03 | Add bit negation to prelude | Thomas Bauereiss | 1 | -1/+5 |
2020-02-28 | Make types of min/max more precise | Thomas Bauereiss | 1 | -8/+6 |