aboutsummaryrefslogtreecommitdiff
path: root/model
AgeCommit message (Expand)AuthorFilesLines
2019-01-25Remove uninformative comment.Prashanth Mundkur1-5/+6
2019-01-25Account for U-mode availability in xRET.Prashanth Mundkur1-1/+2
2019-01-25SRET should be illegal if S-mode is not supported.Prashanth Mundkur1-1/+1
2019-01-25Add misa checks for instructions not in the base set.Prashanth Mundkur5-165/+225
2019-01-25Factor out each extension into separate files, do some minor cleanup.Prashanth Mundkur8-1596/+1774
2019-01-21Remove temporary workaround for Lem generationThomas Bauereiss2-9/+5
2019-01-21Clean up duopodAlasdair Armstrong2-22/+10
2019-01-20Tweaks to improve latex readability.Prashanth Mundkur1-22/+26
2019-01-14Reorganize directory structure.Prashanth Mundkur18-0/+5971