| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 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 |
| 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 |
| 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 |
| 2019-01-15 | Make the names of the OCaml and C simulators more similar, with C being the d... | Prashanth Mundkur | 1 | -4/+4 |
| 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 |
 |
index : sail-riscv.git | |
| Unnamed repository; edit this file 'description' to name the repository. | root |
| aboutsummaryrefslogtreecommitdiff |