soc2c: the c code was wrong in presence of user type defined using extern types.
Also, the simulation via the _loop.c file was failing in extern types were present as O/I of the main (simulated) node.
Showing
- _oasis 1 addition, 1 deletion_oasis
- src/lv6version.ml 2 additions, 2 deletionssrc/lv6version.ml
- src/soc2c.ml 17 additions, 10 deletionssrc/soc2c.ml
- src/soc2cExtern.ml 18 additions, 1 deletionsrc/soc2cExtern.ml
- src/soc2cExtern.mli 3 additions, 1 deletionsrc/soc2cExtern.mli
- src/soc2cGenAssign.ml 20 additions, 3 deletionssrc/soc2cGenAssign.ml
- test/lus2lic.sum 13 additions, 13 deletionstest/lus2lic.sum
Loading
Please register or sign in to comment