soc2c: change the C representation of soc instances
by grouping instances of the same type into arrays. The rationale is to be able to generate for loops with iterators. The previous code was working, but probably by chance.
Showing
- INSTALL.txt 6 additions, 4 deletionsINSTALL.txt
- _oasis 1 addition, 1 deletion_oasis
- _tags 3 additions, 1 deletion_tags
- release-lv6/Makefile 2 additions, 1 deletionrelease-lv6/Makefile
- src/lv6MainArgs.ml 1 addition, 1 deletionsrc/lv6MainArgs.ml
- src/lv6util.ml 6 additions, 0 deletionssrc/lv6util.ml
- src/soc.ml 2 additions, 2 deletionssrc/soc.ml
- src/soc2c.ml 24 additions, 10 deletionssrc/soc2c.ml
- src/soc2cHeap.ml 7 additions, 5 deletionssrc/soc2cHeap.ml
- src/soc2cInstances.ml 54 additions, 0 deletionssrc/soc2cInstances.ml
- src/soc2cInstances.mli 19 additions, 0 deletionssrc/soc2cInstances.mli
- src/soc2cStack.ml 6 additions, 4 deletionssrc/soc2cStack.ml
- src/socPredef2cHeap.ml 12 additions, 5 deletionssrc/socPredef2cHeap.ml
- src/socPredef2cStack.ml 31 additions, 22 deletionssrc/socPredef2cStack.ml
- test/lus2lic.sum 12 additions, 14 deletionstest/lus2lic.sum
- test/lus2lic.time 7 additions, 9 deletionstest/lus2lic.time
Loading
Please register or sign in to comment