| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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-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 | 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. | |||
| 2014-07-08 | add additional cases for nexp normalisation | Kathy Gray | |
| 2014-07-04 | Relax constraints for quot_vec | Gabriel Kerneis | |
| 2014-07-04 | Correct error of forgetting type information that was allowing more programs ↵ | Kathy Gray | |
| than it should have | |||
| 2014-07-04 | Update power.sail | Gabriel Kerneis | |
| 2014-07-04 | Fix pretty printer for verbose printing | Kathy Gray | |
| 2014-07-04 | Force end-of-input when parsing expression list | Gabriel Kerneis | |
| 2014-07-03 | Parse list of expressions in Sail_lib | Gabriel Kerneis | |
| 2014-07-03 | Introduce a Sail library | Gabriel Kerneis | |
| Used by the Power XML extraction tool. | |||
| 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 | Support implicit parameters, to get the length of an expected vector into ↵ | Kathy Gray | |
| functions like exts | |||
| 2014-07-02 | Update Power example | Gabriel Kerneis | |
| 2014-07-02 | Fix ordering issue in vector-concat pattern matching | Gabriel Kerneis | |
| 2014-07-01 | Better pretty-printing for vectors | Gabriel Kerneis | |
| 2014-07-01 | Update case of EXTS | Gabriel Kerneis | |
| 2014-06-30 | Support for nondeterministic blocks | Kathy Gray | |
| 2014-06-27 | Update type conformance for overloading resolution on order arguments. | Kathy Gray | |
| Also, correctly type check nondet blocks | |||
| 2014-06-26 | range -> vector coerces only on constants and explicit casts | Kathy Gray | |
| 2014-06-26 | Remove .native in make clean | Gabriel Kerneis | |
| 2014-06-26 | Adding better support for unspecified values in indexed vectors | Kathy Gray | |
| Also begining to add support for nondeterministic blocks and cleaning up some of the Many warnings on pattern matches | |||
| 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 | |
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |