Add the exit port to ldbg plugin.
Some work to share the conde that is comon to Lutin/Lurette more properly via Makefiles and using chmod to avoid editing the wrong files. + mv the lus2licRun.ml/mli file to the Lurette git repo.
Showing
- Makefile 42 additions, 15 deletionsMakefile
- Makefile.lib4lurette 0 additions, 7 deletionsMakefile.lib4lurette
- src/data.ml 17 additions, 6 deletionssrc/data.ml
- src/data.mli 2 additions, 1 deletionsrc/data.mli
- src/failure.ml 4 additions, 1 deletionsrc/failure.ml
- src/lus2licRun.ml 0 additions, 77 deletionssrc/lus2licRun.ml
- src/lus2licRun.mli 0 additions, 9 deletionssrc/lus2licRun.mli
- src/rif_base.ml 4 additions, 3 deletionssrc/rif_base.ml
- src/rif_base.mli 2 additions, 2 deletionssrc/rif_base.mli
- src/socExec.ml 35 additions, 3 deletionssrc/socExec.ml
- src/socExecValue.ml 4 additions, 2 deletionssrc/socExecValue.ml
- src/socUtils.ml 9 additions, 1 deletionsrc/socUtils.ml
- src/socUtils.mli 2 additions, 1 deletionsrc/socUtils.mli
- test/lus2lic.sum 1 addition, 1 deletiontest/lus2lic.sum
Loading
Please register or sign in to comment