aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
AgeCommit message (Expand)AuthorFilesLines
2021-06-25Ignore build library files (#86)PeterRugg1-0/+1
2019-11-26Update .gitignore to ignore softfloat build.Prashanth Mundkur1-0/+1
2019-01-29Added _sbuild and _build to .gitignoreShaked Flur1-0/+5
2019-01-29Added riscv_rmem that generates the lem files for rmem (which are different f...Shaked Flur1-48/+1
2018-11-30Add gitignoreRobert Norton1-5/+48
2018-05-17Tidy up HOL4 riscv a littleBrian Campbell1-0/+5