summaryrefslogtreecommitdiff
path: root/src/lem_interp/interp_inter_imp.lem
AgeCommit message (Expand)Author
2014-11-20look for sub matches of registers on exhaustive modeKathy Gray
2014-11-19add byte_list_of_integerKathy Gray
2014-11-19Correct off-by-one bug in type checking vector slicesKathy Gray
2014-11-18Actually expect barriers to happenKathy Gray
2014-11-18Fix countLeadingZeroes typo (diff in number of es present)Kathy Gray
2014-11-16Add some missing functionsKathy Gray
2014-11-16Add overflow checking arithmetic operations. Fix various bugs that this exposedKathy Gray
2014-11-13Catch more cases of registers for extern_regKathy Gray
2014-11-13Set start index on bits in extern_valueKathy Gray
2014-11-07Add integer_of_byte_list : list word8 -> integerKathy Gray
2014-11-07typoKathy Gray
2014-11-07more num_to_bitsKathy Gray
2014-11-07Put back old num_to_bits temporarily; add in a num_to_bits_correct that treat...Kathy Gray
2014-11-07Fix types in num_to_bitsKathy Gray
2014-11-05Correct bug treating unsigned values as signed in arith operationsKathy Gray
2014-11-05fix(?) a Big_int/int type error wrt trans_sailPeter Sewell
2014-11-04Merge branch 'master' of bitbucket.org:Peter_Sewell/l2Peter Sewell
2014-11-04proposed split of decode into decode-to-instruction and instruction-to-instru...Peter Sewell
2014-11-04Read parts of a register, not always just the whole thingKathy Gray
2014-11-04K,P debuggingPeter Sewell
2014-11-04Fix setting of initial position in a vector after a sliceKathy Gray
2014-10-31Add a num to bits function; start hooking up the power.ml file to the symbol/...Kathy Gray
2014-10-30Fix type error that Lem didn't catch with the interpreter aloneKathy Gray
2014-10-30Add parameter to interp_exhaust with type maybe (list (reg_name,value)) for r...Kathy Gray
2014-10-28Allow tracking of unknowns in interp library, removing the P hacks.Kathy Gray
2014-10-28function in progress take 2Kathy Gray
2014-10-28hacks on taint trackingPeter Sewell
2014-10-28Function definition in progressKathy Gray
2014-10-28K,P fix constructor-as-variable errorPeter Sewell
2014-10-27Correct externally visible endianness bugsKathy Gray
2014-10-14Iron out bugs in running new executable with branching; add new executable as...Kathy Gray
2014-10-10Functions for operating on bit and byte vectors from the interpreter interfaceKathy Gray
2014-10-08Support exporting single bit and bool values to external bitvectorsKathy Gray
2014-10-07Connect interpreter to representation of instructions.Kathy Gray
2014-10-07Track dependencies on size of memory accessKathy Gray
2014-10-07kathy,peter: making decode integration with ppcmem2 typecheckPeter Sewell
2014-10-07Merge and make real Peter's comment typeKathy Gray
2014-10-07Put in type for instruction form for models; remove extra information from By...Kathy Gray
2014-10-03Add a decoding function to interp_interface and interp_inter_imp. (Note, this...Kathy Gray
2014-09-04Make exhaust run from the first breakpoint in the interactive interpreterKathy Gray
2014-08-21Improve printing of function calls in stepper modeKathy Gray
2014-08-21Allow command line interface to exhaustively evaluate the next step, printing...Kathy Gray
2014-08-20Add ability to track register dependencies in interactive stepper; thus testi...Kathy Gray
2014-08-19make test_power_interactive working again; now using interp_interface instead...Kathy Gray
2014-08-18Handling many register reads, writes, and memory reads.Kathy Gray
2014-08-18fix compile errorKathy Gray
2014-08-18Switch run_power to use interp_interface. Compilers and begins running, and t...Kathy Gray
2014-08-18wib?Peter Sewell
2014-08-18make interp_exhaustive not take an interp_mode argumentPeter Sewell
2014-08-14Small tweaks to interp_interface interfaceKathy Gray
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-09 18:21:19 +0000