src/licDump.ml · 403368c4235f4d4088f611cbe3e9df61f3dcb2e1 · verimag / synchrone / lustre-v6

16 years ago

Make sure that created node ident are valid and unique. · 403368c4

Erwan Jahier authored 16 years ago

To  do  that, we  centralized  the ident  name  creation  into a  new
dedicated module Name.

+ fix should_work/NONREG/param_node.lus, we contained a combinational loop.

403368c4

History

Make sure that created node ident are valid and unique.

Erwan Jahier authored 16 years ago

To  do  that, we  centralized  the ident  name  creation  into a  new
dedicated module Name.

+ fix should_work/NONREG/param_node.lus, we contained a combinational loop.