| Age | Commit message (Expand) | Author |
|---|
| 2015-01-20 | Fix sparse vector fupdate slicing, assigning values in the right order and wi... | Kathy Gray |
| 2015-01-16 | more for loop corrections, as well as pattern match error | Kathy Gray |
| 2015-01-15 | Fix for loop error causing premature stopping | Kathy Gray |
| 2014-12-18 | Bring interpreter upto date with current Lem | Kathy Gray |
| 2014-12-11 | Many fixes, primarily dealing with undefined | Kathy Gray |
| 2014-12-10 | Fix mismatch errors in interpreter, mostly relating to taint/detaint behaviour | Kathy Gray |
| 2014-12-09 | Abstract tainting to almost always use taint, detaint, retaint, and binary_ta... | Kathy Gray |
| 2014-11-24 | improve value to string for debugging | Kathy Gray |
| 2014-11-24 | wib | Kathy Gray |
| 2014-11-24 | Missing patterns in pattern matches | Kathy Gray |
| 2014-11-24 | coerce single element bit vector to bit for conditionals | Kathy Gray |
| 2014-11-23 | slice Only when I should and not to erase an register write | Kathy Gray |
| 2014-11-23 | Slice generated vectors when appropriate | Kathy Gray |
| 2014-11-23 | Treat undef like unknown when needing a vector assignment of them | Kathy Gray |
| 2014-11-23 | make interpreter work better with unknowns, make interp_inter_imp do better o... | Kathy Gray |
| 2014-11-23 | Print out value when pattern match fails | Kathy Gray |
| 2014-11-23 | make interpreter now builds | Kathy Gray |
| 2014-11-23 | in progress | Kathy Gray |
| 2014-11-22 | Add size of register to register for making appropriate unknown register_values | Kathy Gray |
| 2014-11-21 | Fix bugs now documented in ppcmem notes | Kathy Gray |
| 2014-11-20 | abstract previous | Kathy Gray |
| 2014-11-20 | Use better type information for register inspections | Kathy Gray |
| 2014-11-20 | Handle constructors with zero parameters better. | Kathy Gray |
| 2014-11-20 | Set vector start for more register writes | Kathy Gray |
| 2014-11-20 | set more vector starts before sending them off to register writes | Kathy Gray |
| 2014-11-19 | Correct off-by-one bug in type checking vector slices | Kathy Gray |
| 2014-11-18 | Fix various pattern match bugs; add a few functions | Kathy Gray |
| 2014-11-17 | Make env_union intelligently join two environments instead of just list append. | Kathy Gray |
| 2014-11-16 | Add overflow checking arithmetic operations. Fix various bugs that this exposed | Kathy Gray |
| 2014-11-13 | numbers got to big for show, write my own version | Kathy Gray |
| 2014-11-06 | Refactor printing to display the contents the [_] and to better format bit ve... | Kathy Gray |
| 2014-11-05 | Fix bug on decoding Sc | Kathy Gray |
| 2014-11-04 | Read parts of a register, not always just the whole thing | Kathy Gray |
| 2014-11-04 | Fixes bugs: | Kathy Gray |
| 2014-11-04 | Fix setting of initial position in a vector after a slice | Kathy Gray |
| 2014-10-28 | taint tracking unknown in interpreter | Kathy Gray |
| 2014-10-28 | hacks on taint tracking | Peter Sewell |
| 2014-10-28 | Add proper tag to constructors when storing continuation | Kathy Gray |
| 2014-10-16 | bug fixes to run test from Christopher's tests | Kathy Gray |
| 2014-10-07 | Connect interpreter to representation of instructions. | Kathy Gray |
| 2014-10-07 | Put in type for instruction form for models; remove extra information from By... | Kathy Gray |
| 2014-09-04 | Make exhaust run from the first breakpoint in the interactive interpreter | Kathy Gray |
| 2014-08-26 | small changes for arm | Kathy Gray |
| 2014-08-21 | Improve printing of function calls in stepper mode | Kathy Gray |
| 2014-08-18 | Handling many register reads, writes, and memory reads. | Kathy Gray |
| 2014-08-18 | Switch run_power to use interp_interface. Compilers and begins running, and t... | Kathy Gray |
| 2014-08-18 | tweak barrier kinds in interface (likely needs changes elsewhere) | Peter Sewell |
| 2014-08-13 | FInd/fix a redundant case now that warnings are manageable | Kathy Gray |
| 2014-08-12 | taint tracking through most of interpreter | Kathy Gray |
| 2014-08-12 | more taint tracking, yet again | Kathy Gray |
