fix: 2 bugs revealed by the new check_knc pass (C var names
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.
Showing
- lib/licDump.ml 27 additions, 17 deletionslib/licDump.ml
- lib/soc2c.ml 102 additions, 102 deletionslib/soc2c.ml
- lib/soc2cHeap.ml 51 additions, 51 deletionslib/soc2cHeap.ml
- lib/soc2cStack.ml 69 additions, 69 deletionslib/soc2cStack.ml
- lib/socPredef2cHeap.ml 81 additions, 81 deletionslib/socPredef2cHeap.ml
- lib/socPredef2cStack.ml 102 additions, 102 deletionslib/socPredef2cStack.ml
- test/lus2lic.sum 29 additions, 30 deletionstest/lus2lic.sum
Loading
Please register or sign in to comment