summaryrefslogtreecommitdiff
path: root/src/lem_interp/interp.lem
AgeCommit message (Expand)Author
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
2014-11-06Refactor printing to display the contents the [_] and to better format bit ve...Kathy Gray
2014-11-05Fix bug on decoding ScKathy Gray
2014-11-04Read parts of a register, not always just the whole thingKathy Gray
2014-11-04Fixes bugs:Kathy Gray
2014-11-04Fix setting of initial position in a vector after a sliceKathy Gray
2014-10-28taint tracking unknown in interpreterKathy Gray
2014-10-28hacks on taint trackingPeter Sewell
2014-10-28Add proper tag to constructors when storing continuationKathy Gray
2014-10-16bug fixes to run test from Christopher's testsKathy Gray
2014-10-07Connect interpreter to representation of instructions.Kathy Gray
2014-10-07Put in type for instruction form for models; remove extra information from By...Kathy Gray
2014-09-04Make exhaust run from the first breakpoint in the interactive interpreterKathy Gray
2014-08-26small changes for armKathy Gray
2014-08-21Improve printing of function calls in stepper modeKathy Gray
2014-08-18Handling many register reads, writes, and memory reads.Kathy Gray
2014-08-18Switch run_power to use interp_interface. Compilers and begins running, and t...Kathy Gray
2014-08-18tweak barrier kinds in interface (likely needs changes elsewhere)Peter Sewell
2014-08-13FInd/fix a redundant case now that warnings are manageableKathy Gray
2014-08-12taint tracking through most of interpreterKathy Gray
2014-08-12more taint tracking, yet againKathy Gray
2014-08-11More taint tracking.Kathy Gray
2014-08-09More tracking register dependency; another check point that compiles in under...Kathy Gray
2014-08-08Tracking register dependence.Kathy Gray
2014-08-07Fix bug introduced by last commitKathy Gray
2014-08-07Track taints across machine calls.Kathy Gray
2014-08-05start tainting values with register dependenciesKathy Gray
2014-08-01Support separated memory read/write functions.Kathy Gray
2014-07-30working dec vectorsKathy Gray
2014-07-18Writing to concatenated aliasesKathy Gray
2014-07-16Reading from an alias to two concatenated registers; not writing yet.Kathy Gray
2014-07-16Get writing working for aliases in the interpreter, other than concatenation.Kathy Gray
2014-07-14Add register to alias concatenation typeKathy Gray
2014-07-14Initial support for aliases and exit through the type system and the interpre...Kathy Gray
2014-07-03Adjust behavior on Unknown values in pattern match to stop matching as soon a...Kathy Gray
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-28 03:49:47 +0000