Fix a bug when expanding nodes (-en). A Node that calls a node that
itself calls another node on a non-trivial clock (i.e., using a when) was not producing correct code. I've fixed this by performing the fix-point on nodes rather than on equations. Indeed its more natural and efficient, and it avoid the problem above. However, I did not really fix the problem, but just turn around it. All tests seems to work fine though. nb : #FAILS=81->80 (and -2 unresolved, but because I fixed the prog)
Showing
- src/l2lExpandNodes.ml 85 additions, 77 deletionssrc/l2lExpandNodes.ml
- src/licPrg.mli 2 additions, 2 deletionssrc/licPrg.mli
- src/rif_base.ml 2 additions, 1 deletionsrc/rif_base.ml
- test/Makefile 1 addition, 0 deletionstest/Makefile
- test/lus2lic.sum 9 additions, 7 deletionstest/lus2lic.sum
- test/lus2lic.time 2 additions, 2 deletionstest/lus2lic.time
- test/should_work/ck5.lus 4 additions, 1 deletiontest/should_work/ck5.lus
- test/should_work/long_et_stupide_nom_de_noeud.lus 1 addition, 1 deletiontest/should_work/long_et_stupide_nom_de_noeud.lus
- test/site.exp 4 additions, 0 deletionstest/site.exp
- todo.org 19 additions, 0 deletionstodo.org
- todo.org_archive 11 additions, 0 deletionstodo.org_archive
Loading
Please register or sign in to comment