Add support for condact in --expand-iterators mode.
Also fix some bugs in DumpLic when printing condact in other modes.
Showing
- Makefile 6 additions, 3 deletionsMakefile
- src/ast2lic.ml 2 additions, 2 deletionssrc/ast2lic.ml
- src/evalConst.ml 46 additions, 46 deletionssrc/evalConst.ml
- src/evalType.ml 2 additions, 2 deletionssrc/evalType.ml
- src/l2lExpandArrays.ml 2 additions, 2 deletionssrc/l2lExpandArrays.ml
- src/l2lExpandMetaOp.ml 51 additions, 7 deletionssrc/l2lExpandMetaOp.ml
- src/lic.ml 14 additions, 14 deletionssrc/lic.ml
- src/licDump.ml 197 additions, 197 deletionssrc/licDump.ml
- src/licMetaOp.ml 137 additions, 141 deletionssrc/licMetaOp.ml
- src/licName.ml 23 additions, 26 deletionssrc/licName.ml
- src/unifyClock.ml 18 additions, 10 deletionssrc/unifyClock.ml
- test/Makefile 3 additions, 2 deletionstest/Makefile
- test/lus2lic.log.ref 25 additions, 46 deletionstest/lus2lic.log.ref
- test/lus2lic.sum 11 additions, 10 deletionstest/lus2lic.sum
- test/lus2lic.time 2 additions, 2 deletionstest/lus2lic.time
- test/should_fail/type/condact2.lus 0 additions, 0 deletionstest/should_fail/type/condact2.lus
- test/should_work/cond01.lus 0 additions, 0 deletionstest/should_work/cond01.lus
- test/should_work/condact.lus 0 additions, 0 deletionstest/should_work/condact.lus
- todo.org 23 additions, 40 deletionstodo.org
- todo.org_archive 34 additions, 0 deletionstodo.org_archive
Loading
Please register or sign in to comment