Project

General

Profile

« Previous | Next » 

Revision 3ca27bc7

Added by Pierre-Loïc Garoche almost 7 years ago

- Addtional encapsulation of machine_code instr in a struct to enable future extension of type with more metadata.
- Improved EMF backend with META information

View differences:

src/lustreSpec.ml
236 236
  | Power of value_t * value_t
237 237

  
238 238
type instr_t =
239
  {
240
    instr_desc: instr_t_desc;
241
  }
242
and instr_t_desc =
239 243
  | MLocalAssign of var_decl * value_t
240 244
  | MStateAssign of var_decl * value_t
241 245
  | MReset of ident

Also available in: Unified diff