summaryrefslogtreecommitdiff
path: root/mips/mips_insts.sail
AgeCommit message (Expand)Author
2017-04-18add workaround for sail shallow embedding problem concerning semantisc of reg...Robert Norton
2017-03-29change reqiured to work with little endian interpreter.Robert Norton
2017-03-24changes to allow generating ocaml that compiles.Robert Norton
2017-02-03fix headersPeter Sewell
2016-11-30shallow embedding fix, rename 'copy' to 'reset_vector_start', don't print sha...Christopher Pulte
2016-11-08add mips thread start instruction.Robert Norton
2016-07-28Banish exit from the mips/cheri sail except at end of SignalException functio...Robert Norton
2016-07-26Increase size of TLB to 64 entries. In theory this should improve FreeBSD boo...Robert Norton
2016-07-26Add minimal support for emulated Altera JTAG UART.Robert Norton
2016-07-25Fix incorrect register number for CP0Cause in mtc0. The only test which write...Robert Norton
2016-06-27Don't blow up when test suite writes to K0 field of Config0 register.Robert Norton
2016-06-06revert accidental functional change introduced when formatting -- simulator h...Robert Norton
2016-06-03Improve formatting of latex export of mips spec: wrap lines, remove dollars i...Robert Norton
2016-06-03Reduce fill width of header to align closing comments nicely.Robert Norton
2016-06-02Apply headache to mips/cheri model.Robert Norton
2016-05-25add support for capability load/store bits in TLBRobert Norton
2016-05-19correctly report TLB size and type in config reg.Robert Norton
2016-05-18Implement 8-entry software-managed TLB.Robert Norton
2016-05-13implement config registers.Robert Norton
2016-05-13do something a bit more interesting with WAIT.Robert Norton
2016-05-13fixes to make counter interrupt work: don't attempt to read register fields d...Robert Norton
2016-05-13don't write 33-bit value to hwrena (suprised that this type checked).Robert Norton
2016-05-12allow writing hwrena 29 (UserLocal)Robert Norton
2016-05-12Implement count/compare registers for timer interrupts and rdhwr instruction.Robert Norton
2016-05-12remove redundant wrapper function 'TranslateOrExit' and rename uses.Robert Norton
2016-05-10Clear LLbit on ERET regardless of ERL value.Robert Norton
2016-05-10Implement mfc0/mtc0 ErrorEPC.Robert Norton
2016-05-10calculate signed modulus using quot as ocaml and mips disagree about what the...Robert Norton
2016-05-09explicitly give result value for slti to workaround probable sail bug produci...Robert Norton
2016-05-09work around problem with <_s using signedRobert Norton
2016-04-28implement (hopefully) correct exception behaviour wrt PCC/EPCC. Required shuf...Robert Norton
2016-04-22Add address calculation wrapper to constrain and translate standard mips load...Robert Norton
2016-04-21Introduce wrapper function around MEMw* so that we can clear tags on non-capa...Robert Norton
2016-04-13Put in a cast into sltiKathy Gray
2016-03-07Split mips.sail into three file and make use of the new -o option in preparat...Robert Norton
generated by cgit v1.2.3 (git 2.25.1) at 2026-05-02 08:39:31 +0000