summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Expand)Author
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
2014-03-13Make test_power compiling againGabriel Kerneis
2014-03-12Remove automagic register initializationGabriel Kerneis
2014-03-12Correctly type checking and interpreting accesses of register "fields". Regis...Kathy Gray
2014-03-11Change treatment of type abbreviations so that name and full type are availab...Kathy Gray
2014-03-11Exhibit bug in interpreter in vector testGabriel Kerneis
2014-03-11More work on interpreter and Power modelGabriel Kerneis
2014-03-11Confusion between first index and vector lengthGabriel Kerneis
2014-03-11Increase support for register "field" accesses; there is now a bug in how run...Kathy Gray
2014-03-07Treat registers as values when not being actively read or written to, so that...Kathy Gray
2014-03-07Add default types to the initial env for provided functionsKathy Gray
2014-03-04Minimal power model to run hello worldGabriel Kerneis
2014-03-04More polymorphism for additionGabriel Kerneis
2014-03-04Various deinfix bugsGabriel Kerneis
2014-03-03new test fileKathy Gray
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-28Do not build power test by defaultGabriel 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-27Fix error to constructor pattern matchingKathy Gray
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-08 11:22:08 +0000