Skip to content

Issues: eth-sri/ELINA

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

17 Open 47 Closed
17 Open 47 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Segmentation fault in hash for polyhedra
#99 opened Jul 19, 2024 by McTsts
Segfaults in Java bindings
#98 opened Jul 16, 2024 by svenkeidel
2
Segmentation fault in substitution
#97 opened Jun 13, 2024 by McTsts
Unexpected bottom after meeting constraints using elina_poly
#96 opened Apr 25, 2024 by rmonat
1
No bound_texpr support for polyhedra domain
#94 opened Oct 12, 2023 by jboillot
error when executing make in ELINA
#85 opened Jul 5, 2021 by metalkick
2
zonotope_is_leq function not implemented
#42 opened Sep 22, 2018 by shankarapailoor
1
Joining operation throws overflow exception for small coefficients/dimensions
#39 opened Aug 28, 2018 by yiyunliu
8
Polyhedra domain does not set exactness flag correctly when calculating join
#36 opened Jul 28, 2018 by Cu3PO42
EXC_BAD_ACCESS when freeing abstract polyhedra values
#35 opened Jul 27, 2018 by Cu3PO42
Combination of substitution and dimension removal can crash polyhedra domain
#34 opened Jul 27, 2018 by Cu3PO42
1
Infer results on Elina
#28 opened Jun 26, 2018 by skcho
5
Any plans for int_64 coefficients or, ideally, mpz_t coefficients?
#26 opened Jun 20, 2018 by jmct
5
Implementation of opt_pk_array_fprint is incomplete.
#24 opened May 31, 2018 by sykloid
1
Box manager funptr incomplete
#13 opened Apr 10, 2018 by alexjung
3
failed compilation of ocaml target
#7 opened Mar 29, 2017 by monniaux
6
GPU or Xeon Phi support?
#2 opened Nov 30, 2015 by rainoftime
1
ProTip! Type g i on any issue or pull request to go back to the issue listing page.