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 |