lib/licDump.ml · b6f4768364e252569aa13fc54a0cd87d6dee045c · 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.

licDump.ml 36.43 KiB