summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Expand)Author
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
2014-03-20Type bit[n] means bit[0..n-1]Gabriel Kerneis
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-20Fix default type envGabriel Kerneis
2014-03-20More tests for implicit castsGabriel Kerneis
2014-03-20Workaround missing casts for external callsGabriel Kerneis
2014-03-19Fetch-decode-execute & init for powerGabriel Kerneis
2014-03-19Fix endiannessGabriel Kerneis
2014-03-19Fix bug when reading register through a castKathy Gray
2014-03-19Checking effects on functionsKathy Gray
2014-03-18Add parser support for empty and one element vectorsKathy Gray
2014-03-18More library functions for PowerGabriel Kerneis
2014-03-17Merge branch 'master' of https://bitbucket.org/Peter_Sewell/l2Kathy Gray
2014-03-17More coercionsKathy Gray
2014-03-17Revert broken vector handlingGabriel Kerneis
2014-03-14Support regbits read and writeGabriel Kerneis
2014-03-14Pretty-print subreg correctlyGabriel Kerneis
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-11 01:05:44 +0000