| Age | Commit message (Expand) | Author |
|---|
| 2014-11-05 | Correct bug treating unsigned values as signed in arith operations | Kathy Gray |
| 2014-11-05 | Fix bug on decoding Sc | 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 | Merge branch 'master' of bitbucket.org:Peter_Sewell/l2 | Peter Sewell |
| 2014-11-04 | proposed split of decode into decode-to-instruction and instruction-to-instru... | Peter Sewell |
| 2014-11-04 | Read parts of a register, not always just the whole thing | Kathy Gray |
| 2014-11-04 | K,P debugging | Peter Sewell |
| 2014-11-04 | Fixes bugs: | Kathy Gray |
| 2014-11-04 | Fix setting of initial position in a vector after a slice | Kathy Gray |
| 2014-11-04 | Merge branch 'master' of bitbucket.org:Peter_Sewell/l2 | Peter Sewell |
| 2014-11-04 | K,P better instruction pp | Peter Sewell |
| 2014-11-04 | setup printing for memory on tests | Kathy Gray |
| 2014-11-03 | pp of initial index of bitvector | Peter Sewell |
| 2014-11-03 | kathy,christopher,peter: talking about bitvectors and sc calls | Peter Sewell |
| 2014-11-01 | extend interface | 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 | Pull in updated elf model, make build work again (at least for me) | Kathy Gray |
| 2014-10-30 | Merge branch 'master' of bitbucket.org:Peter_Sewell/l2 | Peter Sewell |
| 2014-10-30 | more compact pp of binary values (following verilog literal syntax) | Peter Sewell |
| 2014-10-30 | Fix type error that Lem didn't catch with the interpreter alone | Kathy Gray |
| 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-30 | Add case to neg for interp_lib | Kathy Gray |
| 2014-10-29 | tweak value pp (remove byte count) | Peter Sewell |
| 2014-10-28 | taint tracking unknown in interpreter | 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 | Add proper tag to constructors when storing continuation | Kathy Gray |
| 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-27 | debugging temp | Kathy Gray |
| 2014-10-27 | add objdump disassembly of hello4 executable | Peter Sewell |
| 2014-10-27 | source and assembly of test hello4 | Kathy Gray |
| 2014-10-27 | Add printing for instruction form | Kathy Gray |
| 2014-10-22 | Update printing for testing, fix some bugs found along the way | Kathy Gray |
| 2014-10-20 | Update the printing interface for ppcmem as opposed to run_model functionality | Kathy Gray |
| 2014-10-20 | Catch more types in constructor parameters | Kathy Gray |
| 2014-10-20 | Separate out printing facility from model driver into printing_functions int... | Kathy Gray |
| 2014-10-16 | bug fixes to run test from Christopher's tests | Kathy Gray |
| 2014-10-15 | Get the actual start address instead of the address of the start address | Kathy Gray |
| 2014-10-15 | Fixup printing on dumping memory to a lem file | Kathy Gray |
| 2014-10-15 | Add ability to print out binary as lem file of memory dump instead of running... | Kathy Gray |
| 2014-10-14 | Iron out bugs in running new executable with branching; add new executable as... | Kathy Gray |
| 2014-10-10 | make run_power.ml compile again | Kathy Gray |
| 2014-10-10 | Functions for operating on bit and byte vectors from the interpreter interface | Kathy Gray |
| 2014-10-08 | Merge. | Stephen Kell |
