Project

General

Profile

« Previous | Next » 

Revision 75c459f4

Added by LĂ©lio Brun 9 months ago

start with Spec AST generation

View differences:

src/backends/Ada/misc_lustre_function.ml
267 267
              in
268 268
              let assign = if state then MStateAssign (ident, value) else MLocalAssign (ident, value) in
269 269
              { instr_desc = assign;
270
                lustre_eq  = None
270
                lustre_eq  = None;
271
                instr_spec = Spec_types.True
271 272
              }
272 273
            in
273 274
            let mkval_var id = {

Also available in: Unified diff