aboutsummaryrefslogtreecommitdiff
path: root/README.md
AgeCommit message (Expand)AuthorFilesLines
2024-04-27Remove trailing whitespace in README (#460)Alasdair Armstrong1-1/+1
2024-04-27Update README.mdPeter Sewell1-1/+1
2024-04-27Update README.mdPeter Sewell1-1/+2
2024-04-27Update README.mdPeter Sewell1-17/+9
2023-06-15Run the pre-commit hook on all filesAlex Richardson1-8/+8
2021-08-25Update README.mdPeter Sewell1-21/+21
2021-08-03Clarify the build instructions.Robert Norton1-3/+4
2021-07-29update LICENCE and README with other UCam and MS authors (headers need update...pes201-3/+8
2021-07-29update LICENCE and README with Nikhil and Scott (headers need update to match)pes201-2/+2
2021-07-27Add licenses to Lem and Sail library snapshotsThomas Bauereiss1-1/+1
2020-08-04Add a line pointing to the instructions for latex inclusion in the prose spec...Prashanth Mundkur1-0/+1
2020-08-04Add a pointer in README to riscv-config PRRobert Norton1-0/+4
2020-08-01Fix readme link.Prashanth Mundkur1-1/+1
2020-08-01update README and LICENCEpes201-6/+16
2020-08-01update READMEpes201-1/+1
2020-08-01update READMEpes201-2/+5
2020-08-01update READMEpes201-131/+129
2020-08-01Update README.mdPeter Sewell1-1/+1
2020-08-01update README, copying and adapting material from Formal Spec pagepes201-7/+227
2020-06-18add Nikhil to authors; update install instructionspes201-4/+3
2020-04-14Update pointers to the Sail-annotated specifications, and update model status...Prashanth Mundkur1-2/+2
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
generated by cgit v1.1 at 2024-11-16 19:50:41 +0000