lib/licDump.ml · d13643fc6157e52fd0d644a93669141ff8048a50 · verimag / synchrone / lustre-v6

9 months ago

fix: 2 bugs revealed by the new check_knc pass (C var names · 66a3279f

erwan authored 9 months ago

clash+parenthesis issues in the lustre generated code)

The  parenthesis  issues  were  occuring (sometimes)  in  the  lustre
generated code,  for 'pre', '#,'  'nor', and 'current'. A  issue with
int2real and real2int was fixed too.

66a3279f

History

fix: 2 bugs revealed by the new check_knc pass (C var names

erwan authored 9 months ago

clash+parenthesis issues in the lustre generated code)

The  parenthesis  issues  were  occuring (sometimes)  in  the  lustre
generated code,  for 'pre', '#,'  'nor', and 'current'. A  issue with
int2real and real2int was fixed too.