Add support for merge on boolean variables.
Showing
- src/ast2lic.ml 12 additions, 4 deletionssrc/ast2lic.ml
- src/astCore.ml 5 additions, 3 deletionssrc/astCore.ml
- src/astRecognizePredef.ml 5 additions, 4 deletionssrc/astRecognizePredef.ml
- src/astTab.ml 83 additions, 82 deletionssrc/astTab.ml
- src/astTabSymbol.ml 10 additions, 10 deletionssrc/astTabSymbol.ml
- src/astV6Dump.ml 5 additions, 2 deletionssrc/astV6Dump.ml
- src/compile.ml 1 addition, 1 deletionsrc/compile.ml
- src/compile.mli 2 additions, 1 deletionsrc/compile.mli
- src/evalClock.ml 13 additions, 8 deletionssrc/evalClock.ml
- src/evalConst.ml 6 additions, 5 deletionssrc/evalConst.ml
- src/evalType.ml 6 additions, 6 deletionssrc/evalType.ml
- src/ident.ml 2 additions, 2 deletionssrc/ident.ml
- src/l2lExpandArrays.ml 2 additions, 2 deletionssrc/l2lExpandArrays.ml
- src/lic.ml 10 additions, 6 deletionssrc/lic.ml
- src/licDump.ml 8 additions, 2 deletionssrc/licDump.ml
- src/licTab.ml 10 additions, 9 deletionssrc/licTab.ml
- src/parser.mly 10 additions, 4 deletionssrc/parser.mly
- src/parserUtils.ml 30 additions, 4 deletionssrc/parserUtils.ml
- src/unifyType.ml 2 additions, 2 deletionssrc/unifyType.ml
- test/lus2lic.log.ref 10 additions, 5 deletionstest/lus2lic.log.ref
Loading
Please register or sign in to comment