aboutsummaryrefslogtreecommitdiff
path: root/model/prelude.sail
AgeCommit message (Expand)AuthorFilesLines
2019-04-12Merge branch 'master' into rmem_interpreterrmem_interpreterJon French1-7/+7
2019-04-03Tweak print_* bindings for LemThomas Bauereiss1-4/+4
2019-03-25Fix prelude for new names of div and mod functions.Robert Norton1-3/+3
2019-03-14Merge branch 'master' into rmem_interpreterJon French1-940/+39
2019-03-12refactor memory access to use new sail intrinsicsJon French1-39/+2
2019-03-12prelude.sail: fix print_foo externs in interpreterJon French1-4/+4
2019-03-08Another prelude cleanup.Prashanth Mundkur1-2/+0
2019-03-07Minor prelude cleanup.Prashanth Mundkur1-2/+0
2019-03-04Add defaults for platform values for use when interpretingJon French1-59/+60
2019-02-26Merge branch 'master' into rv32Prashanth Mundkur1-0/+8
2019-02-26Initial cleanup of the prelude, using standard prelude instead when possible.Prashanth Mundkur1-229/+33
2019-02-15More RV32 fixes.Prashanth Mundkur1-4/+0
2019-02-12Compatability fixes from Sail 0.7.1 to Sail 0.8Alasdair Armstrong1-0/+8
2019-02-11More refactoring for RV32Prashanth Mundkur1-67/+0
2019-02-08Change implicits on monad branchAlasdair Armstrong1-4/+4
2019-02-08Adapt to changes in Sail's Lem shallow embeddingThomas Bauereiss1-5/+28
2019-02-08Split out the mapping prelude into its own file.Prashanth Mundkur1-690/+0
2019-01-21Remove temporary workaround for Lem generationThomas Bauereiss1-4/+0
2019-01-21Clean up duopodAlasdair Armstrong1-14/+4
2019-01-14Reorganize directory structure.Prashanth Mundkur1-0/+1161
generated by cgit v1.1 at 2024-09-10 14:57:00 +0000