summaryrefslogtreecommitdiff
path: root/src/lem_interp
AgeCommit message (Expand)Author
2014-04-30More support for overloading functions; primarily focusing on +Kathy Gray
2014-04-25rename interpreter's local memory type to reflect that it's all local memoryKathy Gray
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-08Reduce redundant information in ASTKathy Gray
2014-04-04Cosmetic improvements (statistics, --quiet)Gabriel Kerneis
2014-04-04Improve Power executionGabriel Kerneis
2014-04-03Implement some arithmetic operationsGabriel Kerneis
2014-04-03Re-index vector slicesGabriel Kerneis
2014-04-03Implement bitwise library operationsGabriel Kerneis
2014-04-03Typeclass Eq for valuesGabriel Kerneis
2014-04-02Solve more constraints; fix up test suite bugs uncovered by solving more cons...Kathy Gray
2014-04-02eq and neq return bit, not boolGabriel Kerneis
2014-04-02Fix EXTS and signedness of to_numGabriel Kerneis
2014-04-01Allow negative "nat" internallyGabriel Kerneis
2014-03-31Extend constraint checking, and add casts for base of a vector shifts (i.e. f...Kathy Gray
2014-03-20Remove work-around from interpreter, move it to power.sailGabriel Kerneis
2014-03-20Workaround missing casts for external callsGabriel Kerneis
2014-03-19Fix endiannessGabriel Kerneis
2014-03-19Fix bug when reading register through a castKathy 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-12Remove automagic register initializationGabriel Kerneis
2014-03-12Correctly type checking and interpreting accesses of register "fields". Regis...Kathy Gray
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-04More polymorphism for additionGabriel Kerneis
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-27Fix error to constructor pattern matchingKathy Gray
2014-02-27Partial fix for to_vec_inc/to_vec_decGabriel Kerneis
2014-02-27More flexible test executionGabriel Kerneis
2014-02-27Merge branch 'interp_typed'Kathy Gray
2014-02-26Get interpreter working using types, no added functionality yetKathy Gray
2014-02-26Debug and fix memory multi-bytes memory writesGabriel Kerneis
2014-02-26Fix vector slicingGabriel Kerneis
2014-02-25Manage annotKathy Gray
2014-02-25First step of using type information in interpreter. Reading and writing plai...Kathy Gray
2014-02-21Add type annotations to lem grammar, including printing out the annotated ast...Kathy Gray
2014-02-18Put a plaster on bug for finding memory reading/writing operationsKathy Gray
2014-02-18Remove spurious add infixGabriel Kerneis
2014-02-18Report failing tests and return 1 in case of errorGabriel Kerneis
2014-02-18Improve interpreter pretty-printingGabriel Kerneis
2014-02-18Adding explicit order to for loopsKathy Gray
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-01 00:54:23 +0000