Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2019-04-24 | Add extended model from cheri-merge. | Prashanth Mundkur | 1 | -12/+34 | |
2019-04-12 | Merge branch 'master' into rmem_interpreterrmem_interpreter | Jon French | 1 | -7/+7 | |
2019-04-03 | Tweak print_* bindings for Lem | Thomas Bauereiss | 1 | -4/+4 | |
Map to a function that does not actuaylly output anything, in order to not confuse rmem. | |||||
2019-03-25 | Fix prelude for new names of div and mod functions. | Robert Norton | 1 | -3/+3 | |
2019-03-14 | Merge branch 'master' into rmem_interpreter | Jon French | 1 | -940/+39 | |
2019-03-12 | refactor memory access to use new sail intrinsics | Jon French | 1 | -39/+2 | |
2019-03-12 | prelude.sail: fix print_foo externs in interpreter | Jon French | 1 | -4/+4 | |
2019-03-08 | Another prelude cleanup. | Prashanth Mundkur | 1 | -2/+0 | |
2019-03-07 | Minor prelude cleanup. | Prashanth Mundkur | 1 | -2/+0 | |
2019-03-04 | Add defaults for platform values for use when interpreting | Jon French | 1 | -59/+60 | |
2019-02-26 | Merge branch 'master' into rv32 | Prashanth Mundkur | 1 | -0/+8 | |
2019-02-26 | Initial cleanup of the prelude, using standard prelude instead when possible. | Prashanth Mundkur | 1 | -229/+33 | |
2019-02-15 | More RV32 fixes. | Prashanth Mundkur | 1 | -4/+0 | |
2019-02-12 | Compatability fixes from Sail 0.7.1 to Sail 0.8 | Alasdair Armstrong | 1 | -0/+8 | |
Two small compatability fixes: Small change to the prelude to make sure we are forwards compatable with the next release of Sail, which has slightly different syntax for implicit arguments. Due to changes in the monad embedding in the latest git version of Sail, we disable generating Lem by default when we detect we are on that version. It's a small one line fix to correct, but we want to keep the Lem definitions in this repository compatible with the opam release 0.7.1 for now. | |||||
2019-02-11 | More refactoring for RV32 | Prashanth Mundkur | 1 | -67/+0 | |
- split out memory access definitions in prelude that depend on xlen - make riscv_xlen now part of the prelude set, so that riscv_duopod can use the definition - update xlen use in riscv_duopod so that it can now support rv32 | |||||
2019-02-08 | Change implicits on monad branch | Alasdair Armstrong | 1 | -4/+4 | |
2019-02-08 | Adapt to changes in Sail's Lem shallow embedding | Thomas Bauereiss | 1 | -5/+28 | |
In the monads branch of Sail, writing a memory value now requires address and write_kind (instead of relying on parameters announced earlier). | |||||
2019-02-08 | Split out the mapping prelude into its own file. | Prashanth Mundkur | 1 | -690/+0 | |
2019-01-21 | Remove temporary workaround for Lem generation | Thomas Bauereiss | 1 | -4/+0 | |
Reverts 7df2149 | |||||
2019-01-21 | Clean up duopod | Alasdair Armstrong | 1 | -14/+4 | |
Remove functions in prelude that are duplicates from those in Sail library as this causes issues for the latex generation | |||||
2019-01-14 | Reorganize directory structure. | Prashanth Mundkur | 1 | -0/+1161 | |