| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2014-08-24 | Use LEM_DIR environment variable if defined | Gabriel Kerneis | |
| LEM_DIR must contain the *absolute* path the Lem directory. If not defined, the previous behaviour is retained: a relative path is used, assuming Lem is in bitbucket/lem. | |||
| 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, ↵ | Kathy Gray | |
| printing the events. Note: this commit switches back to a standard lem build located in ~/bitbucket/lem/lem | |||
| 2014-08-20 | Add ability to track register dependencies in interactive stepper; thus ↵ | Kathy Gray | |
| testing register tracking/tainting | |||
| 2014-08-19 | make test_power_interactive working again; now using interp_interface ↵ | Kathy Gray | |
| instead of internal actions | |||
| 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 | |
| There are problems that warrant discussion about handling special registers that hold records or data structures previously. | |||
| 2014-08-18 | fix compile error | Kathy Gray | |
| 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 | 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 | |
| Also adding more comments and getting the ml files built in the build process | |||
| 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 | |
| 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-08-13 | Kathy, Peter tweak Makefile for interactive demo and src/myocamlbuild.ml to ↵ | Peter Sewell | |
| temporarily use other version of Lem | |||
| 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-06 | Document directory structures, make file commands, basic usability in README ↵ | Kathy Gray | |
| file. | |||
| 2014-08-05 | Add some reasonable targets for the top level make file, including make test ↵ | Kathy Gray | |
| and make power. | |||
| 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 | |
| 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-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 ↵ | Kathy Gray | |
| will be reflected in short hand type syntax, inc is still the default if undeclared So: default order dec register bit[32] t (* Declares t as a decreasing vector, starting at 31 on the left and decreasing to 0 *) default order inc register bit[32] o (* Declares o as an increasing vector, starting at 0 on the left and increasing to 31 *) It is presently possible to change the default mid-file; this is almost certainly bad and I will turn it into an error soon. | |||
| 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 | Start of setting a default order for literal vectors and for vector ↵ | Kathy Gray | |
| shorthand syntax, needed for arm spec | |||
| 2014-07-25 | Update make file to make clean from top level directory, and to not build ↵ | Kathy Gray | |
| all tests on all. Instead there is a make full command to make all the tests as well as everything. | |||
| 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, ↵ | Kathy Gray | |
| interpreter still doesn't work with writes. | |||
| 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 | |
| File "test/regbits.sail", line 23, character 3 to line 23, character 4 Type error: Can only assign to identifiers with type register or reg, found identifier CA with type bit | |||
| 2014-07-14 | Add register to alias concatenation type | Kathy Gray | |
| 2014-07-14 | Alias pretty-printing | Gabriel Kerneis | |
| 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. | |||
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |