summaryrefslogtreecommitdiff
path: root/src/test/power.sail
AgeCommit message (Expand)Author
2016-10-10changed the way registers/register fields work, fixes, nicer names for new le...Christopher Pulte
2016-09-21fixesChristopher Pulte
2016-09-07push some lem pp changesChristopher Pulte
2016-07-12sail-to-lem and lem library fixesChristopher
2015-12-21fixes, pp progressChristopher
2015-12-15better location informationChristopher
2015-11-05some progress on lem backend: rewrite away mutable variable assignments, rewr...Christopher Pulte
2014-11-27updated test for power.sailKathy Gray
2014-11-19Correct off-by-one bug in type checking vector slicesKathy Gray
2014-11-12Stop overzealously looking for constructors, only when the type suggests toKathy Gray
2014-11-04Fixes bugs:Kathy Gray
2014-10-22Update printing for testing, fix some bugs found along the wayKathy Gray
2014-10-16bug fixes to run test from Christopher's testsKathy Gray
2014-10-14Iron out bugs in running new executable with branching; add new executable as...Kathy Gray
2014-08-27Changes to get another (slightly larger) executable running;Kathy Gray
2014-08-26small changes for armKathy Gray
2014-08-20Add ability to track register dependencies in interactive stepper; thus testi...Kathy Gray
2014-08-19Add file that actually drives command line interpreterKathy Gray
2014-08-18Handling many register reads, writes, and memory reads.Kathy Gray
2014-08-01Support separated memory read/write functions.Kathy Gray
2014-07-04Update power.sailGabriel Kerneis
2014-07-02Update Power exampleGabriel Kerneis
2014-06-11power.sail: store mode64bit in a bool registerGabriel Kerneis
2014-06-11Update power.sail: remove some hacksGabriel Kerneis
2014-06-07Don't use cycle for fetch-decode-executeGabriel Kerneis
2014-06-07exts returns bit[64] instead of natGabriel Kerneis
2014-06-04Fixup type coercions and overloadingKathy Gray
2014-06-02Fix dependent-type for MEM in power.sailGabriel Kerneis
2014-04-04Improve Power executionGabriel Kerneis
2014-04-03Power example now EXECUTES (almost) CORRECTLY! \o/Gabriel Kerneis
2014-04-03Remove workarounds and update Power modelGabriel Kerneis
2014-04-03Exhibit two bugs about bitwise operators and vector castsGabriel Kerneis
2014-04-02Fix EXTS and signedness of to_numGabriel Kerneis
2014-04-02Update Power modelGabriel Kerneis
2014-03-20Add missing GPR registers for Power exampleGabriel Kerneis
2014-03-20Remove work-around from interpreter, move it to power.sailGabriel Kerneis
2014-03-19Fetch-decode-execute & init for powerGabriel Kerneis
2014-03-13Make test_power compiling againGabriel Kerneis
2014-03-11More work on interpreter and Power modelGabriel Kerneis
2014-03-04Minimal power model to run hello worldGabriel Kerneis
2014-02-28Fetch-decode POWER interpreterGabriel Kerneis
2014-02-25Sensible types for POWER registersGabriel Kerneis
2014-02-12More library functions for interpreterGabriel Kerneis
2014-02-12Fix endianess issuesGabriel Kerneis
2014-02-12Remove spurious declarationGabriel Kerneis
2014-02-12Fix type errors in power.sailGabriel Kerneis
2014-02-07Implement is_oneGabriel Kerneis
2014-02-07Use bit->bool coercion for power.sailGabriel Kerneis
2014-02-05Replace symbolic link by actual fileGabriel Kerneis
2014-02-05First bit of Power specGabriel Kerneis
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-09 13:39:27 +0000