aboutsummaryrefslogtreecommitdiff
path: root/README.md
AgeCommit message (Collapse)AuthorFilesLines
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
2018-11-30Add some caveats for OS boot.Prashanth Mundkur1-0/+12
generated by cgit v1.1 at 2024-10-20 03:19:29 +0000