summaryrefslogtreecommitdiff
path: root/src/test
AgeCommit message (Expand)Author
2014-03-03Fixing assorted bugs. Adding ability to put a type on the identifier being as...Kathy Gray
2014-03-01Fix printing bug on vector slicing that caused only one element to ever be sl...Kathy Gray
2014-02-28Fix endiannessGabriel Kerneis
2014-02-28Fetch-decode POWER interpreterGabriel Kerneis
2014-02-28Load ELF sections to virtual memory addressesGabriel Kerneis
2014-02-28Correct bug in parsing and handling a['a:'b] typesKathy Gray
2014-02-27Load POWER binary into interpreter's memoryGabriel Kerneis
2014-02-27Merge branch 'interp_typed'Kathy Gray
2014-02-26Get interpreter working using types, no added functionality yetKathy Gray
2014-02-25Sensible types for POWER registersGabriel Kerneis
2014-02-18Remove spurious add infixGabriel Kerneis
2014-02-18Report failing tests and return 1 in case of errorGabriel 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-14Fix infinite loop bug, and test1.sail type checking bugKathy Gray
2014-02-14Infinite loop in interpreter for register slice writeGabriel Kerneis
2014-02-14Register slice writeGabriel Kerneis
2014-02-13Disable line which does not typecheck in test1Gabriel Kerneis
2014-02-13Add definition of ignore to make tests executableGabriel Kerneis
2014-02-12More library functions for interpreterGabriel Kerneis
2014-02-12Fix endianess issuesGabriel Kerneis
2014-02-12Checking assignment to a variableKathy Gray
2014-02-12Remove spurious declarationGabriel Kerneis
2014-02-12Fix type errors in power.sailGabriel Kerneis
2014-02-07type checking switch/case expressionsKathy Gray
2014-02-07Implement is_oneGabriel Kerneis
2014-02-07Correct variable-name bug that was throwing away type checking coercions and ...Kathy Gray
2014-02-07more checkingKathy Gray
2014-02-07Use bit->bool coercion for power.sailGabriel Kerneis
2014-02-05Replace symbolic link by actual fileGabriel Kerneis
2014-02-05Test scattered typedef cross-referenceGabriel Kerneis
2014-02-05Fix type id parsing error ans associated type checking bugs in scatteredsKathy Gray
2014-02-05Typechecking lets, concrete vectors, and function calls (minus effects)Kathy Gray
2014-02-05First bit of Power specGabriel Kerneis
2014-02-05Adding failing typechecking testGabriel Kerneis
2014-01-31More type checking and conversionsKathy Gray
2014-01-17Type check through type definitions and val specifications, building definiti...Kathy Gray
2014-01-15Test indexed matchGabriel Kerneis
2014-01-14Fix vector concat pattern matchingGabriel Kerneis
2014-01-09Fixed a single-argument tuple bug on function callsKathy Gray
2014-01-09Fixed bug in resuming after an action (which was manifesting as an apparent p...Kathy Gray
2014-01-08More tests for various vector patterns bugsGabriel 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
2014-01-07bug: unbound let-defined (and local?) variablesGabriel Kerneis
2014-01-07Add bit and bitvector literal testGabriel Kerneis
2013-12-16minor wip on tiny modelGabriel Kerneis
2013-12-13Fix effect annotation pretty-printingGabriel Kerneis
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-09 11:10:40 +0000