summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2014-02-16A bit of cleanup, including checking for loops and overloading 0 and 1 to be ...Kathy Gray
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-14update syntax of vector slicing.Kathy 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-13Index memory with big_ints in interpreterGabriel Kerneis
2014-02-13Missing default case for literal equality testGabriel Kerneis
2014-02-13Display backtrace when interpreter failsGabriel Kerneis
2014-02-13Implement equality for big_int literalsGabriel 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-12Replace nat by natural in interpreterGabriel Kerneis
2014-02-12Remove spurious declarationGabriel Kerneis
2014-02-12Fix type errors in power.sailGabriel Kerneis
2014-02-12Change nat to natural in ottKathy Gray
2014-02-11struct/record type checkingKathy Gray
2014-02-07type checking switch/case expressionsKathy Gray
2014-02-07Most of the vector expression type checkingKathy Gray
2014-02-07Fix a few stupid bugsGabriel Kerneis
2014-02-07Implement is_oneGabriel Kerneis
2014-02-07Report unimplemented function nameGabriel 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-06coerce bit to bool when not a literal bit. Note: this will only add a convers...Kathy Gray
2014-02-06coercians for bits to bools for literalsKathy Gray
2014-02-06type check more vectorsKathy Gray
2014-02-06push effect information around while checking expressionsKathy Gray
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-05Fix pattern constructor bug in type checking (darn tuples/not tuples)Kathy 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-02-05Revert "Accept single bits as boolean values for if in interpreter"Gabriel Kerneis
2014-02-05Deinfixable colonGabriel Kerneis
2014-02-03More type checking, including coercing 0 and 1 into bits when appropriate (in...Kathy Gray
2014-01-31More type checking and conversionsKathy Gray
2014-01-30Expression type checking, not completeKathy Gray
2014-01-29Type check function headers and parametersKathy Gray
2014-01-17Type check through type definitions and val specifications, building definiti...Kathy Gray
2014-01-15Accept single bits as boolean values for if in interpreterGabriel Kerneis
2014-01-15Improve error messagesGabriel Kerneis
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-10 04:27:45 +0000