summaryrefslogtreecommitdiff
path: root/mips/Makefile
AgeCommit message (Expand)Author
2018-06-22Add coq generation rule for mipsBrian Campbell
2018-06-21Fix MIPS wrt changes to C runtimeAlasdair Armstrong
2018-06-08add sail as dependency of mips targets.Robert Norton
2018-06-07add mips_c target.Robert Norton
2018-06-04Add mips.c target in Makefile. Currently triggers assertion failure in c_back...Robert Norton
2018-05-17Clean up MIPS for HOL4 a littleBrian Campbell
2018-05-11Merge branch 'sail2' into cheri-monoThomas Bauereiss
2018-05-09remove redundant cloc targets.Robert Norton
2018-05-09Add targets for counting lines in mips, cheri and riscv. Can use either slocc...Robert Norton
2018-05-04Bit of hackery to MIPS prelude and Makefiles to get monomorphised CHERIBrian Campbell
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-08 08:54:14 +0000