aboutsummaryrefslogtreecommitdiff
path: root/c_emulator
AgeCommit message (Expand)AuthorFilesLines
2023-02-14Revert "added 3 new command line switches (plus functionality): -X/--enable-...Jessica Clarke4-47/+1
2023-02-13added 3 new command line switches (plus functionality): -X/--enable-experime...Bill McSpadden4-1/+47
2023-01-20Add include required on FreeBSD.Robert Norton1-0/+1
2022-08-24Allow building without -fcommonAlex Richardson1-2/+2
2022-01-19Configurable word size for test signature file output (#136)Bilal Sakhawat1-3/+10
2022-01-19Add support for Zfh extension (#129)Bilal Sakhawat2-0/+294
2021-11-22Implement support for Zfinx (#130)Jessica Clarke5-0/+13
2021-11-17Revert "Initial introduction of zfinx (#75)"Jessica Clarke5-12/+0
2021-11-17Initial introduction of zfinx (#75)Ibrahim Abu Kharmeh5-0/+12
2021-10-18scalar-crypto: Initial commit of 1.0.0-rc2 spec work. (#99)Ben Marshall4-0/+24
2021-06-29Guard arguments to getopt_long with appropriate ifdefsPeter Rugg1-0/+4
2021-06-29Add option to specify SAILCOV output filePeter Rugg1-0/+18
2021-03-16Check for overly large RVFI packetsAlex Richardson1-0/+5
2021-03-16Reduce debug spam in RVFI trace outputAlex Richardson1-1/+0
2021-03-16Fix sending version2 trace optional dataAlex Richardson2-10/+14
2021-03-16Improvements to the version 2 RVFI trace formatAlex Richardson1-6/+16
2021-03-16Add a -v rvfi flag to add RVFI debug loggingAlex Richardson2-7/+46
2021-03-16Add missing newlines to error message and print the listen portAlex Richardson1-8/+13
2021-03-16Ensure that the RVFI socket is open in blocking modeAlex Richardson1-0/+14
2021-03-16Initial implementation of new RVFI_DII socket formatAlex Richardson2-11/+60
2021-02-11Fix up some missed and wrong cli options in C emulator.Prashanth Mundkur1-2/+3
2021-02-11Make N extension configurable.Prashanth Mundkur5-0/+12
2020-06-20Fix non-coverage buildJessica Clarke1-0/+2
2020-06-10Enable sailcov support in c_emulator if SAILCOV is set in the environment.Prashanth Mundkur1-0/+12
2020-05-22Add a Makefile target for new Sail->C backendAlasdair1-0/+31
2020-04-07Switch floating-point comparisons to using softfloat to avoid missed corner-c...Prashanth Mundkur2-0/+85
2020-04-02Fix a bug in the softfloat interface that caused exception flags not to get a...Prashanth Mundkur1-3/+3
2020-02-19Only listen for RVFI-DII messages on 127.0.0.1Alex Richardson1-1/+1
2020-02-14Change RVFI ram size to 8MB as requested by Jon Woodruff. TODO: should make i...Robert Norton1-1/+1
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-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
generated by cgit v1.1 at 2024-10-20 00:09:28 +0000