summaryrefslogtreecommitdiff
path: root/src/lem_interp/interp.lem
AgeCommit message (Expand)Author
2015-06-08keeping tainted values in functionally updating recordsKathy Gray
2015-06-06append vectors with proper length for dec caseKathy Gray
2015-06-05Fix issue #5Kathy Gray
2015-06-05small variable renaming for Isabellecp526
2015-06-05slight change of binary_taint for Isabellecp526
2015-06-03make string functions used to UI and debugging output empty strings for theor...cp526
2015-06-02Fix errors around ARM not being able to decode due to instruction_extractor b...Kathy Gray
2015-05-28fix pattern matching bug on concatenated vectorsKathy Gray
2015-05-18expand unsigned comparisonsKathy Gray
2015-05-18Add equality check for addressesKathy Gray
2015-05-17extend a missing caseKathy Gray
2015-05-16Fix bug where undef was blown up to fill the full register on a field assignmentKathy Gray
2015-05-13Add dynamic footprint dependency check event/outcomeKathy Gray
2015-05-01Fix pattern match bug with enumerated valuesKathy Gray
2015-05-01Change interpreter interface to support ppcmem2's view of vectors as always i...Kathy Gray
2015-04-22Fix some interpreter bugs preventing ARM instructions from making progressKathy Gray
2015-04-07Move interpreter to zarithKathy Gray
2015-03-17Correct directionality in interpreter. Now the interpreter shouldn't use inc ...Kathy Gray
2015-03-15Many changes:Kathy Gray
2015-02-27Fix a series of errors leading to the first ARM instruction not running.Kathy Gray
2015-01-20Fix sparse vector fupdate slicing, assigning values in the right order and wi...Kathy Gray
2015-01-16more for loop corrections, as well as pattern match errorKathy Gray
2015-01-15Fix for loop error causing premature stoppingKathy Gray
2014-12-18Bring interpreter upto date with current LemKathy Gray
2014-12-11Many fixes, primarily dealing with undefinedKathy Gray
2014-12-10Fix mismatch errors in interpreter, mostly relating to taint/detaint behaviourKathy Gray
2014-12-09Abstract tainting to almost always use taint, detaint, retaint, and binary_ta...Kathy Gray
2014-11-24improve value to string for debuggingKathy Gray
2014-11-24wibKathy Gray
2014-11-24Missing patterns in pattern matchesKathy Gray
2014-11-24coerce single element bit vector to bit for conditionalsKathy Gray
2014-11-23slice Only when I should and not to erase an register writeKathy Gray
2014-11-23Slice generated vectors when appropriateKathy Gray
2014-11-23Treat undef like unknown when needing a vector assignment of themKathy Gray
2014-11-23make interpreter work better with unknowns, make interp_inter_imp do better o...Kathy Gray
2014-11-23Print out value when pattern match failsKathy Gray
2014-11-23make interpreter now buildsKathy Gray
2014-11-23in progressKathy Gray
2014-11-22Add size of register to register for making appropriate unknown register_valuesKathy Gray
2014-11-21Fix bugs now documented in ppcmem notesKathy Gray
2014-11-20abstract previousKathy Gray
2014-11-20Use better type information for register inspectionsKathy Gray
2014-11-20Handle constructors with zero parameters better.Kathy Gray
2014-11-20Set vector start for more register writesKathy Gray
2014-11-20set more vector starts before sending them off to register writesKathy Gray
2014-11-19Correct off-by-one bug in type checking vector slicesKathy Gray
2014-11-18Fix various pattern match bugs; add a few functionsKathy Gray
2014-11-17Make env_union intelligently join two environments instead of just list append.Kathy Gray
2014-11-16Add overflow checking arithmetic operations. Fix various bugs that this exposedKathy Gray
2014-11-13numbers got to big for show, write my own versionKathy Gray
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-14 23:45:30 +0000