summaryrefslogtreecommitdiff
path: root/src/lem_interp/interp.lem
AgeCommit message (Expand)Author
2016-04-19Make value treatment on memory write calls uniform for function call vs assig...Kathy Gray
2016-04-18More fixes to interp with regards to warnings and debugging infoKathy Gray
2016-04-13Remove some warnings, in progress.Kathy Gray
2016-03-30Small missing cases in patternsKathy Gray
2016-01-28Support exit and assert better in sequential interpreter and general interpre...Kathy Gray
2016-01-27Make mips build againKathy Gray
2016-01-26Stop turning all decreasing vectors into indexed ones : i.e. let's print them...Kathy Gray
2016-01-26Fix some bugs in writing registers with slices in the sequential interpreterKathy Gray
2016-01-20Assorted bug fixes that gets one mips instruction running (then fails for exp...Kathy Gray
2016-01-20Decoding a mips instruction :)Kathy Gray
2016-01-19Put None and Some into interpreter environmentsKathy Gray
2016-01-11Interpreter that understands assertKathy Gray
2015-12-08wreg effects and tags now proper for LEXP_field, LEXP_vector LEXP_vector_rang...Kathy Gray
2015-12-07Interpreter working again with updated tag, effects, and types behaviourKathy Gray
2015-10-08augment annot of interpreterKathy Gray
2015-08-06Update analysis to merge states and values after branches taken due to unknow...Kathy Gray
2015-07-24Turn back off new analysis style until it worksKathy Gray
2015-07-24Begin doing better analysis on case splits over unknownsKathy Gray
2015-07-20minor fixesKathy Gray
2015-07-02fix match_pattern reverse bugKathy Gray
2015-07-01fix equality comparisonKathy Gray
2015-07-01Use set instead of list for tainted valuesKathy Gray
2015-06-30Fix updating dec vector start bugsKathy Gray
2015-06-26Better handling of literal true and false (turn them into the expected bit0 a...Kathy Gray
2015-06-24Support new write memory eventsKathy Gray
2015-06-21Taint printing changes: make it for debugging only, except when showing all e...Kathy Gray
2015-06-18Consistent handling of constructors with no parametersKathy Gray
2015-06-17fix missed pattern caseKathy Gray
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-08 09:38:20 +0000