ELINA
ELINA copied to clipboard
eth-sri
ELINA: ETH LIbrary for Numerical Analysis
The implementation of `opt_pk_array_fprint` (and hence `abstract0_fprint`) doesn't actually call out to `opt_pk_fprint`. There's some code there which looks reasonable, but it has been commented out. I'm assuming there was...
I tried to port some simple examples from APRON to ELINA. This worked for simple linear expressions but resulted in a segmentation fault for t-expressions, which I think are required...
Is there any plan to add GPU or Xeon Phi support? Thanks in advance, Jack
Hello, I am trying to test the replacement of Apron by Elina in a toy analyzer. The problem is that it seems the function `bound_texpr` is not defined for the...
I tested an assignment creating an overflow in Elina's internal representation, starting from top. The polyhedra domain signals an overflows and returns top. However, the octagon domain does not appear...
I have an edge case were adding constraint `x - (-9223372036854775808) >= 0` and then adding constraint `-9223372036854775808 - x >= 0` yields bottom for elina_poly, which is unsound. Would...
Hello, I'm trying to use substitution with the apron interface and am encountering segmentation faults whenever one of Abstract1's texpr substitution functions are called. Here's a simple example that causes...
Hello, when trying to use the `Abstract1.hash` function with the polyhedra domain in the ocaml interface I'm encountering a segmentation fault. The function works as expected with apron's polyhedra domain....
Hi, thank you for your hard work maintaining this library :+1: I encountered several segfaults when using the Java interface of Elina. The first is in file https://github.com/eth-sri/ELINA/blob/master/java_interface/elina/Test.java. The segfault...
