summaryrefslogtreecommitdiff
path: root/mips/mips_extras.lem
AgeCommit message (Expand)Author
2018-05-09Add tests for Isabelle->OCaml generation for CHERI and AArch64Thomas Bauereiss
2018-04-18Move a few printing functions to sail_values.lemThomas Bauereiss
2018-03-21Fix Lem generation for MIPSThomas Bauereiss
2018-03-14Fix Lem generation for CHERI-MIPS and Aarch64Thomas Bauereiss
2018-03-14Add address to Write_tag outcomeThomas Bauereiss
2018-03-08rename mips_new_tc to mipsRobert Norton
2018-03-08Remove files in mips directory prior to copying in files from mips_new_tc. Ho...Robert Norton
2017-11-30match what rmem (ppcmem2) expects from ISA MakefilesShaked Flur
2017-07-26mips_extras.lem: fix references to Interp.V_fooJon French
2017-05-24Change types of MEMr_tag, MEMval_tag and co. so that tag is separate from dat...Robert Norton
2017-03-23the interpreter/shallow expects little-endian memory-valuesShaked Flur
2016-11-30add new barrier kind for MIPS (only one for now).Robert Norton
2016-10-22fixes following interface changes (type of instruction, name of barrier)Robert Norton
2016-10-06move type definitions that both interpreter and shallow embedding use to sail...Christopher Pulte
2016-09-14Switch mips/cheri over to using memory ea/val for writes. Tag is now first by...Robert Norton
2016-04-13add tagr and tagw in mips_extras (will need to change these to make tag write...Robert Norton
2016-02-03mips_extras.lem: fix typo in spelling of MEM_sync.Robert Norton
2015-12-17First bit of gluing mips onto interpreter and eventually ppcmem infrastructureKathy Gray
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-08 10:24:15 +0000