summaryrefslogtreecommitdiff
path: root/src/lem_interp
AgeCommit message (Expand)Author
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-24Get vector length for to_inc_vec and to_dec_vec from the type system after co...Kathy Gray
2014-06-23Get indexed vectors, particularly with default values, workingKathy Gray
2014-06-19Add mod:vec->range->vecGabriel Kerneis
2014-06-18Fix mod_vec in libraryGabriel Kerneis
2014-06-18Add definition of mod to libKathy 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-11Equality between range and bit vectorGabriel Kerneis
2014-06-11Improve error message for missing library functionsGabriel Kerneis
2014-06-10Minor color and build tweaksGabriel Kerneis
2014-06-10More colorsGabriel Kerneis
2014-06-09Better, colored holeGabriel Kerneis
2014-06-09Improve interaction after chat with PeterGabriel Kerneis
2014-06-09Support deinfix pretty-printingGabriel Kerneis
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-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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-28 13:09:30 +0000