summaryrefslogtreecommitdiff
path: root/mips
AgeCommit message (Expand)Author
2018-03-01Add support for read_tag and write_tag in sail_lib.ml. and support for intial...Robert Norton
2018-02-17Merge master branch into sail2 for OCaml 4.06 compatibilityThomas Bauereiss
2018-02-08replaced NIA_LR/CTR/register with NIA_indirect;Shaked Flur
2017-12-04Merge remote-tracking branch 'origin/master' into experimentsAlasdair Armstrong
2017-12-04renamed hgen to genShaked Flur
2017-11-30Merge branch 'master' into experimentsAlasdair Armstrong
2017-11-30match what rmem (ppcmem2) expects from ISA MakefilesShaked Flur
2017-10-31cheri: throw an exception if there is an attempt to access C26/IDC in the del...Robert Norton
2017-10-24fix default cap value on cheri128 following previous changes -- E stored in r...Robert Norton
2017-10-12Work around warning in ocaml shallow embedding of mips caused by buggy code g...Robert Norton
2017-08-17Merge remote-tracking branch 'origin' into mono-experimentsBrian Campbell
2017-08-15remove unneeded regs_out_in.hgen files.Robert Norton
2017-07-27Merge branch 'master' into sail_new_tcAlasdair Armstrong
2017-07-26mips_extras.lem: fix references to Interp.V_fooJon French
2017-06-21Pretty-print bitvector expressionsThomas Bauereiss
2017-06-02Add tag memory to Lem shallow embeddingThomas Bauereiss
2017-05-24fixed missing _tag bitsShaked Flur
2017-05-24Change types of MEMr_tag, MEMval_tag and co. so that tag is separate from dat...Robert Norton
2017-05-10Add stubs for TAGwThomas Bauereiss
2017-04-27also trace memory writes.Robert Norton
2017-04-27fix cheri128 model referring to wrong registers and not capreg printing.Robert Norton
2017-04-27need brackets around try ... with expression.Robert Norton
2017-04-27add command line argument for setting undef values to all zero or all one. So...Robert Norton
2017-04-27reverse endianness of data when writing UART. Altera jtag uart is little-endi...Robert Norton
2017-04-25extend the try around call to select to avoid gprof crashing with EINTR.Robert Norton
2017-04-25replace memory representation with map of 1MB pages rather than map of bytes....Robert Norton
2017-04-25Don't die if stdin gets closed (e.g. when running unit tests).Robert Norton
2017-04-25support loading more than one raw file as anonymous arguments so that we can ...Robert Norton
2017-04-25Add support for uart terminal. Also add read_bit_reg function for faster and ...Robert Norton
2017-04-21it turns out zarith has a function for printing big_ints in hex. Remove the d...Robert Norton
2017-04-21define some big_int literals in sail_values.ml to avoid lots of calls to bit_...Robert Norton
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-08 09:30:19 +0000