lus2lic is now working from ldbg and ltop.
As far as ldbg is concerned, it only traces the toplevel node, at call event. Note that I needed to rename quite a lot of modules to avoid name clashes between lus2lic.a and ltop. I've also merged the Verbose module with the one of Lutin so that they can be shared (there were sharing 95% already).
Showing
- Makefile 40 additions, 29 deletionsMakefile
- Makefile.common 1 addition, 1 deletionMakefile.common
- src/actionsDeps.ml 2 additions, 2 deletionssrc/actionsDeps.ml
- src/ast2lic.ml 3 additions, 3 deletionssrc/ast2lic.ml
- src/astInstanciateModel.ml 5 additions, 5 deletionssrc/astInstanciateModel.ml
- src/astTab.ml 3 additions, 3 deletionssrc/astTab.ml
- src/astTabSymbol.ml 2 additions, 2 deletionssrc/astTabSymbol.ml
- src/astV6.ml 2 additions, 2 deletionssrc/astV6.ml
- src/compile.ml 19 additions, 19 deletionssrc/compile.ml
- src/compile.mli 3 additions, 3 deletionssrc/compile.mli
- src/data.ml 3 additions, 3 deletionssrc/data.ml
- src/evalClock.ml 2 additions, 2 deletionssrc/evalClock.ml
- src/evalConst.ml 2 additions, 3 deletionssrc/evalConst.ml
- src/evalType.ml 4 additions, 4 deletionssrc/evalType.ml
- src/failure.ml 3 additions, 1 deletionsrc/failure.ml
- src/ident.ml 5 additions, 5 deletionssrc/ident.ml
- src/l2lCheckLoops.ml 2 additions, 2 deletionssrc/l2lCheckLoops.ml
- src/l2lCheckOutputs.ml 2 additions, 2 deletionssrc/l2lCheckOutputs.ml
- src/l2lExpandArrays.ml 7 additions, 7 deletionssrc/l2lExpandArrays.ml
- src/l2lExpandMetaOp.ml 2 additions, 2 deletionssrc/l2lExpandMetaOp.ml
Loading
Please register or sign in to comment