summaryrefslogtreecommitdiff
path: root/src/lem_interp
AgeCommit message (Expand)Author
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
2014-08-14Small tweaks to interp_interface interfaceKathy Gray
2014-08-13Update library functionsKathy Gray
2014-08-13FInd/fix a redundant case now that warnings are manageableKathy Gray
2014-08-13Complete tainting phase 1Kathy Gray
2014-08-12taint tracking through most of interpreterKathy Gray
2014-08-12more taint tracking, yet againKathy Gray
2014-08-11More taint tracking.Kathy Gray
2014-08-09More tracking register dependency; another check point that compiles in under...Kathy Gray
2014-08-08Tracking register dependence.Kathy Gray
2014-08-07Fix bug introduced by last commitKathy Gray
2014-08-07Track taints across machine calls.Kathy Gray
2014-08-05start tainting values with register dependenciesKathy Gray
2014-08-01Support separated memory read/write functions.Kathy Gray
2014-07-30working dec vectorsKathy Gray
2014-07-25Add another type signature needed (we think but Susmit and I can't quite reme...Kathy Gray
2014-07-25Additional functions for interfaceKathy Gray
2014-07-18Writing to concatenated aliasesKathy Gray
2014-07-16Reading from an alias to two concatenated registers; not writing yet.Kathy Gray
2014-07-16Get writing working for aliases in the interpreter, other than concatenation.Kathy Gray
2014-07-15Finishing up some of the support for ExitKathy Gray
2014-07-14Add register to alias concatenation typeKathy Gray
2014-07-14Initial support for aliases and exit through the type system and the interpre...Kathy Gray
2014-07-03Adjust behavior on Unknown values in pattern match to stop matching as soon a...Kathy Gray
2014-07-02Fix ordering issue in vector-concat pattern matchingGabriel Kerneis
2014-07-01Update case of EXTSGabriel Kerneis
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-28 11:28:01 +0000