aboutsummaryrefslogtreecommitdiff
path: root/model/main.sail
AgeCommit message (Expand)AuthorFilesLines
2019-08-05Add some effects to execute function declarationand remove val specs for call...Robert Norton1-3/+1
2019-04-24Add extended model from cheri-merge.Prashanth Mundkur1-0/+3
2019-03-14Merge branch 'master' into rmem_interpreterJon French1-3/+2
2019-03-11Fixes for Sv39 TLB.Prashanth Mundkur1-2/+1
2019-03-04Add defaults for platform values for use when interpretingJon French1-10/+0
2019-02-26Initial cleanup of the prelude, using standard prelude instead when possible.Prashanth Mundkur1-1/+1
2019-02-19Use sizeof xlen instead of the value definitions of xlen.Prashanth Mundkur1-1/+1
2019-02-15More RV32 fixes.Prashanth Mundkur1-1/+1
2019-01-14Reorganize directory structure.Prashanth Mundkur1-0/+26