Soc2c: add support for array slices.
nb: unexpected failures 175-> 162 Also name step function consistent and uniquely
Showing
- src/soc2c.ml 3 additions, 2 deletionssrc/soc2c.ml
- src/soc2cIdent.ml 13 additions, 5 deletionssrc/soc2cIdent.ml
- src/soc2cUtil.ml 3 additions, 4 deletionssrc/soc2cUtil.ml
- src/socPredef2c.ml 23 additions, 8 deletionssrc/socPredef2c.ml
- test/lus2lic.sum 17 additions, 17 deletionstest/lus2lic.sum
- test/lus2lic.time 1 addition, 1 deletiontest/lus2lic.time
Loading
Please register or sign in to comment