Age | Commit message (Expand) | Author | Files | Lines |
2024-05-12 | Refactor MUL instruction | Alasdair | 1 | -13/+8 |
2024-04-12 | Remove & rename duplicate word_width <-> bytes mappings | Tim Hutt | 1 | -7/+7 |
2024-03-24 | Fix typo in E_SAMO_Addr_Align description | Alasdair Armstrong | 1 | -1/+1 |
2024-03-24 | Replace atom with int | Tim Hutt | 1 | -2/+2 |
2024-02-08 | Shorten copyright notice at the top of each file | Tim Hutt | 1 | -65/+3 |
2024-02-05 | Rename string_of_int to dec_str | Tim Hutt | 1 | -4/+4 |
2024-02-01 | Simplify prelude.sail by including generic_equality.sail and mapping.sail | Tim Hutt | 1 | -5/+0 |
2023-09-12 | Remove effects | Tim Hutt | 1 | -3/+3 |
2023-05-29 | apply_headers: regenerate copyright headersupdate-copyright-headers | Philipp Tomsich | 1 | -1/+2 |
2023-05-29 | Add support for the Zicond extension | Philipp Tomsich | 1 | -1/+4 |
2023-03-06 | Add wildcard cases to matches to suppress Sail warnings. (#197) | Robert Norton | 1 | -17/+48 |
2022-01-21 | Add support for Scalar Cryptography Zbkb, Zbkc and Zbkx Extensions (#135) | Bilal Sakhawat | 1 | -0/+2 |
2021-12-05 | Support BitManip Zba, Zbb, Zbc and Zbs extensions (#116) | Bilal Sakhawat | 1 | -0/+17 |
2021-07-29 | Use headache to apply copyright header at request of Peter Sewell. | Robert Norton | 1 | -0/+68 |
2020-06-27 | A kinder, gentler splitting of ext_access_type's ReadWrite | Nathaniel Wesley Filardo | 1 | -1/+1 |
2020-01-18 | Allow extensions to provide their own exception codes/names | James Clarke | 1 | -5/+3 |
2019-09-04 | Merge remote-tracking branch 'origin/master' into vmem_ext.vmem_ext | Robert Norton | 1 | -8/+8 |
2019-08-19 | RISC-V spec, without implicit casts | Alasdair Armstrong | 1 | -8/+8 |
2019-07-23 | Fix compile error in cheri mode. | Prashanth Mundkur | 1 | -1/+1 |
2019-07-22 | Make a custom exception code available for extensions, and remove the E_CHERI... | Prashanth Mundkur | 1 | -52/+77 |
2019-07-15 | Allow extensions to types of memory access, and factor out PTE and PTW defini... | Prashanth Mundkur | 1 | -12/+6 |
2019-06-28 | Avoid implicit casts to string | Alasdair | 1 | -3/+9 |
2019-06-24 | Add PMP checks to physical memory accesses. | Prashanth Mundkur | 1 | -9/+0 |
2019-05-10 | Rename regbits to regidx, to clarify the type is an index and not the content... | Prashanth Mundkur | 1 | -10/+10 |
2019-05-10 | Use an explicit enum to indicate the retire status as opposed to a boolean to... | Prashanth Mundkur | 1 | -0/+4 |
2019-04-24 | Add extended model from cheri-merge. | Prashanth Mundkur | 1 | -256/+45 |
2019-02-20 | Add ELF architecture checks to the loaders in the OCaml and C emulators. | Prashanth Mundkur | 1 | -0/+5 |
2019-02-19 | Use sizeof xlen instead of the value definitions of xlen. | Prashanth Mundkur | 1 | -3/+3 |
2019-02-13 | Add Sv32 and Sv48 by essentially copying Sv39. | Prashanth Mundkur | 1 | -1/+2 |
2019-02-12 | Start extracting bits of vmem that should be common to RV32, and add some def... | Prashanth Mundkur | 1 | -1/+1 |
2019-02-11 | Fix xlen variable name. | Prashanth Mundkur | 1 | -3/+3 |
2019-02-11 | More refactoring for RV32 | Prashanth Mundkur | 1 | -3/+1 |
2019-02-08 | Start parameterizing definitions by xlen, which is currently still 64. | Prashanth Mundkur | 1 | -5/+4 |
2019-01-14 | Reorganize directory structure. | Prashanth Mundkur | 1 | -0/+550 |