Soc2c : handle nodes with arrays as interface variables.
Also do not crash if the soc contains reference to extern types.
Showing
- src/compile.ml 10 additions, 3 deletionssrc/compile.ml
- src/l2lAliasType.ml 15 additions, 8 deletionssrc/l2lAliasType.ml
- src/lic2soc.ml 2 additions, 2 deletionssrc/lic2soc.ml
- src/licPrg.ml 1 addition, 1 deletionsrc/licPrg.ml
- src/soc2c.ml 45 additions, 30 deletionssrc/soc2c.ml
- src/soc2cIdent.ml 2 additions, 1 deletionsrc/soc2cIdent.ml
- src/socPredef2c.ml 2 additions, 2 deletionssrc/socPredef2c.ml
- src/socUtils.ml 2 additions, 2 deletionssrc/socUtils.ml
- src/socVar.ml 2 additions, 1 deletionsrc/socVar.ml
- test/lus2lic.sum 13 additions, 7 deletionstest/lus2lic.sum
- test/lus2lic.time 1 addition, 1 deletiontest/lus2lic.time
- test/should_work/trivial_array.lus 5 additions, 0 deletionstest/should_work/trivial_array.lus
Loading
Please register or sign in to comment