summaryrefslogtreecommitdiff
path: root/src/test/run_tests.ml
AgeCommit message (Expand)Author
2018-08-01Remove old test directory in src/testAlasdair Armstrong
2014-06-09Improve interaction after chat with PeterGabriel Kerneis
2014-04-04Improve Power executionGabriel Kerneis
2014-03-19Fix bug when reading register through a castKathy Gray
2014-03-03Fixing assorted bugs. Adding ability to put a type on the identifier being as...Kathy Gray
2014-02-28Fetch-decode POWER interpreterGabriel Kerneis
2014-02-18Report failing tests and return 1 in case of errorGabriel Kerneis
2014-02-05Replace symbolic link by actual fileGabriel Kerneis
2014-02-05Fix type id parsing error ans associated type checking bugs in scatteredsKathy Gray
2014-02-05First bit of Power specGabriel Kerneis
2014-01-08Between Scylla and CharybdisGabriel Kerneis
2014-01-08Fix pretty-printing of switch-casesGabriel Kerneis
2014-01-07Add first operationnal tests for vectorsGabriel Kerneis
2013-10-14Test read/write reg/mem syntaxGabriel Kerneis
2013-10-10Another stupid testGabriel Kerneis
2013-10-10Stub test suiteGabriel Kerneis
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-01 09:59:43 +0000