Merge does not generate soc anymore !
Also fix a bug in Lic2soc.make_e2a_elt where some deps and some actions were lost. Actually, this bug ought to be triggered only with nested calls. So this affects only programs executed via the -knc/-keep-nested-calls option. and -2c is not supposed to work in conjunction with -knc ! Hence this fix does not fix anything. But still it fixes potentially future code if I (or someone else) decide to handle nested calls in the lic one day.
Showing
- AUTHORS.txt 6 additions, 3 deletionsAUTHORS.txt
- INSTALL.txt 7 additions, 6 deletionsINSTALL.txt
- Makefile 1 addition, 0 deletionsMakefile
- README.txt 11 additions, 5 deletionsREADME.txt
- _oasis 2 additions, 2 deletions_oasis
- _tags 10 additions, 9 deletions_tags
- src/actionsDeps.ml 3 additions, 9 deletionssrc/actionsDeps.ml
- src/lic.ml 3 additions, 3 deletionssrc/lic.ml
- src/lic2soc.ml 131 additions, 150 deletionssrc/lic2soc.ml
- src/lv6version.ml 2 additions, 2 deletionssrc/lv6version.ml
- src/soc.ml 2 additions, 2 deletionssrc/soc.ml
- src/socExecEvalPredef.ml 2 additions, 12 deletionssrc/socExecEvalPredef.ml
- src/socPredef.ml 1 addition, 28 deletionssrc/socPredef.ml
- src/socPredef.mli 1 addition, 3 deletionssrc/socPredef.mli
- src/socPredef2cHeap.ml 1 addition, 25 deletionssrc/socPredef2cHeap.ml
- src/socVar.ml 3 additions, 3 deletionssrc/socVar.ml
- src/sortActions.ml 6 additions, 14 deletionssrc/sortActions.ml
- test/Makefile.dist 4 additions, 2 deletionstest/Makefile.dist
- test/lus2lic 1 addition, 1 deletiontest/lus2lic
- test/lus2lic.sum 14 additions, 12 deletionstest/lus2lic.sum
Loading
Please register or sign in to comment