Thanks Marcus. I wasn't aware of all the complexity behind undeclareds.

Cheers,
Mart��n

El mi��, 20 dic 2023 a la(s) 12:34���p.m., Marcus Denker (marcus.denker@inria.fr) escribi��:
Hi,

You might have seen that we have done some work�� related to Undeclared.

I did some slides to explain how it worked / how it works now / what remaining problems are / next step.