summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2016-05-10calculate signed modulus using quot as ocaml and mips disagree about what the...Robert Norton
2016-05-09explicitly give result value for slti to workaround probable sail bug produci...Robert Norton
2016-05-09fix mips build by copying across run_with_elf_cheri.ml and removing cheri parts.Robert Norton
2016-05-09work around problem with <_s using signedRobert Norton
2016-05-09Reverse the list of events to respect their orderKathy Gray
2016-05-09commit test which fails due to not writing C31.offset in TranslateAddress.Robert Norton
2016-05-09Add more debugging information for vector concatenationKathy Gray
2016-05-06rewrite fde_loop to make it easier to understand and fix some tests. still re...Robert Norton
2016-05-05Factor out get_opcodeRobert Norton
2016-05-04Correct register field/slice reading for decreasing reads for decode/translat...Kathy Gray
2016-05-04fix incorrect exception code used on clc alignment check.Robert Norton
2016-05-04check for PC alignment on instruction fetch.Robert Norton
2016-05-03List registers required to handle exception during instruction fetch. Attempt...Robert Norton
2016-05-03actually read next_pc twice when handling a translate_address exceptionKathy Gray
2016-05-03write all or part of fields out of translate_address (instead of just all)Kathy Gray
2016-05-03cheri: check value of co-processor enable bit before all cheri instructions.Robert Norton
2016-05-03fix cheri and mips sail following change to type of TranslateAddress -- can n...Robert Norton
2016-05-03Change decode and translate_address to support writing register events (altho...Kathy Gray
2016-05-03immediate offset of load/store via capability is scaled by word size (ISA cha...Robert Norton
2016-04-29implement cgetpccsetoffset (new instruction)Robert Norton
2016-04-29new encoding for cgetpcc (ISA change).Robert Norton
2016-04-29implement 'big immediates' for CSC and CLC (ISA change).Robert Norton
2016-04-29use the correct exception vector for ccall/creturn.Robert Norton
2016-04-28implement (hopefully) correct exception behaviour wrt PCC/EPCC. Required shuf...Robert Norton
2016-04-27mips: fix error caused by TranslateAddress having wrong name.Robert Norton
2016-04-27slightly simplify set_next_instruction_address -- no need to read convert the...Robert Norton
2016-04-27expand supported patterns for most_significantKathy Gray
2016-04-27Make run_with_elf compile againKathy Gray
2016-04-27cheri: add translation and bounds checking of PC via PCC. Slightly clunky imp...Robert Norton
2016-04-26Add more cases for translate_address to support enumsKathy Gray
2016-04-26print error case on translate addressKathy Gray
2016-04-25make pretty printer keep up with parser changesKathy Gray
2016-04-25Make interpreter able to read registers during translate address and decode.Kathy Gray
2016-04-22Add address calculation wrapper to constrain and translate standard mips load...Robert Norton
2016-04-21Introduce wrapper function around MEMw* so that we can clear tags on non-capa...Robert Norton
2016-04-19cheri: zero all tags when loading memory from elf so that we don't get undefi...Robert Norton
2016-04-19Make value treatment on memory write calls uniform for function call vs assig...Kathy Gray
2016-04-19cheri: be sure to use unsigned comparison in CUnsealRobert Norton
2016-04-19use unsigned for register offset and signed for immediate offset when computi...Robert Norton
2016-04-19force link to prevent make from failingShaked Flur
2016-04-18cheri: use signed() rather than casting to int as advised by kathy. This has ...Robert Norton
2016-04-18Fix bug where constraints were not getting simplified enough to checkKathy Gray
2016-04-18cheri: explicitly specify vector for comparison in cincoffset to work around ...Robert Norton
2016-04-18cheri: swap use of MEMr_tagged and MEMr_tagged_reserved in CLC which were swa...Robert Norton
2016-04-18cheri: fix encoding of CSCC which was short one bit (kathy investigating why ...Robert Norton
2016-04-18cheri: add support for ll/sc of data via capability instructions.Robert Norton
2016-04-18More fixes to interp with regards to warnings and debugging infoKathy Gray
2016-04-18cheri: fix inverted tag check for cptrcmp.Robert Norton
2016-04-15add cheri test for tagged memory.Robert Norton
2016-04-15signed comparison between nats is not sensible. cast to bit vector instead.Robert Norton
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-09 11:44:07 +0000