| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2014-11-19 | Correct off-by-one bug in type checking vector slices | Kathy Gray | |
| Convert sparse vectors into full-fledged vectors more frequently and on export to memory system | |||
| 2014-11-04 | setup printing for memory on tests | Kathy Gray | |
| 2014-10-31 | Add a num to bits function; start hooking up the power.ml file to the ↵ | Kathy Gray | |
| symbol/memory address list. | |||
| 2014-10-30 | Pull in updated elf model, make build work again (at least for me) | Kathy Gray | |
| 2014-10-27 | Correct externally visible endianness bugs | Kathy Gray | |
| 2014-10-27 | debugging temp | Kathy Gray | |
| 2014-10-27 | Add printing for instruction form | Kathy Gray | |
| 2014-10-22 | Update printing for testing, fix some bugs found along the way | Kathy Gray | |
| 2014-10-20 | Separate out printing facility from model driver into printing_functions ↵ | Kathy Gray | |
| interface | |||
| 2014-10-16 | bug fixes to run test from Christopher's tests | Kathy Gray | |
| 2014-10-15 | Get the actual start address instead of the address of the start address | Kathy Gray | |
| 2014-10-15 | Fixup printing on dumping memory to a lem file | Kathy Gray | |
| 2014-10-15 | Add ability to print out binary as lem file of memory dump instead of ↵ | Kathy Gray | |
| running binary; to generate files for Peter to load, in the first instance. | |||
| 2014-10-14 | Iron out bugs in running new executable with branching; add new executable ↵ | Kathy Gray | |
| as well. | |||
| 2014-10-10 | make run_power.ml compile again | Kathy Gray | |
| 2014-09-30 | Executing an actual elf file | Kathy Gray | |
| 2014-09-29 | Connect up to elf model; which doesn't seem to be representing the elf file ↵ | Kathy Gray | |
| properly yet but run_power.native is connected to it | |||
| 2014-09-29 | add run_power to last commit | Kathy Gray | |
| 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-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 | 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-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-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-11 | power.sail: store mode64bit in a bool register | Gabriel Kerneis | |
| This is now possible because we handle coercions better. | |||
| 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-07 | Don't use cycle for fetch-decode-execute | Gabriel Kerneis | |
| 2014-06-07 | Pattern-matching exhaustiveness | Gabriel Kerneis | |
| 2014-06-06 | Add wrapper script and --interactive for demo | Gabriel Kerneis | |
| 2014-06-05 | Shorten debug output for power | Gabriel Kerneis | |
| 2014-06-05 | Enable single-stepping for test/power.sail | Gabriel Kerneis | |
| 2014-04-04 | Cosmetic improvements (statistics, --quiet) | Gabriel Kerneis | |
| 2014-04-04 | Improve Power execution | Gabriel Kerneis | |
| - Move FDE loop to the OCaml side of the Power model (avoid leaking memory due to lack of TCO in interpreter) - Display cycle count - Check the value of CIA at the end of each cycle and stop if it is equal to the initial value of LR, returning the value in GPR3. | |||
| 2014-02-28 | Fix endianness | Gabriel Kerneis | |
| In fact, increasing order is big-endian, not little-endian. This is good news for us, because it means we do not need any switch for the POWER spec. | |||
| 2014-02-28 | Fetch-decode POWER interpreter | Gabriel Kerneis | |
| Many limitations and bugs currently, but loads binary and decodes opcodes correctly (using endianness hacks). Disabled in the default test suite (but still compiled), run "make test_power" to try it. | |||
| 2014-02-28 | Load ELF sections to virtual memory addresses | Gabriel Kerneis | |
| Roughly 110KB/s (~5 seconds to load "hello" test). | |||
| 2014-02-27 | Load POWER binary into interpreter's memory | Gabriel Kerneis | |
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |