summaryrefslogtreecommitdiff
path: root/mips
AgeCommit message (Expand)Author
2016-01-28mips.sail: split store cases by word width as sail needs to know which bit of...Robert Norton
2016-01-27mips.sail: branches are relative to delay slot PC, not branch! Support config...Robert Norton
2016-01-27mips.sail: produce undefined result for division by zero instead of crashing.Robert Norton
2016-01-27actually commit the new mips fileKathy Gray
2016-01-27mips.sail: further support for CP0 registers needed to run tests.Robert Norton
2016-01-26mips.sail: beginning of mfc0 implementation.Robert Norton
2016-01-26mips.sail: fix bugs in DSRL32 and DSRLVRobert Norton
2016-01-26mips.sail: work around sail bug in equality comparing bit vector to integerRobert Norton
2016-01-26mips.sail: 32-bit load linked should sign extend result.Robert Norton
2016-01-26mips: fix encoding of DSRAV.Robert Norton
2016-01-25mips.sail: modify overflow check to do exactly what is described in the spec....Robert Norton
2016-01-22mips: revert accidental removal of overflow check from daddi. It is broken bu...Robert Norton
2016-01-22mips: fix PC update logic so branches might work.Robert Norton
2016-01-21mips.sail: fix alignment check for memory accesses.Robert Norton
2016-01-21add another encoding for HCF instruction and add execute clause -> first comp...Robert Norton
2016-01-21mips: rename GPRs so that they sort lexicographically for display.Robert Norton
2016-01-20Decoding a mips instruction :)Kathy Gray
2016-01-15mips.sail: Add commented out alternative DSLLV implementation using bitslicin...Robert Norton
2016-01-07make mips.sail pass sail type checker againKathy Gray
2015-12-22More make file goo, and fixing a typo in run_with_elfKathy Gray
2015-12-22More gluing mips to interpreterKathy Gray
2015-12-21Merge branch 'master' of https://bitbucket.org/Peter_Sewell/l2Christopher
2015-12-21fixes, pp progressChristopher
2015-12-17Remove external functions that the library provides, having added them to the...Kathy Gray
2015-12-17First bit of gluing mips onto interpreter and eventually ppcmem infrastructureKathy Gray
2015-11-25non-working sail/mips interpreter integration for kathy to look at and exampl...Robert Norton
2015-11-20Initial version of mips sail model.Robert Norton
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-09 11:20:13 +0000