| Age | Commit message (Expand) | Author |
|---|
| 2018-09-06 | RISCV: Get enough of the RISCV platform into C to run some tests | Alasdair Armstrong |
| 2018-09-05 | Coq: fill in trivial ranges in constraint solver | Brian Campbell |
| 2018-09-04 | C: Tweaks to RISC-V to get compiling to C | Alasdair Armstrong |
| 2018-09-04 | Add a rewrite to minimise the number of functions marked as recursive | Brian Campbell |
| 2018-09-03 | Coq: solver should split earlier | Brian Campbell |
| 2018-09-03 | Coq: update RISC-V patch again | Brian Campbell |
| 2018-09-03 | Coq: rework generation of dependent pairs so that they are only | Brian Campbell |
| 2018-08-31 | Some C stubs for platform bits for RISC-V. | Prashanth Mundkur |
| 2018-08-31 | riscv prelude: yet more manual monomorphisations for hex_bits | Jon French |
| 2018-08-30 | Annotate the RISC-V prelude for C builtins. | Prashanth Mundkur |
| 2018-08-30 | Add a C header containing declarations needed by RISC-V. | Prashanth Mundkur |
| 2018-08-29 | C: Fix some issues with tuples as arguments to polymorphic constructors | Alasdair Armstrong |
| 2018-08-29 | Updated snapshots for Isabelle 2018 | Thomas Bauereiss |
| 2018-08-28 | Adapt theory imports for Isabelle 2018 | Thomas Bauereiss |
| 2018-08-28 | fix bug in RISCV assembly mapping, incorrect order of FENCE pred/succ bits | Jon French |
| 2018-08-16 | Add the type an expression was checked against to tannots, and use for Coq | Brian Campbell |
| 2018-08-15 | Temporary fix for RISC-V Lem generation | Brian Campbell |
| 2018-08-15 | Get RISC-V on Coq into reasonable state to show | Brian Campbell |
| 2018-08-13 | More RISC-V built-in type constraints | Brian Campbell |
| 2018-08-13 | Coq: more strings for RISC-V | Brian Campbell |
| 2018-08-13 | Add constraints to RISC-V duopod, makefile rules | Brian Campbell |
| 2018-08-13 | RISC-V: mult_range is ill-typed, use mult_atom instead | Brian Campbell |
| 2018-08-13 | Basic Coq support for RISC-V | Brian Campbell |
| 2018-07-27 | Add some missing rv64i instructions, discovered when annotating the riscv isa... | Prashanth Mundkur |
| 2018-07-27 | Add a riscv latex target. | Prashanth Mundkur |
| 2018-07-20 | Add assorted comments, consistency fixes and cleanup. | Prashanth Mundkur |
| 2018-07-12 | Fixed a nested comment issue | Shaked Flur |
| 2018-07-11 | Add fixme note about riscv jalr. | Prashanth Mundkur |
| 2018-07-11 | Update the exception code for riscv LR after clarification on isa-dev. | Prashanth Mundkur |
| 2018-07-11 | RISC-V model fixes for RMEM | Jon French |
| 2018-07-11 | Fix riscv_duopod build. | Robert Norton |
| 2018-07-10 | Add an option to specify the dtc to use for the riscv platform. | Prashanth Mundkur |
| 2018-07-10 | Turn off some riscv debug tracing. | Prashanth Mundkur |
| 2018-07-10 | Start adding c-backend bits for riscv. | Prashanth Mundkur |
| 2018-07-10 | Support riscv atomic accesses to mmio regions, used by linux to access device... | Prashanth Mundkur |
| 2018-07-10 | Make HOL build properly again for all of the models | Brian Campbell |
| 2018-07-10 | RISCV load-acquire in Lem (-> rmem) | Jon French |
| 2018-07-10 | correct pretty-printing using mappings | Jon French |
| 2018-07-10 | disable printing when compiling to Lem to keep rmem happy | Jon French |
| 2018-07-09 | Log some timing info at the end of riscv execution. | Prashanth Mundkur |
| 2018-07-09 | add riscv_analysis.sail to SAIL_SRCS | Jon French |
| 2018-07-09 | add LOADRES, STORECON, AMO to analysis | Jon French |
| 2018-07-09 | Support writes to misa.C in riscv. | Prashanth Mundkur |
| 2018-07-08 | Make the riscv fetch-execute loop return instead of exiting when done. | Prashanth Mundkur |
| 2018-07-08 | Move the riscv analysis function into its own file for coverage purposes. | Prashanth Mundkur |
| 2018-07-08 | Add a riscv coverage target using bisect-ppx. | Prashanth Mundkur |
| 2018-07-07 | Add reservation traces to riscv tracecmp tool. | Prashanth Mundkur |
| 2018-07-07 | Cancel riscv reservation before i/o scheduling, tweak reservation tracing. | Prashanth Mundkur |
| 2018-07-07 | An initial fix to riscv lr/sc, needs a review. | Prashanth Mundkur |
| 2018-07-07 | Add some tracing to riscv address translation. | Prashanth Mundkur |
