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
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
Age
Commit message (
Expand
)
Author
Files
Lines
2019-03-07
More doc tweaks.
Prashanth Mundkur
1
-20
/
+13
2019-03-07
More doc tweaks.
Prashanth Mundkur
4
-0
/
+9
2019-03-07
More doc updates.
Prashanth Mundkur
1
-7
/
+7
2019-03-07
More doc edits.
Prashanth Mundkur
2
-7
/
+16
2019-03-07
Minor doc edits.
Prashanth Mundkur
2
-3
/
+4
2019-03-07
Add sample OS images and update docs.
Prashanth Mundkur
8
-57
/
+189
2019-03-06
Minor clarification in readme.
Prashanth Mundkur
1
-1
/
+1
2019-03-06
Fix a missed case of reservation cancellation.
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-06
Fix U-mode checks in check_Counteren()
Xi Wang
1
-3
/
+3
2019-03-05
Some fixes to readme and makefile.
Prashanth Mundkur
2
-11
/
+11
2019-03-05
Fix a typo.
Prashanth Mundkur
1
-1
/
+1
2019-03-05
Correct capitalisation of Sv39/48 in pattern matches
Brian Campbell
2
-3
/
+3
2019-03-04
Merge branch 'master' into rv32
Prashanth Mundkur
1
-4
/
+3
2019-03-04
Minor edit for consistency.
Prashanth Mundkur
1
-5
/
+5
2019-03-04
Fix missed RV32 check for shamt in sll/srl.
Prashanth Mundkur
1
-5
/
+13
2019-03-04
Enable pmpaddr0.
Prashanth Mundkur
1
-2
/
+1
2019-03-04
Update readme.
Prashanth Mundkur
1
-5
/
+12
2019-03-03
rmem does not need the -lem_sequential anymore
Shaked Flur
1
-4
/
+2
2019-03-01
Add compliance test signature support for the C emulator.
Prashanth Mundkur
1
-13
/
+58
2019-03-01
Make clean remove coq extras build files
Brian Campbell
1
-0
/
+1
2019-02-27
Add an option to write signatures for the compliance suite.
Prashanth Mundkur
2
-8
/
+62
2019-02-27
Refresh to latest tests from riscv-tests. The 32-bit -v- elfs still seem bro...
Prashanth Mundkur
471
-3176
/
+4828
2019-02-27
Initial attempt to separate generated files by ARCH. Some backends/rvfi/rmem...
Prashanth Mundkur
5
-74
/
+74
2019-02-26
Restore riscv_extras damaged by merge.
Prashanth Mundkur
1
-9
/
+13
2019-02-26
Reduce default ram to 64MB in ocaml emulator.
Prashanth Mundkur
1
-1
/
+1
2019-02-26
Remove old license header from ml files.
Prashanth Mundkur
2
-100
/
+0
2019-02-26
Merge branch 'master' into rv32
Prashanth Mundkur
7
-35
/
+323
2019-02-26
Initial cleanup of the prelude, using standard prelude instead when possible.
Prashanth Mundkur
3
-244
/
+48
2019-02-25
Enable C rv32 tests.
Prashanth Mundkur
1
-14
/
+26
2019-02-22
Fix address translation bug in ordering of width-extension and shift in pte. ...
Prashanth Mundkur
5
-12
/
+11
2019-02-22
Add rv32 support to the trace comparer.
Prashanth Mundkur
1
-8
/
+67
2019-02-21
Add rv32 tests from riscv-tests; update test script to enable ocaml rv32.
Prashanth Mundkur
265
-9
/
+94903
2019-02-21
Fix the ocaml platform to respect the architectural width.
Prashanth Mundkur
2
-21
/
+37
2019-02-20
Some changes for arch-specific initialization.
Prashanth Mundkur
6
-31
/
+61
2019-02-20
Add an option to report the model architecture to the emulators.
Prashanth Mundkur
2
-4
/
+21
2019-02-20
Update docs.
Prashanth Mundkur
2
-10
/
+24
2019-02-20
Add ELF architecture checks to the loaders in the OCaml and C emulators.
Prashanth Mundkur
7
-9
/
+50
2019-02-19
Use sizeof xlen instead of the value definitions of xlen.
Prashanth Mundkur
14
-143
/
+135
2019-02-19
Adjust Makefile to use an ARCH argument. Undo xlen guards in riscv_analysis,...
Prashanth Mundkur
4
-13
/
+60
2019-02-15
Fix riscv_analysis to use xlen.
Prashanth Mundkur
1
-3
/
+3
2019-02-15
More RV32 fixes.
Prashanth Mundkur
3
-10
/
+8
2019-02-15
Define counter CSRs, and guard accesses from RV32.
Prashanth Mundkur
2
-87
/
+113
2019-02-15
Add xlen guards on double-word operations to make them RV64-only.
Prashanth Mundkur
3
-42
/
+43
2019-02-14
Handle shamt being 5 bits in RV32 instead of 6; also fix a missed case of dis...
Prashanth Mundkur
1
-8
/
+14
2019-02-14
update LICENCE
Peter Sewell
1
-15
/
+15
2019-02-14
Fix typo in earlier commit.
Prashanth Mundkur
1
-1
/
+1
2019-02-13
Add Sv32 and Sv48 by essentially copying Sv39.
Prashanth Mundkur
8
-4
/
+280
2019-02-13
Remove the use of the TLB until it is more generic across the various archite...
Prashanth Mundkur
1
-56
/
+24
2019-02-13
Pull out the Sv39 and its TLB into separate files.
Prashanth Mundkur
5
-216
/
+226
[next]