-
Gwenaël Delaval authored
- Added "z3z" target language, calling sigali code generation - a_id is application id, so as to identify node applications; added to Minils AST. a_id is given on hept2mls pass. This is needed for the controller execution from controller synthesis.
85bbe21d