Split SocExec into SocExec and SocExecDbg as a first step to remove the rdbg-plugin dep.
Showing
- Makefile 4 additions, 7 deletionsMakefile
- _oasis 1 addition, 1 deletion_oasis
- src/lus2licRun.ml 3 additions, 3 deletionssrc/lus2licRun.ml
- src/lustre-v6.mldylib 2 additions, 1 deletionsrc/lustre-v6.mldylib
- src/lustre-v6.mllib 2 additions, 1 deletionsrc/lustre-v6.mllib
- src/socExec.ml 1 addition, 60 deletionssrc/socExec.ml
- src/socExec.mli 5 additions, 5 deletionssrc/socExec.mli
- src/socExecDbg.ml 65 additions, 0 deletionssrc/socExecDbg.ml
- src/socExecDbg.mli 8 additions, 0 deletionssrc/socExecDbg.mli
- test/lus2lic.sum 414 additions, 414 deletionstest/lus2lic.sum
- test/should_work/PCOND.lus 2 additions, 0 deletionstest/should_work/PCOND.lus
- test/should_work/PCOND1.lus 1 addition, 0 deletionstest/should_work/PCOND1.lus
Loading
Please register or sign in to comment