aboutsummaryrefslogtreecommitdiff
path: root/c_emulator
AgeCommit message (Expand)AuthorFilesLines
2019-11-25Add the missing fcvt.{ds}.{sd} instructions.Prashanth Mundkur2-0/+29
2019-11-14Create a RISC-V specialization for the default NaN bitpatterns in softfloat.Prashanth Mundkur12-0/+1186
2019-11-06Add hooks for misa.{F,D} for C and OCaml, and fix 64-bit OCaml build.Prashanth Mundkur7-1/+17
2019-11-05Add externs for the conversion functions.Prashanth Mundkur2-0/+224
2019-11-04First cut at adding externs for softfloat.Prashanth Mundkur4-0/+189
2019-11-04Add the unzipped SoftFloat-3e sources.Prashanth Mundkur451-0/+47155
2019-10-29Attempt to fix RVFI for instruction fetch exceptions. Not sure what 'need_ins...Robert Norton1-35/+29
2019-09-17Expand getopt_long option string to multiple linesScott Johnson1-1/+19
2019-07-09Merge branch 'master-cleanup' of github.com:rems-project/sail-riscv into mast...Prashanth Mundkur2-0/+2
2019-07-09Fix shadowing of the -v option in C emulator.Prashanth Mundkur1-6/+6
2019-07-09Add ext_rvfi_init to allow model to be initialised differently for rvfi.Robert Norton2-0/+2
2019-07-02Default terminal output to stdout instead of in 'term.log'.Robert Norton1-2/+1
2019-07-02Add an instruction limit option to C emulator. Also print kips every 2**20 (~...Robert Norton1-2/+22
2019-07-01Improve argument parsing of C emulator. Make trace / no-trace argument optional.Robert Norton1-11/+14
2019-06-26Merge branch 'master-cleanup' into pmpPrashanth Mundkur3-5/+60
2019-06-26Add command line option in c_emulator for disabling tracing. Add builtins for...Robert Norton3-5/+60
2019-06-24Add PMP checks to physical memory accesses.Prashanth Mundkur5-0/+11
2019-06-06Remove mmio in rvfi mode.Prashanth Mundkur1-0/+3
2019-05-29Fix execution log.Prashanth Mundkur1-2/+2
2019-05-29Display correct filename in message when using -TScott Johnson1-1/+1
2019-05-28Add missed commit.Prashanth Mundkur1-1/+0
2019-05-28Improve cli option processing; also remove '-s' from the C emulator to avoid ...Prashanth Mundkur1-5/+16
2019-05-02rvfi: clear memory between tests.Prashanth Mundkur1-1/+9
2019-04-26Pull in missed rvfi fix.Prashanth Mundkur1-2/+2
2019-03-29Generalize the previous commit to handle hardwired misa.c.Prashanth Mundkur5-4/+20
2019-03-11Fixes for Sv39 TLB.Prashanth Mundkur2-4/+2
2019-03-07Add sample OS images and update docs.Prashanth Mundkur1-1/+1
2019-03-06Fix RV32 reservation checks in C emulator. Also reduce default ram to 64MB.Prashanth Mundkur2-5/+15
2019-03-01Add compliance test signature support for the C emulator.Prashanth Mundkur1-13/+58
2019-02-20Some changes for arch-specific initialization.Prashanth Mundkur2-4/+10
2019-02-20Add an option to report the model architecture to the emulators.Prashanth Mundkur1-4/+14
2019-02-20Add ELF architecture checks to the loaders in the OCaml and C emulators.Prashanth Mundkur2-5/+27
2019-01-25Tweaks to reservation handling.Prashanth Mundkur1-2/+8
2019-01-16More reorg.Prashanth Mundkur2-0/+12
2019-01-16Make it clearer that the outer c,ocaml sub-dirs contain supporting files for ...Prashanth Mundkur9-0/+986
generated by cgit v1.1 at 2024-11-05 10:29:39 +0000