| Age | Commit message (Expand) | Author |
|---|
| 2014-08-30 | fix various bugs exposed by armv8 | Kathy Gray |
| 2014-08-28 | more bug fixes and adding more library functions | Kathy Gray |
| 2014-08-28 | fixes to bugs exposed by arm model | Kathy Gray |
| 2014-08-27 | Changes to get another (slightly larger) executable running; | Kathy Gray |
| 2014-08-26 | small changes for arm | Kathy Gray |
| 2014-08-24 | Use LEM_DIR environment variable if defined | Gabriel Kerneis |
| 2014-08-24 | Silence some OCaml warnings | Gabriel Kerneis |
| 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-19 | Add file that actually drives command line interpreter | 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-18 | tweak barrier kinds in interface (likely needs changes elsewhere) | Peter Sewell |
| 2014-08-14 | Small tweaks to interp_interface interface | Kathy Gray |
| 2014-08-13 | Update library functions | Kathy Gray |
| 2014-08-13 | FInd/fix a redundant case now that warnings are manageable | Kathy Gray |
| 2014-08-13 | Silence some lem warnings in compilation. | Kathy Gray |
| 2014-08-13 | Complete tainting phase 1 | Kathy Gray |
| 2014-08-13 | Kathy, Peter tweak Makefile for interactive demo and src/myocamlbuild.ml to t... | Peter Sewell |
| 2014-08-12 | taint tracking through most of interpreter | Kathy Gray |
| 2014-08-12 | more taint tracking, yet again | Kathy Gray |
| 2014-08-11 | More taint tracking. | Kathy Gray |
| 2014-08-09 | More tracking register dependency; another check point that compiles in under... | Kathy Gray |
| 2014-08-08 | Tracking register dependence. | Kathy Gray |
| 2014-08-07 | Fix bug introduced by last commit | Kathy Gray |
| 2014-08-07 | Track taints across machine calls. | Kathy Gray |
| 2014-08-05 | start tainting values with register dependencies | Kathy Gray |
| 2014-08-05 | missed file from last commit | Kathy Gray |
| 2014-08-05 | Support extracting length information into more functions | Kathy Gray |
| 2014-08-03 | Improve types for checking power.sail | Kathy Gray |
| 2014-08-01 | Add some more types for power.sail generation. | Kathy Gray |
| 2014-08-01 | Support separated memory read/write functions. | Kathy Gray |
| 2014-07-31 | start separating memory reads and writes | Kathy Gray |
| 2014-07-30 | working dec vectors | Kathy Gray |
| 2014-07-29 | A file can now declare that a default order is either inc or dec, and this wi... | 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 | Update make file to make clean from top level directory, and to not build all... | Kathy Gray |
| 2014-07-25 | Additional functions for interface | Kathy Gray |
| 2014-07-18 | Writing to concatenated aliases | Kathy Gray |
| 2014-07-16 | Reading from an alias to two concatenated registers; not writing yet. | Kathy Gray |
| 2014-07-16 | Get writing working for aliases in the interpreter, other than concatenation. | Kathy Gray |
| 2014-07-15 | Type check alias use in the left hand side of an assignment. Warning, interpr... | Kathy Gray |
| 2014-07-15 | Finishing up some of the support for Exit | Kathy Gray |
| 2014-07-15 | Add failing test for type of aliases | Gabriel Kerneis |
| 2014-07-14 | Add register to alias concatenation type | Kathy Gray |
