aboutsummaryrefslogtreecommitdiff
path: root/c_emulator
AgeCommit message (Expand)AuthorFilesLines
2020-02-12Merge branch 'master' into gdbgdbPrashanth Mundkur472-37/+48831
2020-01-07Merge branch 'master' into rsnikhil.Prashanth Mundkur1-39/+33
2020-01-07Fix parsing long options in the C emulator for RVFI-DIIJames Clarke1-3/+3
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-10-22gdb: some fixes to the arch interface.Prashanth Mundkur3-12/+13
2019-10-22gdb: initial refactor of server to be model agnostic.Prashanth Mundkur7-344/+453
2019-10-21gdb: remove unnecessary use of inserted ebreak instructions to implement brea...Prashanth Mundkur1-19/+0
2019-10-17gdb: allow execution to be interruptiblePrashanth Mundkur1-4/+44
2019-10-17gdb: some fixes to breakpoint handling.Prashanth Mundkur1-75/+143
2019-10-15gdb: add initial lightly tested breakpoint supportPrashanth Mundkur1-10/+157
2019-10-14gdb: register writesPrashanth Mundkur1-18/+115
2019-10-14gdb: add initial support for continue cmdPrashanth Mundkur1-0/+24
2019-10-14gdb: add memory accessorsPrashanth Mundkur1-0/+69
2019-10-14Add command-line option to set ram base address.Prashanth Mundkur1-2/+15
2019-10-14gdb: add single stepPrashanth Mundkur2-3/+29
2019-10-11gdb: More early protocol messages.Prashanth Mundkur2-35/+179
2019-10-09Initial scaffolding for gdb remote server.Prashanth Mundkur3-1/+337
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
generated by cgit v1.1 at 2024-09-18 17:46:13 +0000