Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2019-10-13 | paste in pointers to the Sail-enabled versions of the RISC-V spec | pes20 | 1 | -0/+7 | |
2019-09-12 | tweak README | Peter Sewell | 1 | -38/+26 | |
2019-09-12 | update funding ack | Peter Sewell | 1 | -5/+23 | |
2019-09-11 | Add a brief status doc page. | Prashanth Mundkur | 1 | -1/+3 | |
2019-07-25 | Update directory map in readme. | Prashanth Mundkur | 1 | -0/+2 | |
2019-06-27 | pointer to RISC-V ISA Formal comparison | Peter Sewell | 1 | -0/+4 | |
2019-06-06 | Doc updates | Prashanth Mundkur | 1 | -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-06 | update funding acks | Peter Sewell | 1 | -0/+15 | |
2019-05-25 | Two small README updates. | Chris Casinghino | 1 | -3/+14 | |
2019-03-07 | Fix docs about sel4 boot. | Prashanth Mundkur | 1 | -3/+3 | |
2019-03-07 | More doc tweaks. | Prashanth Mundkur | 1 | -3/+5 | |
2019-03-07 | Another doc update. | Prashanth Mundkur | 1 | -1/+4 | |
2019-03-07 | More doc tweaks. | Prashanth Mundkur | 1 | -0/+6 | |
2019-03-07 | More doc updates. | Prashanth Mundkur | 1 | -7/+7 | |
2019-03-07 | More doc edits. | Prashanth Mundkur | 1 | -6/+15 | |
2019-03-07 | Minor doc edits. | Prashanth Mundkur | 1 | -1/+2 | |
2019-03-07 | Add sample OS images and update docs. | Prashanth Mundkur | 1 | -56/+11 | |
2019-03-06 | Minor clarification in readme. | Prashanth Mundkur | 1 | -1/+1 | |
2019-03-05 | Some fixes to readme and makefile. | Prashanth Mundkur | 1 | -6/+6 | |
2019-03-04 | Update readme. | Prashanth Mundkur | 1 | -5/+12 | |
2019-02-20 | Update docs. | Prashanth Mundkur | 1 | -0/+8 | |
2019-01-29 | Update docs, and fix file names. | Prashanth Mundkur | 1 | -23/+5 | |
2019-01-22 | Mention that a faster model w/o tracing is available on the optimize | Alasdair Armstrong | 1 | -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-22 | Mention versions of tested provers | Thomas Bauereiss | 1 | -2/+7 | |
2019-01-21 | Update readme. | Prashanth Mundkur | 1 | -1/+3 | |
2019-01-21 | wib | Peter Sewell | 1 | -3/+3 | |
2019-01-16 | More reorg. | Prashanth Mundkur | 1 | -17/+16 | |
. move prover files into a single support directory . generated_models -> generated_definitions . reset vector -> c_emulator | |||||
2019-01-16 | Update readme. | Prashanth Mundkur | 1 | -3/+6 | |
2019-01-16 | Make it clearer that the outer c,ocaml sub-dirs contain supporting files for ↵ | Prashanth Mundkur | 1 | -7/+7 | |
the emulators. | |||||
2019-01-15 | Make the names of the OCaml and C simulators more similar, with C being the ↵ | Prashanth Mundkur | 1 | -4/+4 | |
default one. | |||||
2019-01-14 | Reorganize directory structure. | Prashanth Mundkur | 1 | -9/+35 | |
2018-11-30 | More minor readme edits. | Prashanth Mundkur | 1 | -4/+4 | |
2018-11-30 | More minor readme edits. | Prashanth Mundkur | 1 | -16/+23 | |
2018-11-30 | Add some caveats for OS boot. | Prashanth Mundkur | 1 | -0/+12 | |
2018-11-30 | Add some initial info about the Sail files to the readme. | Prashanth Mundkur | 1 | -8/+41 | |
2018-11-30 | Mention a brief current status in readme. | Prashanth Mundkur | 1 | -0/+3 | |
2018-11-30 | Add another README detail. | Prashanth Mundkur | 1 | -1/+3 | |
2018-11-30 | More readme edits. | Prashanth Mundkur | 1 | -3/+22 | |
2018-11-30 | Minor readme edit. | Prashanth Mundkur | 1 | -4/+3 | |
2018-11-30 | Update default make targets and README. | Prashanth Mundkur | 1 | -8/+28 | |
2018-11-30 | Tweak README. | Robert Norton | 1 | -0/+5 | |
2018-11-30 | Move readme to .md file | Robert Norton | 1 | -0/+23 | |