| Age | Commit message (Expand) | Author |
|---|
| 2014-11-23 | make interface build again, oops | Peter Sewell |
| 2014-11-23 | Merge commit 'bff8bd5' | Peter Sewell |
| 2014-11-23 | some coercions | Peter Sewell |
| 2014-11-23 | update instruction/istate decoding. | Kathy Gray |
| 2014-11-23 | wib | Peter Sewell |
| 2014-11-22 | Add size of register to register for making appropriate unknown register_values | Kathy Gray |
| 2014-11-22 | sorry, interp_interface didn't build. now it does | Peter Sewell |
| 2014-11-22 | move missing pieces from machineDefValueTypes into interp_interface | Peter Sewell |
| 2014-11-22 | Changing interface in step with Peter and ppcmem changes | Kathy Gray |
| 2014-11-19 | more equality instance definitions | Kathy Gray |
| 2014-11-19 | add value compare functions | Kathy Gray |
| 2014-11-19 | add byte_list_of_integer | Kathy Gray |
| 2014-11-18 | fix bad type annotation in interp_interface | Peter Sewell |
| 2014-11-07 | Add integer_of_byte_list : list word8 -> integer | Kathy Gray |
| 2014-11-07 | Fix types in num_to_bits | Kathy Gray |
| 2014-11-05 | add type class instantiations (required as reg_name currently contains big_ints) | Peter Sewell |
| 2014-11-05 | fix(?) a Big_int/int type error wrt trans_sail | Peter Sewell |
| 2014-11-04 | proposed split of decode into decode-to-instruction and instruction-to-instru... | Peter Sewell |
| 2014-11-04 | K,P debugging | Peter Sewell |
| 2014-11-03 | kathy,christopher,peter: talking about bitvectors and sc calls | Peter Sewell |
| 2014-10-31 | Add a num to bits function; start hooking up the power.ml file to the symbol/... | Kathy Gray |
| 2014-10-30 | use proper equality on register name type | Peter Sewell |
| 2014-10-30 | harmonise argument order | Peter Sewell |
| 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-10 | Functions for operating on bit and byte vectors from the interpreter interface | 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-07 | comment with suggested i_state_or_error type | Peter Sewell |
| 2014-10-03 | Add a decoding function to interp_interface and interp_inter_imp. (Note, this... | Kathy Gray |
| 2014-08-21 | Improve printing of function calls in stepper mode | Kathy Gray |
| 2014-08-19 | make test_power_interactive working again; now using interp_interface instead... | Kathy Gray |
| 2014-08-18 | Switch run_power to use interp_interface. Compilers and begins running, and t... | Kathy Gray |
| 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-07-25 | Add another type signature needed (we think but Susmit and I can't quite reme... | Kathy Gray |
| 2014-07-25 | Additional functions for interface | Kathy Gray |
| 2014-06-30 | Support for nondeterministic blocks | Kathy Gray |
| 2014-06-09 | Working towards evaluating with interp_exhaustive | Kathy Gray |
| 2014-05-21 | correct accidental capitalization of Interp in file name | Kathy Gray |
