summaryrefslogtreecommitdiff
path: root/src/test
AgeCommit message (Expand)Author
2014-07-15Add failing test for type of aliasesGabriel Kerneis
2014-07-14Initial support for aliases and exit through the type system and the interpre...Kathy Gray
2014-07-04Correct error of forgetting type information that was allowing more programs ...Kathy Gray
2014-07-04Update power.sailGabriel Kerneis
2014-07-02Update Power exampleGabriel Kerneis
2014-06-27Update type conformance for overloading resolution on order arguments.Kathy Gray
2014-06-26Adding better support for unspecified values in indexed vectorsKathy Gray
2014-06-25Add support for actions that read just a slice or single bit of a registerKathy Gray
2014-06-24Get vector length for to_inc_vec and to_dec_vec from the type system after co...Kathy Gray
2014-06-23Get indexed vectors, particularly with default values, workingKathy Gray
2014-06-18Correct effect matching bug; and print out effect listsKathy Gray
2014-06-18Make hex constants work; improve utility of casts for selecting overloaded fu...Kathy Gray
2014-06-11power.sail: store mode64bit in a bool registerGabriel Kerneis
2014-06-11Update power.sail: remove some hacksGabriel Kerneis
2014-06-09Improve interaction after chat with PeterGabriel Kerneis
2014-06-07Don't use cycle for fetch-decode-executeGabriel Kerneis
2014-06-07exts returns bit[64] instead of natGabriel Kerneis
2014-06-07Copy main.bin in Sail repository for Power testGabriel 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-06-04Fixup type coercions and overloadingKathy Gray
2014-06-02Fix dependent-type for MEM in power.sailGabriel Kerneis
2014-05-30Add pretty-printer test (idempotence)Gabriel Kerneis
2014-05-30Remove bit-rotted, abonned test fileGabriel Kerneis
2014-04-15Use type information in vector concatenation pattern matching in interpreter.Kathy Gray
2014-04-04Cosmetic improvements (statistics, --quiet)Gabriel 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-02Solve more constraints; fix up test suite bugs uncovered by solving more cons...Kathy Gray
2014-04-02Checking missing cast for register as value in testsuiteGabriel Kerneis
2014-04-02Fix EXTS and signedness of to_numGabriel Kerneis
2014-04-02Update Power modelGabriel Kerneis
2014-03-31Fix constraint bug with +Kathy Gray
2014-03-31Extend constraint checking, and add casts for base of a vector shifts (i.e. f...Kathy Gray
2014-03-31test/vectors.sail: failing constraint checkingGabriel Kerneis
2014-03-27Check simple constraints (i.e. ones using only constants).Kathy Gray
2014-03-23adding if testKathy Gray
2014-03-23Correctly unify types with default declarations and across if blocks for intr...Kathy Gray
2014-03-20reset earlier commits to test3, that were supposed to be chosen instead of my...Kathy Gray
2014-03-20small test changesKathy Gray
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-20More tests for implicit castsGabriel Kerneis
2014-03-19Fetch-decode-execute & init for powerGabriel Kerneis
2014-03-19Fix bug when reading register through a castKathy Gray
2014-03-17More coercionsKathy Gray
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-08 10:44:22 +0000