summaryrefslogtreecommitdiff
path: root/mips/Makefile
AgeCommit message (Expand)Author
2018-05-09Add targets for counting lines in mips, cheri and riscv. Can use either slocc...Robert Norton
2018-04-04Fix another infinite loop in cast bit_to_bool. Following introduction of eq_b...Robert Norton
2018-03-21Patch AST datatypes in generated Isabelle theoriesThomas Bauereiss
2018-03-14Fix Lem generation for CHERI-MIPS and Aarch64Thomas 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
2016-05-31delete obsolete Makefile (src/Makefile currently hanldes mips build).Robert Norton
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-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
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-09 11:15:40 +0000