aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)AuthorFilesLines
2019-01-14Reorganize directory structure.Prashanth Mundkur41-108/+128
2019-01-02Add support for performance measurements, and a script to estimate it over th...Prashanth Mundkur3-5/+80
2019-01-02Add missing Coq TSO built-inBrian Campbell1-0/+1
2019-01-02Add termination measures to get patch-free Coq outputBrian Campbell3-337/+43
2019-01-02Note Coq externals for min/max_nat, add workaround for Coq issueBrian Campbell2-2/+12
2018-12-22Fixed fence.tsoShaked Flur19-48/+58
2018-12-22When speculate_conditional fails we still need to write 0b1 to rd;Shaked Flur4-12/+19
2018-12-20Fix some compiler warnings.Prashanth Mundkur1-3/+3
2018-12-20Address the fixme for rmem integration of LR as suggested by Shaked.Prashanth Mundkur5-45/+53
2018-12-20Add fence.tso.Prashanth Mundkur1-0/+18
2018-12-20Commit changes from rems-project/sail@b167a59affdb6428fa0656a092b335a3a6899d5...Robert Norton1-0/+6
2018-12-19Split tests into two suites for benefit of jenkins.Robert Norton1-1/+3
2018-12-17Fix stray - in Makefile accidentally introduced by previous commit.Robert Norton1-1/+1
2018-12-17Add build time COVERAGE option to build with gcc coverage. Attempt to choose ...Robert Norton1-6/+17
2018-12-15Merge pull request #1 from Alasdair/masterPrashanth Mundkur1-24/+9
2018-12-11Clean up flow-typing related operations in RISCV preludeAlasdair Armstrong1-24/+9
2018-11-30More minor readme edits.Prashanth Mundkur1-4/+4
2018-11-30More minor readme edits.Prashanth Mundkur1-16/+23
2018-11-30Add some caveats for OS boot.Prashanth Mundkur1-0/+12
2018-11-30Add some initial info about the Sail files to the readme.Prashanth Mundkur1-8/+41
2018-11-30Mention a brief current status in readme.Prashanth Mundkur1-0/+3
2018-11-30Add another README detail.Prashanth Mundkur1-1/+3
2018-11-30More readme edits.Prashanth Mundkur1-3/+22
2018-11-30Minor readme edit.Prashanth Mundkur1-4/+3
2018-11-30Update default make targets and README.Prashanth Mundkur2-11/+37
2018-11-30Make rvfi-dii sessions end cleanlyBrian Campbell1-4/+12
2018-11-30Fix memory leaks in rvfi-dii modeBrian Campbell1-0/+2
2018-11-30Disable line-of-code counting which is broken if SAIL_DIR is not set.Robert Norton1-2/+2
2018-11-30Tweak README.Robert Norton1-0/+5
2018-11-30Move readme to .md fileRobert Norton1-0/+0
2018-11-30Re-import tests from sail repo.Robert Norton372-0/+127624
2018-11-30Add gitignoreRobert Norton1-5/+48
2018-11-30Add licence.Robert Norton1-0/+52
2018-11-30Split out riscv from sail repo using git-filter-branch.Robert Norton1-14/+27
2018-11-29RISC-V: more tidying up of the Spike interface.Prashanth Mundkur2-23/+22
2018-11-29RISC-V: implement WFI in the platform model.Prashanth Mundkur2-2/+14
2018-11-29RISC-V: factor the execution trace.Prashanth Mundkur12-54/+126
2018-11-29RISC-V: no ldu for rv64iBrian Campbell1-3/+3
2018-11-29RISC-V: properly set mstatus.FS in absence of floating-point support.Prashanth Mundkur1-0/+5
2018-11-29RISC-V: minor cleanup of the spike interface.Prashanth Mundkur1-40/+45
2018-11-29RISC-V: add some missing constraints on compressed instruction encodingsBrian Campbell1-3/+3
2018-11-29RISC-V: add checks for misaligned targets to jumps and branchesBrian Campbell3-11/+29
2018-11-29Merge branch 'rvfi-dii' into sail2Brian Campbell8-6/+448
2018-11-27Fix memory leak in string_of_bitsAlasdair Armstrong1-0/+1
2018-11-21RISC-V: allow platform ram size to be configurable.Prashanth Mundkur4-13/+37
2018-11-20Minor coq updatesBrian Campbell1-13/+14
2018-11-19Merge branch 'latex' into sail2Robert Norton0-0/+0
2018-11-14Add option to turn off RISC-V compressed instruction supportBrian Campbell3-19/+33
2018-11-14Fix memory map in RVFI-DII modeBrian Campbell1-5/+9
2018-11-12rvfi_dii: take port number with optionBrian Campbell1-4/+6
generated by cgit v1.1 at 2024-10-19 09:30:01 +0000