| Age | Commit message (Expand) | Author |
|---|
| 2014-10-30 | Fix type error that Lem didn't catch with the interpreter alone | Kathy Gray |
| 2014-10-30 | Add parameter to interp_exhaust with type maybe (list (reg_name,value)) for r... | Kathy Gray |
| 2014-10-28 | Allow tracking of unknowns in interp library, removing the P hacks. | Kathy Gray |
| 2014-10-28 | function in progress take 2 | Kathy Gray |
| 2014-10-28 | hacks on taint tracking | Peter Sewell |
| 2014-10-28 | Function definition in progress | Kathy Gray |
| 2014-10-28 | K,P fix constructor-as-variable error | Peter Sewell |
| 2014-10-27 | Correct externally visible endianness bugs | Kathy Gray |
| 2014-10-14 | Iron out bugs in running new executable with branching; add new executable as... | Kathy Gray |
| 2014-10-10 | Functions for operating on bit and byte vectors from the interpreter interface | Kathy Gray |
| 2014-10-08 | Support exporting single bit and bool values to external bitvectors | Kathy Gray |
| 2014-10-07 | Connect interpreter to representation of instructions. | Kathy Gray |
| 2014-10-07 | Track dependencies on size of memory access | Kathy Gray |
| 2014-10-07 | kathy,peter: making decode integration with ppcmem2 typecheck | Peter Sewell |
| 2014-10-07 | Merge and make real Peter's comment type | Kathy Gray |
| 2014-10-07 | Put in type for instruction form for models; remove extra information from By... | Kathy Gray |
| 2014-10-03 | Add a decoding function to interp_interface and interp_inter_imp. (Note, this... | Kathy Gray |
| 2014-09-04 | Make exhaust run from the first breakpoint in the interactive interpreter | Kathy Gray |
| 2014-08-21 | Improve printing of function calls in stepper mode | Kathy Gray |
| 2014-08-21 | Allow command line interface to exhaustively evaluate the next step, printing... | Kathy Gray |
| 2014-08-20 | Add ability to track register dependencies in interactive stepper; thus testi... | Kathy Gray |
| 2014-08-19 | make test_power_interactive working again; now using interp_interface instead... | Kathy Gray |
| 2014-08-18 | Handling many register reads, writes, and memory reads. | Kathy Gray |
| 2014-08-18 | fix compile error | Kathy Gray |
| 2014-08-18 | Switch run_power to use interp_interface. Compilers and begins running, and t... | Kathy Gray |
| 2014-08-18 | wib? | Peter Sewell |
| 2014-08-18 | make interp_exhaustive not take an interp_mode argument | Peter Sewell |
| 2014-08-14 | Small tweaks to interp_interface interface | Kathy Gray |
| 2014-08-13 | Complete tainting phase 1 | Kathy Gray |
| 2014-08-11 | More taint tracking. | Kathy Gray |
| 2014-06-30 | Support for nondeterministic blocks | Kathy Gray |
| 2014-06-25 | Add support for memory barrier | Kathy Gray |
| 2014-06-09 | Working towards evaluating with interp_exhaustive | Kathy Gray |
| 2014-05-28 | Support stepped interpreting, and use normalisation instead of eval_nexp in c... | Kathy Gray |
| 2014-05-22 | A (hopefully) sufficient interface and implementation between memory and the ... | Kathy Gray |
| 2014-05-21 | More interface support; interp_inter_imp now compiling | Kathy Gray |
| 2014-05-20 | Fix interp compiling bug | Kathy Gray |
| 2014-05-20 | yet more interface | Kathy Gray |
| 2014-05-20 | More interface | Kathy Gray |
| 2014-05-14 | More interface update for connecting externally (interp_interface provides fu... | Kathy Gray |
