summaryrefslogtreecommitdiff
path: root/src/lem_interp/interp.lem
AgeCommit message (Expand)Author
2014-07-02Fix ordering issue in vector-concat pattern matchingGabriel Kerneis
2014-06-30Support for nondeterministic blocksKathy Gray
2014-06-25Add support for memory barrierKathy Gray
2014-06-25Add support for actions that read just a slice or single bit of a registerKathy Gray
2014-06-24Get enumerations working in interpreterKathy Gray
2014-06-23Get indexed vectors, particularly with default values, workingKathy Gray
2014-06-18Make hex constants work; improve utility of casts for selecting overloaded fu...Kathy Gray
2014-06-12Interpret when an unknown is inserted into the program by interp_exhaustiveKathy Gray
2014-06-09Add more stops in interpreter (stopping just at the point of each internal fu...Kathy Gray
2014-06-09Working towards evaluating with interp_exhaustiveKathy Gray
2014-06-04Fixup type coercions and overloadingKathy Gray
2014-05-28Support stepped interpreting, and use normalisation instead of eval_nexp in c...Kathy Gray
2014-05-21More interface support; interp_inter_imp now compilingKathy Gray
2014-05-20Fix interp compiling bugKathy Gray
2014-05-12More interface supportKathy Gray
2014-05-08more interface changesKathy Gray
2014-05-06Begin tie to ppcmem style actions/outcomesKathy 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-03Re-index vector slicesGabriel 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-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-19Fix endiannessGabriel Kerneis
2014-03-19Fix bug when reading register through a castKathy Gray
2014-03-12Correctly type checking and interpreting accesses of register "fields". Regis...Kathy Gray
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-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-27Fix error to constructor pattern matchingKathy Gray
2014-02-27Merge branch 'interp_typed'Kathy Gray
2014-02-26Get interpreter working using types, no added functionality yetKathy Gray
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-18Adding explicit order to for loopsKathy Gray
2014-02-14Fix infinite loop bug, and test1.sail type checking bugKathy Gray
2014-02-13Missing default case for literal equality testGabriel Kerneis
2014-02-13Implement equality for big_int literalsGabriel Kerneis
2014-02-12Fix endianess issuesGabriel Kerneis
2014-02-12Replace nat by natural in interpreterGabriel Kerneis
2014-02-07Report unimplemented function nameGabriel Kerneis
2014-02-05Revert "Accept single bits as boolean values for if in interpreter"Gabriel Kerneis
2014-01-15Accept single bits as boolean values for if in interpreterGabriel Kerneis
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-28 05:40:05 +0000