summaryrefslogtreecommitdiff
path: root/src/lem_interp
AgeCommit message (Expand)Author
2014-10-30Add parameter to interp_exhaust with type maybe (list (reg_name,value)) for r...Kathy Gray
2014-10-30Add case to neg for interp_libKathy Gray
2014-10-29tweak value pp (remove byte count)Peter Sewell
2014-10-28taint tracking unknown in interpreterKathy 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-28Add proper tag to constructors when storing continuationKathy Gray
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-27Add printing for instruction formKathy Gray
2014-10-22Update printing for testing, fix some bugs found along the wayKathy Gray
2014-10-20Update the printing interface for ppcmem as opposed to run_model functionalityKathy Gray
2014-10-20Catch more types in constructor parametersKathy Gray
2014-10-20Separate out printing facility from model driver into printing_functions int...Kathy Gray
2014-10-16bug fixes to run test from Christopher's testsKathy 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-07Actually add the new fileKathy Gray
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-07comment with suggested i_state_or_error typePeter Sewell
2014-10-04clarify Step constructorKathy Gray
2014-10-03Add a decoding function to interp_interface and interp_inter_imp. (Note, this...Kathy Gray
2014-10-02correct renaming typoKathy Gray
2014-10-01Fix bug omitting wmem effectsKathy Gray
2014-09-30Corrected writing to register bug. Now interpreter produces same result as gd...Kathy Gray
2014-09-30Add type annotations to funcls to track effects and constraints from one func...Kathy Gray
2014-09-29Add in elf model from Dominic/Stephen. Make run_power build again. Does not e...Kathy Gray
2014-09-19Functions to extract instruction informationKathy Gray
2014-09-11Adding support for extracting the information Christopher needs about an inst...Kathy Gray
2014-09-04Make exhaust run from the first breakpoint in the interactive interpreterKathy Gray
2014-08-27Changes to get another (slightly larger) executable running;Kathy Gray
2014-08-26small changes for armKathy 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-19Add file that actually drives command line interpreterKathy 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-18tweak barrier kinds in interface (likely needs changes elsewhere)Peter Sewell
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-09 18:19:03 +0000