summaryrefslogtreecommitdiff
path: root/mips
AgeCommit message (Expand)Author
2018-06-08add sail as dependency of mips targets.Robert Norton
2018-06-07Refactor mips main a little to work around apparent bug in c generation. Gene...Robert Norton
2018-06-07Use the vector_dec standard library for mips. This means we get all the c fun...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-06-04cheri: print debug trace info to stderr to keep it separate from uart output.Robert Norton
2018-05-18mips: add support for CP0 Config0.K0 field because a test has appeared for it...Robert Norton
2018-05-17build fixes: add back tag effect skips required for mips. Move UART check in ...Robert Norton
2018-05-17changes to for testing FreeBSD boot on MIPS: allowing loading raw file in oca...Robert Norton
2018-05-17Refactor main.sailThomas Bauereiss
2018-05-17Remove sequential code againBrian Campbell
2018-05-17Clean up MIPS for HOL4 a littleBrian Campbell
2018-05-11Add Isabelle code generation for sequential CHERI modelThomas Bauereiss
2018-05-11Merge branch 'sail2' into cheri-monoThomas Bauereiss
2018-05-11Remove buggy bit list comparison functions from Lem libraryThomas Bauereiss
2018-05-09remove redundant cloc targets.Robert Norton
2018-05-09Use latex support for generating cheri documentation and remove sed based hac...Robert Norton
2018-05-09Add targets for counting lines in mips, cheri and riscv. Can use either slocc...Robert Norton
2018-05-09Add tests for Isabelle->OCaml generation for CHERI and AArch64Thomas Bauereiss
2018-05-04Add back purely sequential Lem generationThomas Bauereiss
2018-05-04Bit of hackery to MIPS prelude and Makefiles to get monomorphised CHERIBrian Campbell
2018-04-18Move a few printing functions to sail_values.lemThomas Bauereiss
2018-04-12Add implementations of CReadHwr and CWriteHwrRobert Norton
2018-04-12Add missing read of UserLocal register using dmtc0 4, sel 2. Write was presen...Robert Norton
2018-04-10Porting some minisail changes to sail2 branchAlasdair Armstrong
2018-04-09remove unused functions from cher/mips prelude (step towards using standard p...Robert Norton
2018-04-04Fix another infinite loop in cast bit_to_bool. Following introduction of eq_b...Robert Norton
2018-03-27Fix infinite loop in cheri/mips cast_unit_vec caused by lack of eq_bit in = o...Robert Norton
2018-03-27print IPS after running cheri model.Robert Norton
2018-03-22Fix C compilation for CHERI and MIPSAlasdair Armstrong
2018-03-21Patch AST datatypes in generated Isabelle theoriesThomas Bauereiss
2018-03-21Fix Lem generation for MIPSThomas Bauereiss
2018-03-14Add and use execute_branch and execute_branch_pcc functions to align code wit...Robert Norton
2018-03-14rename EXTS and EXTZ to sign_extend and zero_extend because it is more obvios...Robert Norton
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
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-02 06:08:08 +0000