| Age | Commit message (Expand) | Author |
|---|
| 2014-09-09 | Small fix to printing | Kathy Gray |
| 2014-09-09 | Full power.sail now type checking and generating Lem. | Kathy Gray |
| 2014-09-09 | Get more constraints resolving in power.sail | Kathy Gray |
| 2014-09-05 | Add a sail mode for emacs, based heavily on tuareg | Kathy Gray |
| 2014-09-05 | refinements to constraint checking | Kathy Gray |
| 2014-09-04 | Refine overloading resolution with respect to vectors and ranges | Kathy Gray |
| 2014-09-04 | Make exhaust run from the first breakpoint in the interactive interpreter | Kathy Gray |
| 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-06 | Document directory structures, make file commands, basic usability in README ... | Kathy Gray |
| 2014-08-05 | Add some reasonable targets for the top level make file, including make test ... | 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 |
