Make sure that L2lRmPoly removes every overloaded expression.
e.g., by replacing "plus" by "iplus" or "rplus" Hence now the following is accepted : res = map<<+, N>>(x, a, b); but still not a_or_b = map<<Lustre::if, N>>(x, a, b);
Showing
- _oasis 1 addition, 0 deletions_oasis
- src/l2lRmPoly.ml 39 additions, 12 deletionssrc/l2lRmPoly.ml
- src/unifyType.ml 3 additions, 2 deletionssrc/unifyType.ml
- test/Makefile 3 additions, 1 deletiontest/Makefile
- test/lus2lic.sum 26 additions, 26 deletionstest/lus2lic.sum
- test/lus2lic.time 1 addition, 1 deletiontest/lus2lic.time
Loading
Please register or sign in to comment