summaryrefslogtreecommitdiff
path: root/src/test/test3.sail
AgeCommit message (Expand)Author
2014-06-04Fixup type coercions and overloadingKathy Gray
2014-04-02Solve more constraints; fix up test suite bugs uncovered by solving more cons...Kathy Gray
2014-03-27Check simple constraints (i.e. ones using only constants).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-20More tests for implicit castsGabriel Kerneis
2014-02-18Remove spurious add infixGabriel Kerneis
2014-02-15Full type checker. No constraint checking in place.Kathy Gray
2014-02-14Attempt multi-byte memory read and writeGabriel Kerneis
2014-02-14Write slice to memoryGabriel Kerneis
2014-02-13Add definition of ignore to make tests executableGabriel Kerneis
2014-01-31More type checking and conversionsKathy Gray
2013-12-03Syntax changes per discussion with Peter, as well as L2.ott document clean up.Kathy Gray
2013-11-29minor syntax fixupsKathy Gray
2013-11-28Updated syntax with working examplesKathy Gray
2013-11-20Remove workaround in test3Gabriel Kerneis
2013-11-12Define and test addition in libraryGabriel Kerneis
2013-11-05De-infix operator before looking it up in the interpreterGabriel Kerneis
2013-11-05Parsing of infix operatorsGabriel Kerneis
2013-11-05Support parsing for extern callsGabriel Kerneis
2013-10-16Basic MEM and register implementation for interpreterGabriel Kerneis
2013-10-15Resume interpreter after actionsGabriel Kerneis
2013-10-14Test read/write reg/mem syntaxGabriel Kerneis
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-09 19:18:30 +0000