Search results

error: identifier '_mpz' preceded by whitespace in a literal operator declaration is deprecated [-Werror,-Wdeprecated-literal-operator] 2163 | inline mpz_class operator"" _mpz(const char* s)

Status: Open.

#111 In SRI-CSL/libpoly;

· yurivict opened on Jun 21, 2026

Variable is not context aware

Status: Open.

#98 In SRI-CSL/libpoly;

· Ovascos opened on Oct 25, 2025

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

Status: Open.

#74 In SRI-CSL/libpoly;

· yurivict opened on Jan 13, 2024

Python bindings check fails on 32-bit

Status: Open.

#20 In SRI-CSL/libpoly;

· dddejan opened on Apr 3, 2020

make check on MacOS X

Status: Open.

#15 In SRI-CSL/libpoly;

· BrunoDutertre opened on Apr 19, 2018

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

Status: Open.

#11 In SRI-CSL/libpoly;

· dddejan opened on Jul 25, 2017

Add division for algebraic numbers

Status: Open.

#8 In SRI-CSL/libpoly;

· dddejan opened on Nov 17, 2016

Add an implementation of open_memstream

Status: Open.

#6 In SRI-CSL/libpoly;

· dddejan opened on Jul 8, 2015

Model and variable order should be merged

Status: Open.

#5 In SRI-CSL/libpoly;

· dddejan opened on May 27, 2015

Polynomial set_external doesn't really make sense

Status: Open.

#4 In SRI-CSL/libpoly;

· dddejan opened on May 27, 2015

Add timestamps to assignment to hash model-based computations

Status: Open.

#3 In SRI-CSL/libpoly;

· dddejan opened on May 27, 2015

polynomial_ctx to hash expensive ops

Status: Open.

#2 In SRI-CSL/libpoly;

· dddejan opened on May 27, 2015