summaryrefslogtreecommitdiff
path: root/src/lem_interp/Interp_interface.lem
AgeCommit message (Collapse)Author
2014-05-21correct accidental capitalization of Interp in file nameKathy Gray
2014-05-21More interface support; interp_inter_imp now compilingKathy Gray
2014-05-20More interfaceKathy Gray
2014-05-14More interface update for connecting externally (interp_interface provides ↵Kathy Gray
functions for connecting the interpreter to a memory model) Also adding default values to index vectors for supporting sparse vectors/maps
2014-05-12More interface supportKathy Gray
2014-05-08more interface changesKathy Gray