| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2014-08-18 | Switch run_power to use interp_interface. Compilers and begins running, and ↵ | Kathy Gray | |
| then hits an error. So still in progress Note: moved barrier kind changes to interp_interface, along with other memory kinds | |||
| 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 | |
| Also adding more comments and getting the ml files built in the build process | |||
| 2014-08-13 | Complete tainting phase 1 | Kathy Gray | |
| Now when mode.track_values is true, on every register read, the returned value is tainted with the register it came from. This tracking is followed through every operation the interperter touches (except library functions, to be completed next). One a memory operation involving a tracked value, there is optionally list of registers that value arose from in the memory request (i.e. maybe (list reg_name)). | |||
| 2014-07-25 | Add another type signature needed (we think but Susmit and I can't quite ↵ | Kathy Gray | |
| remember why) for ppcmem integration. | |||
| 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 | |
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |