summaryrefslogtreecommitdiff
path: root/src/lem_interp
AgeCommit message (Collapse)Author
2015-02-27Fix a series of errors leading to the first ARM instruction not running.Kathy Gray
Including: Correct loss of constraints between declared constraints, pattern constraints and expression body constraints Handle insertion of dependent parameters in the case of unit parameters Add a case to how ifields are translated to permit numbers as well as bits and bitvectors Expand interpreter to actually handle user-defined functions on the left had side of the assignment expression.
2015-01-28take sign into account on whether a number fits into the number of available ↵Kathy Gray
bits or not
2015-01-20Fix sparse vector fupdate slicing, assigning values in the right order and ↵Kathy Gray
with the correct bit number
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
Fix bug allowing function types in too many places
2014-12-11Carry out changeKathy Gray
2014-12-11Many fixes, primarily dealing with undefinedKathy Gray
Including: turn an undefined literal into a vector of undefined values of the correct length handle sparse vector unspecified default values as undefined literals allow global lets to call library functions
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
Also fixed for loop evaluation
2014-12-09Add quite important detaintKathy Gray
2014-12-09Abstract tainting to almost always use taint, detaint, retaint, and ↵Kathy Gray
binary_taint functions instead of V_track directly. Annoyingly, Lem won't let one section of code use these functions, complaining of too much polymorphism. Also, might fix arithmetic
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
2014-11-25refine quot and modKathy Gray
2014-11-24Add new quot and mod operatorsKathy Gray
2014-11-24don't to_num a num...Kathy Gray
2014-11-24Give a better answer on overflow with two vectors of unknowns (i.e. unknown ↵Kathy Gray
instead of 0)
2014-11-24Correctly cast between 1 and a single bitKathy Gray
2014-11-24improve value to string for debuggingKathy Gray
2014-11-24wibKathy Gray
2014-11-24Missing patterns in pattern matchesKathy Gray
2014-11-24Updated libraryKathy Gray
2014-11-24wibKathy Gray
2014-11-24Signed and unsigned comparisonsKathy Gray
2014-11-24coerce single element bit vector to bit for conditionalsKathy Gray
2014-11-23fix logfile printingPeter Sewell
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 ↵Kathy Gray
on coercions
2014-11-23Print out value when pattern match failsKathy Gray
2014-11-23fix register-from-address start intPeter Sewell
2014-11-23make pretty_interp be back in sync with pretty_printKathy Gray
2014-11-23some Ord instance classesKathy Gray
generated by cgit v1.2.3 (git 2.25.1) at 2026-05-02 12:37:27 +0000