summaryrefslogtreecommitdiff
path: root/mips
AgeCommit message (Expand)Author
2017-04-21remove unnecessary cast in incrementCP0Count (run every instruction) for pote...Robert Norton
2017-04-20add support for cheri128 ocaml shallow embeddingRobert Norton
2017-04-20build a single run_embed.native with mips and cheri models linked and choose ...Robert Norton
2017-04-20remove unsed code for elf file loading in run_embed.Robert Norton
2017-04-20return zero for uninitialised memory in ocaml shallow embedding model. Necess...Robert Norton
2017-04-20add support for tagged memory functions in mips_extras_mlRobert Norton
2017-04-18add workaround for sail shallow embedding problem concerning semantisc of reg...Robert Norton
2017-04-18remove debug print.Robert Norton
2017-04-07read from uninitialsed memory returns undef (required to pass test_raw_cache_...Robert Norton
2017-04-06add support for address translation and exit handling in mips ocaml shallow e...Robert Norton
2017-04-06Model now assumes memory is little endian so adjust extras file accordingly.Robert Norton
2017-04-06Print registers in test suite compatible way.Robert Norton
2017-04-03Rename TranslateAddress to TranslatePC and remove the accessType argument -- ...Robert Norton
2017-03-29change reqiured to work with little endian interpreter.Robert Norton
2017-03-24Checkpoint work-in-progress mips sequential interpreter using ocaml shallow e...Robert Norton
2017-03-24changes to allow generating ocaml that compiles.Robert Norton
2017-03-23the interpreter/shallow expects little-endian memory-valuesShaked Flur
2017-02-03Now that 128-bit capabilities are supported we must be stricter about MIPS al...Robert Norton
2017-02-03fix headersPeter Sewell
2017-01-24first pass at cheri128 sail.Robert Norton
2016-12-09sail changes for making lem embedding Isabelle-friendlierChristopher Pulte
2016-12-08add target for building cheri_notlb.lemRobert Norton
2016-11-30shallow embedding fix, rename 'copy' to 'reset_vector_start', don't print sha...Christopher Pulte
2016-11-30add new barrier kind for MIPS (only one for now).Robert Norton
2016-11-28make sail produce prompt and state version of shallow embedding files at the ...Christopher Pulte
2016-11-24attempt to preserve signs of immediate where appropriate when translating to ...Robert Norton
2016-11-23be consistent about using lower case when parsing/pretty printing MIPS assembly.Robert Norton
2016-11-23add support for symbolic registers in litmus tests.Robert Norton
2016-11-22add mips_extras_sequential_embed.lemChristopher Pulte
2016-11-11mips_regfp: add missing output register for store conditional.Robert Norton
2016-11-09add CP0LLBit and CP0LLAddr to mips register footprintRobert Norton
2016-11-08add mips_extras_embedChristopher Pulte
2016-11-08add mips thread start instruction.Robert Norton
2016-11-07factor out regfp analysis types into etc/regfp.sailChristopher Pulte
2016-11-03split out RI node so that ppcmem model does not implement reserved instructio...Robert Norton
2016-10-27add hgen for J branchesRobert Norton
2016-10-22fixes following interface changes (type of instruction, name of barrier)Robert Norton
2016-10-20changes to support get_model for ppcmem.Robert Norton
2016-10-17don't forget link register in register bcmp footprintRobert Norton
2016-10-17add register footprint for bcmpzRobert Norton
2016-10-06move type definitions that both interpreter and shallow embedding use to sail...Christopher Pulte
2016-09-23Add register footprint function needed by ppcmem (mips only for now)Robert Norton
2016-09-14Switch mips/cheri over to using memory ea/val for writes. Tag is now first by...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 support for BERI specific behaviour which permits some unaligned accesses...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-07-13fixChristopher
2016-06-28Munge exception destination PC so we hit the correct address even when kcc.ba...Robert Norton
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-15 22:46:43 +0000