aboutsummaryrefslogtreecommitdiff
path: root/README.md
AgeCommit message (Collapse)AuthorFilesLines
2023-06-15Run the pre-commit hook on all filesAlex Richardson1-8/+8
This strips trailing whitespace and fixes line endings. I had to add the *.dump files to the exclude list to avoid excessive changes, but ideally these would not be part of the repository since they can just be generated by running objdump manually.
2021-08-25Update README.mdPeter Sewell1-21/+21
tweak README for move to riscv organisation
2021-08-03Clarify the build instructions.Robert Norton1-3/+4
Encourage use of `opam` and streamline by moving discussion of setting `SAIL_DIR` into a separate section about building using a custom Sail version.
2021-07-29update LICENCE and README with other UCam and MS authors (headers need ↵pes201-3/+8
update to match)
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 ↵Prashanth Mundkur1-0/+1
specifications.
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 ↵Prashanth Mundkur1-2/+2
status for F/D.
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
. add a dependency diagram to the reading guide . simplify the OS boot instructions using the new Linux image . put funding ack in top-level readme
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
branch This is the model for the current best performance numbers so we should be clear that it is from this version. I want to merge these changes back soon, but I need a nice way to enable/disable tracing (and ensure zero-overhead when disabled) in a transparent way first.
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
. move prover files into a single support directory . generated_models -> generated_definitions . reset vector -> c_emulator
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
the emulators.
2019-01-15Make the names of the OCaml and C simulators more similar, with C being the ↵Prashanth Mundkur1-4/+4
default one.
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
generated by cgit v1.1 at 2024-10-12 19:26:01 +0000