summaryrefslogtreecommitdiff
path: root/src/lem_interp
AgeCommit message (Expand)Author
2015-05-19Add signed and unsigned functions, converting bit vectors to appropriate numb...Kathy Gray
2015-05-18Match cases better in bit vector printing (i.e. allow undef, and taint)Kathy Gray
2015-05-18expand unsigned comparisonsKathy Gray
2015-05-18Add equality check for addressesKathy Gray
2015-05-18Add comparison for addressKathy Gray
2015-05-17extend a missing caseKathy Gray
2015-05-16extend 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-15actually match depend effect in has_effect functionKathy Gray
2015-05-13Add dynamic footprint dependency check event/outcomeKathy Gray
2015-05-05allow undefined in mask for sizeKathy 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-14Fix bug showing up in power.sail's compilation to Lem causing unknown values ...Kathy Gray
2015-04-07Move interpreter to zarithKathy Gray
2015-03-26Add subtraction to nexp grammar (removing the need to do a + (-1 * b))Kathy Gray
2015-03-19added constructors for aarch64 read_kind and write_kindShaked Flur
2015-03-18Use boolean on write where applicableKathy 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-28take sign into account on whether a number fits into the number of available ...Kathy Gray
2015-01-20Fix sparse vector fupdate slicing, assigning values in the right order and wi...Kathy Gray
2015-01-17update divisionKathy Gray
2015-01-16more for loop corrections, as well as pattern match errorKathy Gray
2015-01-15signed subtractionKathy Gray
2015-01-15Fix for loop error causing premature stoppingKathy Gray
2015-01-15Add support for overflow detecting subtractionKathy Gray
2015-01-14correct where overflow checking should happen on multiplication arithmeticKathy Gray
2015-01-14correct wrongly used variable in arith operationsKathy Gray
2015-01-14more carry outKathy Gray
2015-01-14carry outKathy Gray
2014-12-18Bring interpreter upto date with current LemKathy Gray
2014-12-16Fix bug on nat/type/order/effect variable bindingKathy Gray
2014-12-11Carry out changeKathy Gray
2014-12-11Many fixes, primarily dealing with undefinedKathy Gray
2014-12-10Fix negKathy Gray
2014-12-10Fix fromJust of Nothing error in multiplicationKathy Gray
2014-12-10Fix mismatch errors in interpreter, mostly relating to taint/detaint behaviourKathy Gray
2014-12-09Add quite important detaintKathy Gray
2014-12-09Abstract tainting to almost always use taint, detaint, retaint, and binary_ta...Kathy Gray
2014-11-30clean up ghastly pre-submission pp hackeryPeter Sewell
2014-11-26Fix negKathy Gray
2014-11-25more changes to quot and modKathy Gray
2014-11-25another carry out attemptKathy Gray
2014-11-25improved divisionKathy Gray
2014-11-25wibKathy Gray
2014-11-25carry out is computedKathy Gray
2014-11-25another mod and quot definitionKathy Gray
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-27 21:14:11 +0000