summaryrefslogtreecommitdiff
path: root/src/lem_interp/interp_lib.lem
AgeCommit message (Expand)Author
2016-08-10Missing case in libKathy Gray
2016-08-06Add duplicate_bits to libKathy Gray
2016-07-01Add missing case to arith_op_no0Kathy Gray
2016-06-02Fix most_significant case omissionKathy Gray
2016-04-27expand supported patterns for most_significantKathy Gray
2016-04-18More fixes to interp with regards to warnings and debugging infoKathy Gray
2016-04-12Reduce warnings for interpreter. Removed all pattern match warnings for inter...Kathy Gray
2016-03-16Fix case of missing undef options in compareKathy Gray
2016-02-05fix typo in kathy's last commit.Robert Norton
2016-02-05change signed mod behaviour for numbers to match that of vectorsKathy Gray
2016-02-04Add mod_sKathy Gray
2016-02-04add forgotten lib bindingKathy Gray
2016-01-28Support exit and assert better in sequential interpreter and general interpre...Kathy Gray
2016-01-20Assorted bug fixes that gets one mips instruction running (then fails for exp...Kathy Gray
2016-01-13Closes issue #28 and issue #27Kathy Gray
2015-10-23slight change to libraryKathy Gray
2015-10-05More library functionsKathy Gray
2015-07-24Begin doing better analysis on case splits over unknownsKathy Gray
2015-06-29Fix pattern match errorKathy Gray
2015-06-29Return unknown for a == unknown or unknown == a. Fixes issue #15Kathy Gray
2015-06-05Manually turn negative nat values to 0 instead of letting Lem use an abs call...Kathy Gray
2015-06-02changes to compare and equality instances to make lem generate isabelle outputcp526
2015-06-02Fix errors around ARM not being able to decode due to instruction_extractor b...Kathy Gray
2015-05-26small bug fixesKathy Gray
2015-05-19Add signed and unsigned functions, converting bit vectors to appropriate numb...Kathy Gray
2015-05-16extend a missing caseKathy Gray
2015-05-13Add dynamic footprint dependency check event/outcomeKathy Gray
2015-05-05allow undefined in mask for sizeKathy 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-17Correct directionality in interpreter. Now the interpreter shouldn't use inc ...Kathy Gray
2015-03-15Many changes:Kathy Gray
2015-01-28take sign into account on whether a number fits into the number of available ...Kathy Gray
2015-01-17update divisionKathy Gray
2015-01-15signed subtractionKathy 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
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-08 10:52:46 +0000