summaryrefslogtreecommitdiff
path: root/src/lem_interp/interp.lem
AgeCommit message (Expand)Author
2014-10-16bug fixes to run test from Christopher's testsKathy Gray
2014-10-07Connect interpreter to representation of instructions.Kathy Gray
2014-10-07Put in type for instruction form for models; remove extra information from By...Kathy Gray
2014-09-04Make exhaust run from the first breakpoint in the interactive interpreterKathy Gray
2014-08-26small changes for armKathy Gray
2014-08-21Improve printing of function calls in stepper modeKathy Gray
2014-08-18Handling many register reads, writes, and memory reads.Kathy Gray
2014-08-18Switch run_power to use interp_interface. Compilers and begins running, and t...Kathy Gray
2014-08-18tweak barrier kinds in interface (likely needs changes elsewhere)Peter Sewell
2014-08-13FInd/fix a redundant case now that warnings are manageableKathy 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-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-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-06-30Support for nondeterministic blocksKathy Gray
2014-06-25Add support for memory barrierKathy Gray
2014-06-25Add support for actions that read just a slice or single bit of a registerKathy Gray
2014-06-24Get enumerations working in interpreterKathy Gray
2014-06-23Get indexed vectors, particularly with default values, workingKathy Gray
2014-06-18Make hex constants work; improve utility of casts for selecting overloaded fu...Kathy Gray
2014-06-12Interpret when an unknown is inserted into the program by interp_exhaustiveKathy Gray
2014-06-09Add more stops in interpreter (stopping just at the point of each internal fu...Kathy Gray
2014-06-09Working towards evaluating with interp_exhaustiveKathy Gray
2014-06-04Fixup type coercions and overloadingKathy Gray
2014-05-28Support stepped interpreting, and use normalisation instead of eval_nexp in c...Kathy Gray
2014-05-21More interface support; interp_inter_imp now compilingKathy Gray
2014-05-20Fix interp compiling bugKathy Gray
2014-05-12More interface supportKathy Gray
2014-05-08more interface changesKathy Gray
2014-05-06Begin tie to ppcmem style actions/outcomesKathy Gray
2014-04-25rename interpreter's local memory type to reflect that it's all local memoryKathy Gray
2014-04-21Remove unsoundness of pattern match in interpreterKathy Gray
2014-04-15Use type information in vector concatenation pattern matching in interpreter.Kathy Gray
2014-04-08Reduce redundant information in ASTKathy Gray
2014-04-03Re-index vector slicesGabriel Kerneis
2014-04-03Typeclass Eq for valuesGabriel Kerneis
2014-04-02Solve more constraints; fix up test suite bugs uncovered by solving more cons...Kathy Gray
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-09 21:26:17 +0000