Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2019-07-09 | Merge branch 'master-cleanup' of github.com:rems-project/sail-riscv into ↵ | Prashanth Mundkur | 2 | -0/+2 | |
master-cleanup | |||||
2019-07-09 | Fix shadowing of the -v option in C emulator. | Prashanth Mundkur | 1 | -6/+6 | |
2019-07-09 | Add ext_rvfi_init to allow model to be initialised differently for rvfi. | Robert Norton | 2 | -0/+2 | |
2019-07-02 | Default terminal output to stdout instead of in 'term.log'. | Robert Norton | 1 | -2/+1 | |
2019-07-02 | Add an instruction limit option to C emulator. Also print kips every 2**20 ↵ | Robert Norton | 1 | -2/+22 | |
(~100k) instructions with -p option so you can keep see how it varies during execution. | |||||
2019-07-01 | Improve argument parsing of C emulator. Make trace / no-trace argument optional. | Robert Norton | 1 | -11/+14 | |
2019-06-26 | Merge branch 'master-cleanup' into pmp | Prashanth Mundkur | 3 | -5/+60 | |
2019-06-26 | Add command line option in c_emulator for disabling tracing. Add builtins ↵ | Robert Norton | 3 | -5/+60 | |
for getting values of config_print_xxx variables to speed up emulation when not tracing. | |||||
2019-06-24 | Add PMP checks to physical memory accesses. | Prashanth Mundkur | 5 | -0/+11 | |
- unify AccessType and ReadType since they were essentially redundant, making it easier to implement PMP checks for ReadWrite/atomic accesses. - add command line options to enable PMP in the platform - also fix the matching for the case when all entries are off | |||||
2019-06-06 | Remove mmio in rvfi mode. | Prashanth Mundkur | 1 | -0/+3 | |
2019-05-29 | Fix execution log. | Prashanth Mundkur | 1 | -2/+2 | |
2019-05-29 | Display correct filename in message when using -T | Scott Johnson | 1 | -1/+1 | |
2019-05-28 | Add missed commit. | Prashanth Mundkur | 1 | -1/+0 | |
2019-05-28 | Improve cli option processing; also remove '-s' from the C emulator to avoid ↵ | Prashanth Mundkur | 1 | -5/+16 | |
Spike dependency message. | |||||
2019-05-02 | rvfi: clear memory between tests. | Prashanth Mundkur | 1 | -1/+9 | |
2019-04-26 | Pull in missed rvfi fix. | Prashanth Mundkur | 1 | -2/+2 | |
2019-03-29 | Generalize the previous commit to handle hardwired misa.c. | Prashanth Mundkur | 5 | -4/+20 | |
2019-03-11 | Fixes for Sv39 TLB. | Prashanth Mundkur | 2 | -4/+2 | |
- fix and simplify model initialization, to enable generic TLB initialization - re-enable sfence.vma | |||||
2019-03-07 | Add sample OS images and update docs. | Prashanth Mundkur | 1 | -1/+1 | |
2019-03-06 | Fix RV32 reservation checks in C emulator. Also reduce default ram to 64MB. | Prashanth Mundkur | 2 | -5/+15 | |
2019-03-01 | Add compliance test signature support for the C emulator. | Prashanth Mundkur | 1 | -13/+58 | |
2019-02-20 | Some changes for arch-specific initialization. | Prashanth Mundkur | 2 | -4/+10 | |
2019-02-20 | Add an option to report the model architecture to the emulators. | Prashanth Mundkur | 1 | -4/+14 | |
2019-02-20 | Add ELF architecture checks to the loaders in the OCaml and C emulators. | Prashanth Mundkur | 2 | -5/+27 | |
2019-01-25 | Tweaks to reservation handling. | Prashanth Mundkur | 1 | -2/+8 | |
2019-01-16 | More reorg. | Prashanth Mundkur | 2 | -0/+12 | |
. move prover files into a single support directory . generated_models -> generated_definitions . reset vector -> c_emulator | |||||
2019-01-16 | Make it clearer that the outer c,ocaml sub-dirs contain supporting files for ↵ | Prashanth Mundkur | 9 | -0/+986 | |
the emulators. |