summaryrefslogtreecommitdiff
path: root/src/lem_interp
AgeCommit message (Expand)Author
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
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-24Get vector length for to_inc_vec and to_dec_vec from the type system after co...Kathy Gray
2014-06-23Get indexed vectors, particularly with default values, workingKathy Gray
2014-06-19Add mod:vec->range->vecGabriel Kerneis
2014-06-18Fix mod_vec in libraryGabriel Kerneis
2014-06-18Add definition of mod to libKathy 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-11Equality between range and bit vectorGabriel Kerneis
2014-06-11Improve error message for missing library functionsGabriel Kerneis
2014-06-10Minor color and build tweaksGabriel Kerneis
2014-06-10More colorsGabriel Kerneis
2014-06-09Better, colored holeGabriel Kerneis
2014-06-09Improve interaction after chat with PeterGabriel Kerneis
2014-06-09Support deinfix pretty-printingGabriel Kerneis
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-09Add "continuation" command in interpreterGabriel Kerneis
2014-06-09Add switch to show/hide casts in interpreterGabriel Kerneis
2014-06-09Merge branch 'for-dagstuhl' into masterGabriel Kerneis
2014-06-07Add optional overloading on expected return type to fix bug in constraint sol...Kathy Gray
2014-06-07exts returns bit[64] instead of natGabriel Kerneis
2014-06-07Improve help messageGabriel Kerneis
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-08 11:27:01 +0000