| Age | Commit message (Collapse) | Author | Files | Lines | |
|---|---|---|---|---|---|
| 2019-02-26 | Restore riscv_extras damaged by merge. | Prashanth Mundkur | 1 | -9/+13 | |
| 2019-02-13 | Make repository have shape RMEM expects | Alasdair Armstrong | 4 | -3/+140 | |
| 2019-02-13 | Switch version of riscv_extras.lem depending on Sail version | Alasdair Armstrong | 1 | -0/+137 | |
| Works around change to write_mem function signature in monad embedding | |||||
| 2019-01-22 | Add build Makefile targets for prover backends | Thomas Bauereiss | 1 | -4/+6 | |
| 2019-01-21 | Output auxiliary Isabelle theories into generated_definitions/isabelle | Thomas Bauereiss | 1 | -2/+2 | |
| Also copy ROOT file into the same directory | |||||
| 2019-01-19 | Moved gen/ to handwritten_support/hgen | Shaked Flur | 19 | -0/+1367 | |
| 2019-01-16 | More reorg. | Prashanth Mundkur | 5 | -0/+439 | |
| . move prover files into a single support directory . generated_models -> generated_definitions . reset vector -> c_emulator | |||||
 |
index : sail-riscv.git | |
| Unnamed repository; edit this file 'description' to name the repository. | root |
| aboutsummaryrefslogtreecommitdiff |
path: root/handwritten_support