summaryrefslogtreecommitdiff
path: root/src/test/run_power.ml
AgeCommit message (Expand)Author
2018-08-01Remove old test directory in src/testAlasdair Armstrong
2014-11-19Correct off-by-one bug in type checking vector slicesKathy Gray
2014-11-04setup printing for memory on testsKathy Gray
2014-10-31Add a num to bits function; start hooking up the power.ml file to the symbol/...Kathy Gray
2014-10-30Pull in updated elf model, make build work again (at least for me)Kathy Gray
2014-10-27Correct externally visible endianness bugsKathy Gray
2014-10-27debugging tempKathy Gray
2014-10-27Add printing for instruction formKathy Gray
2014-10-22Update printing for testing, fix some bugs found along the wayKathy Gray
2014-10-20Separate out printing facility from model driver into printing_functions int...Kathy Gray
2014-10-16bug fixes to run test from Christopher's testsKathy Gray
2014-10-15Get the actual start address instead of the address of the start addressKathy Gray
2014-10-15Fixup printing on dumping memory to a lem fileKathy Gray
2014-10-15Add ability to print out binary as lem file of memory dump instead of running...Kathy Gray
2014-10-14Iron out bugs in running new executable with branching; add new executable as...Kathy Gray
2014-10-10make run_power.ml compile againKathy Gray
2014-09-30Executing an actual elf fileKathy Gray
2014-09-29Connect up to elf model; which doesn't seem to be representing the elf file p...Kathy Gray
2014-09-29add run_power to last commitKathy Gray
2014-08-20Add ability to track register dependencies in interactive stepper; thus testi...Kathy Gray
2014-08-19make test_power_interactive working again; now using interp_interface instead...Kathy Gray
2014-08-18Handling many register reads, writes, and memory reads.Kathy Gray
2014-08-18Switch run_power to use interp_interface. Compilers and begins running, and t...Kathy Gray
2014-08-01Support separated memory read/write functions.Kathy Gray
2014-06-24Get vector length for to_inc_vec and to_dec_vec from the type system after co...Kathy Gray
2014-06-11power.sail: store mode64bit in a bool registerGabriel Kerneis
2014-06-09Improve interaction after chat with PeterGabriel Kerneis
2014-06-07Don't use cycle for fetch-decode-executeGabriel Kerneis
2014-06-07Pattern-matching exhaustivenessGabriel Kerneis
2014-06-06Add wrapper script and --interactive for demoGabriel Kerneis
2014-06-05Shorten debug output for powerGabriel Kerneis
2014-06-05Enable single-stepping for test/power.sailGabriel Kerneis
2014-04-04Cosmetic improvements (statistics, --quiet)Gabriel Kerneis
2014-04-04Improve Power executionGabriel Kerneis
2014-02-28Fix endiannessGabriel Kerneis
2014-02-28Fetch-decode POWER interpreterGabriel Kerneis
2014-02-28Load ELF sections to virtual memory addressesGabriel Kerneis
2014-02-27Load POWER binary into interpreter's memoryGabriel Kerneis
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-02 18:12:58 +0000