Gagandeep Singh

Hi Jose, Thanks for your interest in ELINA. You can encode larger coefficients by creating object(s) of type "elina_scalar_t" with mpq_t using the function "elina_scalar_set_mpq". The resulting scalar(s) can be...

Hi Jose, Thanks for your feedback. Sure, depending on the analysis, the Polyhedra coefficients can grow large very quickly even starting from a very small integer, e.g. 5. Besides performance...

Hi Jose, I would be fine if you want to work on adding mpz_t support in ELINA (I am having few deadlines so would not be able to do it...

Hi Tobias, Thanks for spotting this. I have the bug now and there should be no crash due to remove. Cheers, Gagan

Hi there, Thanks for your interest in using ERAN. We are in the process of extending support for handling networks in ONNX format and the support for LogSoftMax node would...

Hi, This function has the same functionality as "opt_pk_to_lincons_array" so we instead use it for printing timing information for our analyzers (this is just a hack). If you need its...

Hi there, Thanks for your message. You can try adding the directory containing gurobi_c.h file on your systems to here: https://github.com/eth-sri/ELINA/blob/9737c1124cd29b909cbdf27da6b1214c230d455f/fppoly/Makefile#L36 Please let me know if it works. Cheers, Gagandeep...

Awesome, thanks a lot for the PR. I have merged it, please let us know if you encounter any other issues. Cheers, Gagandeep Singh

Hi Yiyun, The join operator tries to convert the constraint representation of polyhedron to the generator representation using the standard Chernikova algorithm. This algorithm involves multiplying coefficients in the constraints...

Hi Mike, Thanks for your question and comments. The overflow can happen during analysis with 64-bit integers for both ELINA and PPL. We note that since there is no canonical...