eth-sri ELINA issues - Githubissues

eth-sri / ELINA

ELINA: ETH LIbrary for Numerical Analysis

http://elina.ethz.ch/

Other

129 stars 54 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Segmentation fault in hash for polyhedra

#99 McTsts opened 1 month ago
0
Segfaults in Java bindings

#98 svenkeidel opened 1 month ago
2
Segmentation fault in substitution

#97 McTsts opened 2 months ago
0
Unexpected bottom after meeting constraints using elina_poly

#96 rmonat opened 4 months ago
1
Octagon overflow during assignment not handled correctly?

#95 rmonat closed 3 months ago
1
No bound_texpr support for polyhedra domain

#94 jboillot opened 10 months ago
0
Does ELINA support the join and meet operators in case of the NNC Polyhedra?

#93 val-co closed 3 months ago
11
How to tune the clam options to reproduce ELINA paper results

#92 dengyuhui14 closed 2 years ago
14
Missing MPFR_LIB_FLAG and GMP_LIB_FLAG in Makefile

#91 caballa closed 2 years ago
2
-march=native and -DTIMING not supported in Apple M1

#90 caballa closed 2 years ago
3
Porting to non-x86 (esp. aarch64)

#89 corwin-of-amber closed 2 years ago
1
Portability issue with the `funptr` array

#88 corwin-of-amber closed 2 years ago
7
SEGFAULT when joining bottom

#87 skius closed 2 years ago
4
Get relative bounds for dimensions

#86 skius closed 2 years ago
2
error when executing make in ELINA

#85 metalkick opened 3 years ago
2
Update leakyrelu_approx.c

#84 wu-haoze closed 3 years ago
0
error: ‘AP_SCALAR_MPFR’ undeclared (first use in this function); did you mean ‘ELINA_SCALAR_MPFR’?

#83 jsum007 closed 3 years ago
2
Add getSensitivity function

#82 fserre closed 3 years ago
0
Adds option to disable area heuristic in GPUPoly, and uses cmake in ./configure for GPUPoly.

#81 fserre closed 3 years ago
0
OSError: libfppoly.so: cannot open shared object file: No such file or directory

#80 WhoAmI-kai closed 3 years ago
4
Memory leaks (Valgrind) in elina_poly

#79 mariuscrsn closed 3 years ago
7
Adds a safeguard for improper use of the API.

#78 fserre closed 3 years ago
0
Wrong CDD_PREFIX after ./configure --cdd-prefix

#77 rnbguy closed 3 years ago
4
Remove banchmark on gpupoly

#76 fserre closed 3 years ago
0
Adds a C++ test

#75 fserre closed 3 years ago
0
Makefile in fppoly references non-existant sign_approx.o

#74 fabianbauermarquart closed 3 years ago
1
fix memory leaks (found by Valgrind)

#73 caballa closed 3 years ago
2
Fixing compiler errors when TIMING disabled and fixing some memory leaks

#72 cwright7101 closed 3 years ago
4
[fconv] Non-zero splits for curves

#71 glebmk closed 3 years ago
1
Meet/Join with different dims?

#70 cwright7101 closed 3 years ago
5
Adding a new variable and interval to Poly

#69 cwright7101 closed 3 years ago
4
Add finer access to gpupoly algorithm from python

#68 fserre closed 3 years ago
0
Improved curve

#67 glebmk closed 3 years ago
0
[fconv] Use good bounds for tanh and sigm

#66 glebmk closed 3 years ago
0
Correct file descriptions in some headers

#65 fserre closed 3 years ago
0
Adds GPUPoly

#64 fserre closed 3 years ago
2
[fconv] Fast fkpool and various improvements

#63 glebmk closed 3 years ago
2
Implementation of tanh and sigm

#62 glebmk closed 3 years ago
2
[fconv] Add support of 1-ReLU and verification of the input octahedro…

#61 glebmk closed 3 years ago
0
Efficient computation of convex relaxations

#60 glebmk closed 3 years ago
0
Broken ELINA after 9c99c4d177c691f98f2031657c18fe6fbe4c7571

#59 Holt59 closed 3 years ago
1
Incorporate spatial

#58 anianruoss closed 3 years ago
0
add Lait

#57 LostBenjamin closed 4 years ago
1
Segfault when creating a polyhedra using a tcons_array

#56 mzehendner closed 4 years ago
1
Fix double free.

#55 b-3-n closed 4 years ago
1
Compilation failure due to wrong path

#54 JacksonZyy closed 4 years ago
4
elina_abstract0_from_zonotope is not defined

#53 antoniobruto closed 4 years ago
0
Add ./configure option to suppress overflow warnings

#52 jmct closed 4 years ago
2
clang: error: unknown argument: '-mno-fused-madd'

#51 caballa closed 5 years ago
2
[bugfix] zonotope_aff_alloc_init minor

#50 ljlin closed 5 years ago
1