- Normalization parameters (alias and unfold_array) are now provided as parameter- program type renamed as program_t- Initiating the lustrev tool with dependencies to z3 and seal.
- Addtional encapsulation of machine_code instr in a struct to enable future extension of type with more metadata.- Improved EMF backend with META information
Turn an option to off by default: it was triggering scope plugin automatically
Updated scope plugin
several bugs/oddities corrected: - bizarre date stamping (when generating .lusi files) - bug in loading libraries, forbidding several (transitive) imports of the same library. - plugin scopes was wrongly always activated
Plugin based framework
major branche merging salsa/mpfr with trunk
Also available in: Atom