Fix the equation dependancies in presence of complex structured types.
Showing
- _oasis 1 addition, 1 deletion_oasis
- src/action.mli 2 additions, 2 deletionssrc/action.mli
- src/actionsDeps.ml 163 additions, 76 deletionssrc/actionsDeps.ml
- src/actionsDeps.mli 2 additions, 2 deletionssrc/actionsDeps.mli
- src/l2lCheckLoops.ml 17 additions, 15 deletionssrc/l2lCheckLoops.ml
- src/l2lCheckLoops.mli 11 additions, 2 deletionssrc/l2lCheckLoops.mli
- src/l2lCheckOutputs.ml 5 additions, 5 deletionssrc/l2lCheckOutputs.ml
- src/lv6MainArgs.ml 2 additions, 2 deletionssrc/lv6MainArgs.ml
- src/lv6Misc.ml 6 additions, 6 deletionssrc/lv6Misc.ml
- src/lv6version.ml 2 additions, 2 deletionssrc/lv6version.ml
- src/socUtils.ml 4 additions, 5 deletionssrc/socUtils.ml
- src/sortActions.ml 3 additions, 2 deletionssrc/sortActions.ml
- test/lus2lic.sum 33 additions, 25 deletionstest/lus2lic.sum
- test/should_fail/semantics/depend.lus 41 additions, 0 deletionstest/should_fail/semantics/depend.lus
- test/should_fail/semantics/tranche.lus 6 additions, 5 deletionstest/should_fail/semantics/tranche.lus
- test/should_fail/struct_incomplete.lus 1 addition, 1 deletiontest/should_fail/struct_incomplete.lus
- test/should_fail/syntax/carligths.lus 20 additions, 0 deletionstest/should_fail/syntax/carligths.lus
- test/should_work/carligths.lus 2 additions, 2 deletionstest/should_work/carligths.lus
- test/should_work/depend.lus 40 additions, 0 deletionstest/should_work/depend.lus
Loading
Please register or sign in to comment