aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)AuthorFilesLines
2019-01-21wibPeter Sewell1-3/+3
2019-01-21Output auxiliary Isabelle theories into generated_definitions/isabelleThomas Bauereiss2-8/+11
2019-01-21Remove temporary workaround for Lem generationThomas Bauereiss2-9/+5
2019-01-21Clean up duopodAlasdair Armstrong2-22/+10
2019-01-20Tweaks to improve latex readability.Prashanth Mundkur1-22/+26
2019-01-19Moved gen/ to handwritten_support/hgenShaked Flur19-0/+0
2019-01-16More reorg.Prashanth Mundkur9-90/+89
2019-01-16Properly locate generated latex.Prashanth Mundkur1-1/+2
2019-01-16Update readme.Prashanth Mundkur1-3/+6
2019-01-16Rename test/tests to test/riscv-tests and add a README indicating their prove...Prashanth Mundkur373-2/+4
2019-01-16Make it clearer that the outer c,ocaml sub-dirs contain supporting files for ...Prashanth Mundkur18-38/+39
2019-01-15Ensure generated model sub-dirs are created.Prashanth Mundkur1-0/+12
2019-01-15Update Isabelle session root file.Prashanth Mundkur1-2/+2
2019-01-15Make the names of the OCaml and C simulators more similar, with C being the d...Prashanth Mundkur5-15/+15
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
generated by cgit v1.1 at 2024-11-06 00:50:04 +0000