This is in relation to our use of ERAN with ELINA. We further debugged and we seem to see that the method elina_abstract0_from_zonotope in zonoml.h is undefined in the project. We also see that the associated mapping in the python interface seems to be missing.
Can you verify this? Or could you point us to a version which has these definitions? We see this in a version of ELINA that we cloned today.
We were wondering if the zonoml_reduced_product.c was supposed to contain the implementation, but maybe this was missed during the latest merge.
This is important to our work, so I'm trying to debug it too. Any help would be appreciated :-)
Hi Gagandeep,
This is in relation to our use of ERAN with ELINA. We further debugged and we seem to see that the method elina_abstract0_from_zonotope in zonoml.h is undefined in the project. We also see that the associated mapping in the python interface seems to be missing.
Can you verify this? Or could you point us to a version which has these definitions? We see this in a version of ELINA that we cloned today.
We were wondering if the zonoml_reduced_product.c was supposed to contain the implementation, but maybe this was missed during the latest merge.
This is important to our work, so I'm trying to debug it too. Any help would be appreciated :-)
Regards, Antonio