Make sure that created node ident are valid and unique.
To do that, we centralized the ident name creation into a new dedicated module Name. + fix should_work/NONREG/param_node.lus, we contained a combinational loop.
Showing
- src/Makefile 2 additions, 0 deletionssrc/Makefile
- src/TODO 0 additions, 2 deletionssrc/TODO
- src/lazyCompiler.ml 1 addition, 1 deletionsrc/lazyCompiler.ml
- src/licDump.ml 23 additions, 6 deletionssrc/licDump.ml
- src/name.ml 45 additions, 0 deletionssrc/name.ml
- src/name.mli 20 additions, 0 deletionssrc/name.mli
- src/test/should_work/clock/clock.lus 1 addition, 1 deletionsrc/test/should_work/clock/clock.lus
- src/test/test.res.exp 130 additions, 128 deletionssrc/test/test.res.exp
Loading
Please register or sign in to comment