| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2014-08-12 | taint tracking through most of interpreter | Kathy Gray | |
| Need to add cases for tracking a taint past a conditional check where possible; and then to actually generate them from reading registers. | |||
| 2014-08-12 | more taint tracking, yet again | Kathy Gray | |
| 2014-08-11 | More taint tracking. | Kathy Gray | |
| Catch interp_inter_imp up with interp. WARNING: This commit triggers an exponential performance bug in Lem. To alleviate this bug, I am running with a locally modified Lem that has line 1321 of lem/src/typed_ast.ml commented out (On my laptop, I gave up trying to compile after about 900 seconds; beefier computers May be able to run unmodified, I don't know) | |||
| 2014-08-09 | More tracking register dependency; another check point that compiles in ↵ | Kathy Gray | |
| under two minutes | |||
| 2014-08-08 | Tracking register dependence. | Kathy Gray | |
| Check point where Lem will compile interpreter in under 2 minutes | |||
| 2014-08-07 | Fix bug introduced by last commit | Kathy Gray | |
| 2014-08-07 | Track taints across machine calls. | Kathy Gray | |
| This introduced a bug in vector.sail, commented out and needs to be fixed. | |||
| 2014-08-05 | start tainting values with register dependencies | Kathy Gray | |
| 2014-08-01 | Support separated memory read/write functions. | Kathy Gray | |
| Also allows register writing functions to be on the left hand side of an assignment in the same way. The last parameter to a writing function is the value to be written, and should appear on the right hand side of an assignment expression. | |||
| 2014-07-30 | working dec vectors | Kathy Gray | |
| 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-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 | Finishing up some of the support for Exit | Kathy Gray | |
| 2014-07-14 | Add register to alias concatenation type | Kathy Gray | |
| 2014-07-14 | Initial support for aliases and exit through the type system and the ↵ | Kathy Gray | |
| interpreter. An alias can be read within the interpreter, but not written to. Exits aren't yet taken in the interpreter. | |||
| 2014-07-03 | Adjust behavior on Unknown values in pattern match to stop matching as soon ↵ | Kathy Gray | |
| as a pattern is matched without using an unknown; also causes full expansion on function calls with unknowns matched in patterns, however the local state is not reset. | |||
| 2014-07-02 | Fix ordering issue in vector-concat pattern matching | Gabriel Kerneis | |
| 2014-07-01 | Update case of EXTS | Gabriel Kerneis | |
| 2014-06-30 | Support for nondeterministic blocks | Kathy Gray | |
| 2014-06-25 | Add support for memory barrier | Kathy Gray | |
| 2014-06-25 | Add support for actions that read just a slice or single bit of a register | Kathy Gray | |
| 2014-06-24 | Get enumerations working in interpreter | Kathy Gray | |
| (plus a few other small related corrections) | |||
| 2014-06-24 | Get vector length for to_inc_vec and to_dec_vec from the type system after ↵ | Kathy Gray | |
| constraint solving (instead of hardcoding 64 as the default). | |||
| 2014-06-23 | Get indexed vectors, particularly with default values, working | Kathy Gray | |
| 2014-06-19 | Add mod:vec->range->vec | Gabriel Kerneis | |
| 2014-06-18 | Fix mod_vec in library | Gabriel Kerneis | |
| 2014-06-18 | Add definition of mod to lib | Kathy Gray | |
| 2014-06-18 | Make hex constants work; improve utility of casts for selecting overloaded ↵ | Kathy Gray | |
| functions | |||
| 2014-06-12 | Interpret when an unknown is inserted into the program by interp_exhaustive | Kathy Gray | |
| Short version of below; ready to hook interp_exhaustive up to something to test, but haven't yet. If an unknown value influences a pattern match within an expression, each passing pattern is found and the bodies strung together into a block with let expressions to bind the variables. In a function call, the cases are all collected but the support is not in place at the moment to evaluate them. If an unknown is the result of the cond expression in an if, the then and else case become a block. Unknowns within the interpreter propagate to more Unknowns; also for some but not all library functions yet. | |||
| 2014-06-11 | Equality between range and bit vector | Gabriel Kerneis | |
| The type-constraints are inspired from those for (+). They seem to work but I am not sure they make sense. The vector is interpreted as unsigned. | |||
| 2014-06-11 | Improve error message for missing library functions | Gabriel Kerneis | |
| 2014-06-10 | Minor color and build tweaks | Gabriel Kerneis | |
| 2014-06-10 | More colors | Gabriel Kerneis | |
| 2014-06-09 | Better, colored hole | Gabriel Kerneis | |
| 2014-06-09 | Improve interaction after chat with Peter | Gabriel Kerneis | |
| - remember mode (run, step or next) between instructions - display continuation by default in step mode - start in step mode by default - incompatible change: the shorthand for stack is now bt (=backtrace), since s becomes the shorthand for step - incompatible change: pressing enter now repeats the current mode, instead of "step" | |||
| 2014-06-09 | Support deinfix pretty-printing | Gabriel Kerneis | |
| 2014-06-09 | Add more stops in interpreter (stopping just at the point of each internal ↵ | Kathy Gray | |
| function call) Also turning off an annoying printf I left in. | |||
| 2014-06-09 | Working towards evaluating with interp_exhaustive | Kathy Gray | |
| 2014-06-09 | Add "continuation" command in interpreter | Gabriel Kerneis | |
| This displays the full continuation of the current breakpoint, which is basically the closest that we have from the "context" requested by Peter. Especially using it after the "execute" breakpoint shows the code of the instruction to be executed. | |||
| 2014-06-09 | Add switch to show/hide casts in interpreter | Gabriel Kerneis | |
| Use "show_casts" and "hide_casts" in interactive interpreter to display or show casts in expressions. Hidden by default (makes things much less readable otherwise). | |||
| 2014-06-09 | Merge branch 'for-dagstuhl' into master | Gabriel Kerneis | |
| Conflicts: src/lem_interp/interp_lib.lem src/lem_interp/run_interp.ml Remove "to_vec_safe" work-around | |||
| 2014-06-07 | Add optional overloading on expected return type to fix bug in constraint ↵ | Kathy Gray | |
| solving; get test_power running again by supporting the correct operations and bit operations | |||
| 2014-06-07 | exts returns bit[64] instead of nat | Gabriel Kerneis | |
| Update power.sail to new, pretty-printer-based version | |||
| 2014-06-07 | Improve help message | Gabriel Kerneis | |
| 2014-06-07 | Print mem and env | Gabriel Kerneis | |
| 2014-06-07 | Stack printing | Gabriel Kerneis | |
| 2014-06-07 | Print holes as [x] | Gabriel Kerneis | |
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |