summaryrefslogtreecommitdiff
path: root/src/test/power.sail
AgeCommit message (Expand)Author
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-04-28 16:28:00 +0000