summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2014-04-25more support for path-aware (ish) constraint checkingKathy Gray
2014-04-25rename interpreter's local memory type to reflect that it's all local memoryKathy Gray
2014-04-23Rename main to sail, build pretty_printer libGabriel Kerneis
2014-04-23make docGabriel Kerneis
2014-04-21Remove unsoundness of pattern match in interpreterKathy Gray
2014-04-15Use type information in vector concatenation pattern matching in interpreter.Kathy Gray
2014-04-15Put conditional path information into constraint gathering so that checking u...Kathy Gray
2014-04-10more constraint resolution; and turning off some assert falses until I find o...Kathy Gray
2014-04-08Reduce redundant information in ASTKathy Gray
2014-04-08Try to reduce size of Lem output a little bitKathy 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-03Implement some arithmetic operationsGabriel Kerneis
2014-04-03Re-index vector slicesGabriel Kerneis
2014-04-03Implement bitwise library operationsGabriel Kerneis
2014-04-03Remove workarounds and update Power modelGabriel Kerneis
2014-04-03Typeclass Eq for valuesGabriel Kerneis
2014-04-03make sail backwards compatible to older ocaml againKathy Gray
2014-04-03Do implicit coercions on expliciit castsKathy Gray
2014-04-03Fix arity error in bitwise helper functionKathy Gray
2014-04-03start solving more constraintsKathy Gray
2014-04-03Exhibit two bugs about bitwise operators and vector castsGabriel Kerneis
2014-04-03Correct types of bitwise operatorsGabriel Kerneis
2014-04-03More constraint solving through evaluation, fix size knowledge on coercion.Kathy Gray
2014-04-02Fix bug that was throwing away the cast telling the interpreter to read a reg...Kathy Gray
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-02eq and neq return bit, not boolGabriel Kerneis
2014-04-02Fix EXTS and signedness of to_numGabriel Kerneis
2014-04-02Update Power modelGabriel Kerneis
2014-04-02Skip constraint resolution to build Power modelGabriel Kerneis
2014-04-02Add more information for resolving constraints involving variables; clean up ...Kathy Gray
2014-04-02Add -skip_constraints to type-check without constraintsGabriel Kerneis
2014-04-01Allow negative "nat" internallyGabriel Kerneis
2014-04-01Fix parsing of nexp constraintsGabriel Kerneis
2014-04-01More type corrections for constraintsKathy Gray
2014-04-01constraint corrections for to_num and to_vecKathy Gray
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-26More steps towards solving and using constraint informationKathy Gray
2014-03-26Steps towards solving constraintsKathy 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-23Fix more unification bugsKathy 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-20Fix type checking bug that was incorrectly unifying type variables, leading f...Kathy Gray
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-09 20:05:01 +0000