Soc2c: Add support for extern types, contants, and nodes.
Showing
- src/soc2c.ml 43 additions, 84 deletionssrc/soc2c.ml
- src/soc2cExtern.ml 144 additions, 0 deletionssrc/soc2cExtern.ml
- src/soc2cExtern.mli 24 additions, 0 deletionssrc/soc2cExtern.mli
- src/soc2cUtil.ml 64 additions, 2 deletionssrc/soc2cUtil.ml
- test/Makefile 1 addition, 1 deletiontest/Makefile
- test/lus2lic.sum 218 additions, 218 deletionstest/lus2lic.sum
- test/lus2lic.tests/non-reg.exp 5 additions, 1 deletiontest/lus2lic.tests/non-reg.exp
- test/lus2lic.time 1 addition, 1 deletiontest/lus2lic.time
Loading
Please register or sign in to comment