eth-sri/ELINA

Issues

• Segmentation fault in hash for polyhedra

  #99 opened 3 months ago by McTsts
  0

• Segfaults in Java bindings

  #98 opened 4 months ago by svenkeidel
  2

• Segmentation fault in substitution

  #97 opened 5 months ago by McTsts
  0

• Does ELINA support the join and meet operators in case of the NNC Polyhedra?

  #93 opened 5 months ago by val-co
  11

• Unexpected bottom after meeting constraints using elina_poly

  #96 opened 6 months ago by rmonat
  1

• Octagon overflow during assignment not handled correctly?

  #95 opened 6 months ago by rmonat
  1

• No bound_texpr support for polyhedra domain

  #94 opened a year ago by jboillot
  0

• How to tune the clam options to reproduce ELINA paper results

  #92 opened 2 years ago by dengyuhui14
  14

• -march=native and -DTIMING not supported in Apple M1

  #90 opened 2 years ago by caballa
  3

• Missing MPFR_LIB_FLAG and GMP_LIB_FLAG in Makefile

  #91 opened 2 years ago by caballa
  2

• error when executing make in ELINA

  #85 opened 3 years ago by metalkick
  2

• Portability issue with the `funptr` array

  #88 opened 3 years ago by corwin-of-amber
  7

• SEGFAULT when joining bottom

  #87 opened 3 years ago by skius
  4

• Get relative bounds for dimensions

  #86 opened 3 years ago by skius
  2

• error: ‘AP_SCALAR_MPFR’ undeclared (first use in this function); did you mean ‘ELINA_SCALAR_MPFR’?

  #83 opened 3 years ago by jsum007
  2

• Memory leaks (Valgrind) in elina_poly

  #79 opened 4 years ago by mariuscrsn
  7

• OSError: libfppoly.so: cannot open shared object file: No such file or directory

  #80 opened 4 years ago by WhoAmI-kai
  4

• Wrong CDD_PREFIX after ./configure --cdd-prefix

  #77 opened 4 years ago by rnbguy
  4

• Makefile in fppoly references non-existant sign_approx.o

  #74 opened 4 years ago by fabianbauermarquart
  1

• Meet/Join with different dims?

  #70 opened 4 years ago by cwright7101
  5

• Adding a new variable and interval to Poly

  #69 opened 4 years ago by cwright7101
  4

• Broken ELINA after 9c99c4d177c691f98f2031657c18fe6fbe4c7571

  #59 opened 4 years ago by Holt59
  1

• Segfault when creating a polyhedra using a tcons_array

  #56 opened 4 years ago by mzehendner
  1

• Compilation failure due to wrong path

  #54 opened 5 years ago by JacksonZyy
  4

• Joining operation throws overflow exception for small coefficients/dimensions

  #39 opened 6 years ago by yiyunliu
  8

• elina_abstract0_from_zonotope is not defined

  #53 opened 5 years ago by antoniobruto
  0

• clang: error: unknown argument: '-mno-fused-madd'

  #51 opened 5 years ago by caballa
  2

• Haskell Bindings, and Apron Support Questions

  #21 opened 6 years ago by sykloid
  5

• Parallel assignment outputs top in the octagon domain.

  #41 opened 6 years ago by gavlegoat
  1

• Unexpected behavior with Octagons

  #43 opened 6 years ago by shankarapailoor
  2

• Segfault in opt_pk_matrix.c

  #47 opened 6 years ago by elazarg
  11

• Problems running elina_test_oct

  #46 opened 6 years ago by OrenGitHub
  1

• 'sys/sysinfo.h' cannot be found on mac

  #45 opened 6 years ago by caballa
  2

• Floating point exception with zones

  #44 opened 6 years ago by caballa
  2

• zonotope_is_leq function not implemented

  #42 opened 6 years ago by shankarapailoor
  1

• Memory leaks in ELINA

  #40 opened 6 years ago by shankarapailoor
  4

• Segfault when assigning to a projected, added dimension using a linexpr.

  #38 opened 6 years ago by sykloid
  4

• Segfault/Incorrect Results on using a polyhedron after assignment.

  #37 opened 6 years ago by sykloid
  4

• Combination of substitution and dimension removal can crash polyhedra domain

  #34 opened 6 years ago by Cu3PO42
  1

• EXC_BAD_ACCESS when freeing abstract polyhedra values

  #35 opened 6 years ago by Cu3PO42
  0

• Polyhedra domain does not set exactness flag correctly when calculating join

  #36 opened 6 years ago by Cu3PO42
  0

• Question on a new release

  #33 opened 6 years ago by skcho
  2

• Infer results on Elina

  #28 opened 6 years ago by skcho
  5

• Cannot build with vector instructions on macOS

  #29 opened 6 years ago by Cu3PO42
  6

• Use after free in opt_pk_assign.c

  #27 opened 6 years ago by skcho
  3

• Any plans for `int_64` coefficients or, ideally, `mpz_t` coefficients?

  #26 opened 6 years ago by jmct
  5

• Buffer overrun error in opt_pk_add_dimensions_cons

  #25 opened 6 years ago by skcho
  10

• Implementation of `opt_pk_array_fprint` is incomplete.

  #24 opened 6 years ago by sykloid
  1

• Segmentation fault by minimize

  #23 opened 6 years ago by skcho
  4

• Weird results of sat_tcons and sat_lincons

  #22 opened 6 years ago by skcho
  8