aboutsummaryrefslogtreecommitdiff
path: root/README.md
AgeCommit message (Expand)AuthorFilesLines
2019-10-13paste in pointers to the Sail-enabled versions of the RISC-V specpes201-0/+7
2019-09-12tweak READMEPeter Sewell1-38/+26
2019-09-12update funding ackPeter Sewell1-5/+23
2019-09-11Add a brief status doc page.Prashanth Mundkur1-1/+3
2019-07-25Update directory map in readme.Prashanth Mundkur1-0/+2
2019-06-27pointer to RISC-V ISA Formal comparisonPeter Sewell1-0/+4
2019-06-06Doc updatesPrashanth Mundkur1-0/+12
2019-06-06update funding acksPeter Sewell1-0/+15
2019-05-25Two small README updates.Chris Casinghino1-3/+14
2019-03-07Fix docs about sel4 boot.Prashanth Mundkur1-3/+3
2019-03-07More doc tweaks.Prashanth Mundkur1-3/+5
2019-03-07Another doc update.Prashanth Mundkur1-1/+4
2019-03-07More doc tweaks.Prashanth Mundkur1-0/+6
2019-03-07More doc updates.Prashanth Mundkur1-7/+7
2019-03-07More doc edits.Prashanth Mundkur1-6/+15
2019-03-07Minor doc edits.Prashanth Mundkur1-1/+2
2019-03-07Add sample OS images and update docs.Prashanth Mundkur1-56/+11
2019-03-06Minor clarification in readme.Prashanth Mundkur1-1/+1
2019-03-05Some fixes to readme and makefile.Prashanth Mundkur1-6/+6
2019-03-04Update readme.Prashanth Mundkur1-5/+12
2019-02-20Update docs.Prashanth Mundkur1-0/+8
2019-01-29Update docs, and fix file names.Prashanth Mundkur1-23/+5
2019-01-22Mention that a faster model w/o tracing is available on the optimizeAlasdair Armstrong1-1/+4
2019-01-22Mention versions of tested proversThomas Bauereiss1-2/+7
2019-01-21Update readme.Prashanth Mundkur1-1/+3
2019-01-21wibPeter Sewell1-3/+3
2019-01-16More reorg.Prashanth Mundkur1-17/+16
2019-01-16Update readme.Prashanth Mundkur1-3/+6
2019-01-16Make it clearer that the outer c,ocaml sub-dirs contain supporting files for ...Prashanth Mundkur1-7/+7
2019-01-15Make the names of the OCaml and C simulators more similar, with C being the d...Prashanth Mundkur1-4/+4
2019-01-14Reorganize directory structure.Prashanth Mundkur1-9/+35
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 Mundkur1-8/+28
2018-11-30Tweak README.Robert Norton1-0/+5
2018-11-30Move readme to .md fileRobert Norton1-0/+23
generated by cgit v1.1 at 2024-07-17 17:15:19 +0000