summaryrefslogtreecommitdiff
path: root/mips/prelude.sail
AgeCommit message (Expand)Author
2018-05-11Merge branch 'sail2' into cheri-monoThomas Bauereiss
2018-05-11Remove buggy bit list comparison functions from Lem libraryThomas Bauereiss
2018-05-09Use latex support for generating cheri documentation and remove sed based hac...Robert Norton
2018-05-04Bit of hackery to MIPS prelude and Makefiles to get monomorphised CHERIBrian Campbell
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-21Fix Lem generation for MIPSThomas Bauereiss
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-08rename mips_new_tc to mipsRobert Norton
generated by cgit v1.2.3 (git 2.25.1) at 2026-05-02 06:41:37 +0000