index
:
sail
sail2
Formal specification language for ISAs
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
test
/
run_power.ml
Age
Commit message (
Expand
)
Author
2014-10-14
Iron out bugs in running new executable with branching; add new executable as...
Kathy Gray
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 p...
Kathy Gray
2014-09-29
add run_power to last commit
Kathy Gray
2014-08-20
Add ability to track register dependencies in interactive stepper; thus testi...
Kathy Gray
2014-08-19
make test_power_interactive working again; now using interp_interface instead...
Kathy Gray
2014-08-18
Handling many register reads, writes, and memory reads.
Kathy Gray
2014-08-18
Switch run_power to use interp_interface. Compilers and begins running, and t...
Kathy Gray
2014-08-01
Support separated memory read/write functions.
Kathy Gray
2014-06-24
Get vector length for to_inc_vec and to_dec_vec from the type system after co...
Kathy Gray
2014-06-11
power.sail: store mode64bit in a bool register
Gabriel Kerneis
2014-06-09
Improve interaction after chat with Peter
Gabriel Kerneis
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
2014-02-28
Fix endianness
Gabriel Kerneis
2014-02-28
Fetch-decode POWER interpreter
Gabriel Kerneis
2014-02-28
Load ELF sections to virtual memory addresses
Gabriel Kerneis
2014-02-27
Load POWER binary into interpreter's memory
Gabriel Kerneis