Memory leak CtcInverse about ibex-lib

[Jordan08]

There is no bug here. You don't use correctly CtcInverse.
There is a dimension problem.
I think there is a misunderstanding. CtcInverse is not the backward algorithm.

When you use "contract" on CtcInverse(c,f),

• you apply f on the box
• then you contract the result of f(box) with c
• then with the result of this contraction, you use the backward algo with f to come back to the original box.

So, the size of the objects is :
f: R^n -> R^m
c : contract on a box of size m
CtcInverse(c,f) contract a box of size n

To summary, contract of CtcInverse is =

res = f.forward(box)
c.contract(res)
f.backward(box, res)

[Jordan08]

ok sorry
we will look at it
thank you!

[gchabert]

Thanks. It is fixed (with also another memory problem in the lexer).