SRI-CSL/libpoly

Issues

• Missing case for equality constraints in lp_polynomial_constraint_infer_bounds

  #81 opened 2 months ago by Ovascos
  0

• Fails to build on i386: error: incompatible function pointer types initializing 'hashfunc' (aka 'int (*)(struct _object *)') with an expression of type 'long (PyObject *)' (aka 'long (struct _object *)')

  #70 opened 10 months ago by yurivict
  0

• Tests fail to build on the powerpc64, powerpc64le architectures: error: invalid operand for instruction

  #74 opened 10 months ago by yurivict
  0

• Why are libpicpoly.a libpicpolyxx.a not installed?

  #53 opened a year ago by ianamason
  5

• New release request

  #69 opened a year ago by vrcamillo
  8

• Build failure with Clang 15 or later

  #67 opened a year ago by RyanGlScott
  1

• Implement `open_memstream` on Windows

  #65 opened 2 years ago by RyanGlScott
  8

• Consider publishing on PyPI

  #54 opened 3 years ago by musicinmybrain
  0

• Building fails on Mac M1

  #50 opened 4 years ago by ianamason
  2

• Numerical overflows are possible in some tests for polyxx

  #47 opened 4 years ago by BrunoDutertre
  0

• Unexpected crash with lp_interval_set_a

  #45 opened 4 years ago by nafur
  0

• Proper ordering on intervals

  #39 opened 4 years ago by nafur
  5

• lp_algebraic_number_add has assertion failure when the inputs are actually dyadic rationals

  #13 opened 4 years ago by dillonhuff
  1

• lp_upolynomial_extended_gcd on lp_Z

  #28 opened 4 years ago by nafur
  3

• Unimplemented: lp_dyadic_rational_cmp_rational

  #22 opened 4 years ago by nafur
  0

• debian package issues (Bug#864838)

  #12 opened 4 years ago by ianamason
  2

• Python bindings check fails on 32-bit

  #20 opened 5 years ago by dddejan
  0

• Please support python3

  #16 opened 5 years ago by yurivict
  3

• make check on MacOS X

  #15 opened 7 years ago by BrunoDutertre
  13

• Add an implementation of open_memstream

  #6 opened 9 years ago by dddejan
  3

• Get rid of static "zero" coefficient in coefficient.c

  #11 opened 7 years ago by dddejan
  0

• Add division for algebraic numbers

  #8 opened 8 years ago by dddejan
  0

• Gosh whats with all the fonts and even tex? My vagrant box asploded!

  #7 opened 8 years ago by ianamason
  1

• Add hashes to polynomials.

  #1 opened 9 years ago by dddejan
  0

• Model and variable order should be merged

  #5 opened 9 years ago by dddejan
  0

• Polynomial set_external doesn't really make sense

  #4 opened 9 years ago by dddejan
  0

• Add timestamps to assignment to hash model-based computations

  #3 opened 9 years ago by dddejan
  0

• polynomial_ctx to hash expensive ops

  #2 opened 9 years ago by dddejan
  0