Dec. 22, 2023
10:46 a.m.
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.