index
:
sail-riscv.git
billmcspadden-riscv
c2_emu
cheri
cheri-merge
cheri_lite
cookbook_br
csr_ext
debugmod
epc_legalization
ext_check_phys_mem
ext_check_phys_mem_alt
ext_misa
fdext
fence_issue29
fence_noops
fix-signature-granularity
fix_next_csrs
gdb
haveSmepmp_billmcspadden
hpm_events
hpm_events_billmcspadden
hpm_events_billmcspadden__sail_error_message_is_terse
initial-contributing-guide
inst_extensions
master
master-cleanup
match_warnings
mem_meta
mem_meta_merge
monads
new_test_2
new_test_3
no_boot_rom
no_casts
optimize
priv_1_13
rmem_interpreter
rmn30
rsnikhil
rv_config
sail-coverage-linking
update-copyright-headers
vector-dev
vmem_ext
x_regs
xret_ext
zfa
zfinx
Unnamed repository; edit this file 'description' to name the repository.
root
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
ocaml_emulator
/
riscv_ocaml_sim.ml
Age
Commit message (
Expand
)
Author
Files
Lines
2024-09-19
Remove the OCaml emulator
Tim Hutt
1
-211
/
+0
2024-09-02
Merge pull request #528 from Alasdair/step_delimit_trace
Bill McSpadden
1
-0
/
+3
2024-08-29
Implement Zicbom, Zicboz (cbo.flush, cbo.inval, cbo.zero)
Tim Hutt
1
-0
/
+9
2024-08-27
Add an option to delimit instructions in the trace
Alasdair
1
-0
/
+3
2024-07-05
Add support for B extension
Ved Shanbhogue
1
-0
/
+3
2024-05-07
fixup! Add Svinval extension.
Martin Berger
1
-0
/
+3
2024-04-15
Implement Zcb extension
Tim Hutt
1
-0
/
+3
2024-02-05
Improve PMP support
Tim Hutt
1
-3
/
+6
2023-10-17
RISC-V Vector Extension Support
Xinlai Wan
1
-0
/
+3
2023-10-11
Rename enable-fiom to enable-writable-fiom
Tim Hutt
1
-2
/
+2
2023-10-11
Implement menvcfg
Tim Hutt
1
-0
/
+3
2022-01-19
Configurable word size for test signature file output (#136)
Bilal Sakhawat
1
-7
/
+14
2021-02-11
Make N extension configurable.
Prashanth Mundkur
1
-0
/
+3
2019-06-24
Add PMP checks to physical memory accesses.
Prashanth Mundkur
1
-0
/
+3
2019-03-29
Generalize the previous commit to handle hardwired misa.c.
Prashanth Mundkur
1
-0
/
+6
2019-03-14
Use Bytes.get instead of square bracket notation. I think this is an ocaml ve...
Robert Norton
1
-4
/
+4
2019-03-11
Fixes for Sv39 TLB.
Prashanth Mundkur
1
-2
/
+1
2019-02-27
Add an option to write signatures for the compliance suite.
Prashanth Mundkur
1
-8
/
+57
2019-02-26
Remove old license header from ml files.
Prashanth Mundkur
1
-50
/
+0
2019-02-20
Some changes for arch-specific initialization.
Prashanth Mundkur
1
-12
/
+22
2019-02-20
Add an option to report the model architecture to the emulators.
Prashanth Mundkur
1
-0
/
+7
2019-02-20
Add ELF architecture checks to the loaders in the OCaml and C emulators.
Prashanth Mundkur
1
-1
/
+17
2019-01-16
Make it clearer that the outer c,ocaml sub-dirs contain supporting files for ...
Prashanth Mundkur
1
-0
/
+131