Add a à la ocaml 'with' construct for modifying structures.
Showing
- src/ast2lic.ml 21 additions, 18 deletionssrc/ast2lic.ml
- src/astCore.ml 2 additions, 1 deletionsrc/astCore.ml
- src/astV6Dump.ml 6 additions, 4 deletionssrc/astV6Dump.ml
- src/evalClock.ml 7 additions, 3 deletionssrc/evalClock.ml
- src/evalConst.ml 80 additions, 95 deletionssrc/evalConst.ml
- src/evalType.ml 66 additions, 8 deletionssrc/evalType.ml
- src/l2lExpandArrays.ml 4 additions, 5 deletionssrc/l2lExpandArrays.ml
- src/lic.ml 3 additions, 3 deletionssrc/lic.ml
- src/licDump.ml 2 additions, 2 deletionssrc/licDump.ml
- src/parser.mly 4 additions, 2 deletionssrc/parser.mly
- src/parserUtils.ml 1 addition, 1 deletionsrc/parserUtils.ml
- src/unifyClock.ml 2 additions, 2 deletionssrc/unifyClock.ml
- test/lus2lic.log.ref 10 additions, 4 deletionstest/lus2lic.log.ref
- test/lus2lic.sum 5 additions, 2 deletionstest/lus2lic.sum
- test/should_fail/struct.lus 8 additions, 0 deletionstest/should_fail/struct.lus
- test/should_fail/struct_incomplete.lus 9 additions, 0 deletionstest/should_fail/struct_incomplete.lus
- test/should_work/struct_with.lus 13 additions, 0 deletionstest/should_work/struct_with.lus
- todo.org 12 additions, 15 deletionstodo.org
- todo.org_archive 14 additions, 0 deletionstodo.org_archive
- utils/lustre.el 1 addition, 1 deletionutils/lustre.el
Loading
Please register or sign in to comment