renaming alloyenc to alloy interpreter
[satune.git] / src / Interpreter / interpreter.h
2019-02-19 Hamed GorjiaraInterpreter abstraction and memory bug fixes