summaryrefslogtreecommitdiff
path: root/src/lem_interp
AgeCommit message (Expand)Author
2014-06-09Add "continuation" command in interpreterGabriel Kerneis
2014-06-09Add switch to show/hide casts in interpreterGabriel Kerneis
2014-06-09Merge branch 'for-dagstuhl' into masterGabriel Kerneis
2014-06-07Add optional overloading on expected return type to fix bug in constraint sol...Kathy Gray
2014-06-07exts returns bit[64] instead of natGabriel Kerneis
2014-06-07Improve help messageGabriel Kerneis
2014-06-07Print mem and envGabriel Kerneis
2014-06-07Stack printingGabriel Kerneis
2014-06-07Print holes as [x]Gabriel Kerneis
2014-06-07Fix E_vector_append in interp pretty-printerGabriel Kerneis
2014-06-06Compact debug output and first draft of interactive loopGabriel Kerneis
2014-06-06Improve work-aroundGabriel Kerneis
2014-06-06Add a pretty-printer for Interp_astGabriel Kerneis
2014-06-05Enable single-stepping for test/power.sailGabriel Kerneis
2014-06-05Refactor to_vec and add work-around to avoid truncationGabriel Kerneis
2014-06-04Fixup type coercions and overloadingKathy Gray
2014-05-29Check constraints in power.sail; this required using big_int instead of int t...Kathy Gray
2014-05-28correct mismatched parens didn't mean to commit...Kathy Gray
2014-05-28Support stepped interpreting, and use normalisation instead of eval_nexp in c...Kathy Gray
2014-05-22A (hopefully) sufficient interface and implementation between memory and the ...Kathy Gray
2014-05-21correct accidental capitalization of Interp in file nameKathy Gray
2014-05-21More interface support; interp_inter_imp now compilingKathy Gray
2014-05-20Fix interp compiling bugKathy Gray
2014-05-20yet more interfaceKathy Gray
2014-05-20More interfaceKathy Gray
2014-05-14More interface update for connecting externally (interp_interface provides fu...Kathy Gray
2014-05-12More interface supportKathy Gray
2014-05-08more interface changesKathy Gray
2014-05-06Begin tie to ppcmem style actions/outcomesKathy Gray
2014-05-01Make an overloading type decision (all + operations return ranges, never vect...Kathy Gray
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-09 17:39:03 +0000