Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / sri-csl/libpoly issues and pull requests

#84 - FM rework

Pull Request - State: open - Opened by Ovascos about 2 months ago

#83 - Integer handling for feasible sets

Pull Request - State: closed - Opened by Ovascos about 2 months ago

#82 - Fixed bounds calculcation

Pull Request - State: closed - Opened by Ovascos about 2 months ago

#80 - Feasibility set int

Pull Request - State: closed - Opened by Ovascos 8 months ago

#80 - Feasibility set int

Pull Request - State: closed - Opened by Ovascos 8 months ago

#79 - Support for subresultant generation and features for Zp

Pull Request - State: closed - Opened by Ovascos 9 months ago

#78 - Rabin root finding

Pull Request - State: closed - Opened by Ovascos 9 months ago

#77 - Data structures update

Pull Request - State: closed - Opened by Ovascos 9 months ago

#76 - Use Py_hash_t as return type of hash functions

Pull Request - State: closed - Opened by jamesjer 10 months ago

#76 - Use Py_hash_t as return type of hash functions

Pull Request - State: closed - Opened by jamesjer 10 months ago

#75 - include ctests option in cmake

Pull Request - State: closed - Opened by ahmed-irfan 10 months ago

#73 - Make tests conditional on BUILD_TESTING

Pull Request - State: closed - Opened by yurivict 10 months ago - 1 comment

#73 - Make tests conditional on BUILD_TESTING

Pull Request - State: closed - Opened by yurivict 10 months ago - 1 comment

#72 - Fixed divrem bugs, added pseudo divrem

Pull Request - State: closed - Opened by Ovascos about 1 year ago

#72 - Fixed divrem bugs, added pseudo divrem

Pull Request - State: closed - Opened by Ovascos about 1 year ago

#71 - Ahmed irfan patch 1

Pull Request - State: closed - Opened by ahmed-irfan about 1 year ago

#71 - Ahmed irfan patch 1

Pull Request - State: closed - Opened by ahmed-irfan about 1 year ago

#69 - New release request

Issue - State: closed - Opened by vrcamillo over 1 year ago - 8 comments

#69 - New release request

Issue - State: closed - Opened by vrcamillo over 1 year ago - 8 comments

#68 - Remove unused `enabled_count` variable

Pull Request - State: closed - Opened by RyanGlScott over 1 year ago

#68 - Remove unused `enabled_count` variable

Pull Request - State: closed - Opened by RyanGlScott over 1 year ago

#67 - Build failure with Clang 15 or later

Issue - State: closed - Opened by RyanGlScott over 1 year ago - 1 comment

#67 - Build failure with Clang 15 or later

Issue - State: closed - Opened by RyanGlScott over 1 year ago - 1 comment

#66 - Adapt `u_memstream` code from `mesa`

Pull Request - State: closed - Opened by RyanGlScott over 1 year ago - 1 comment

#66 - Adapt `u_memstream` code from `mesa`

Pull Request - State: closed - Opened by RyanGlScott over 1 year ago - 1 comment

#65 - Implement `open_memstream` on Windows

Issue - State: closed - Opened by RyanGlScott over 1 year ago - 8 comments

#65 - Implement `open_memstream` on Windows

Issue - State: closed - Opened by RyanGlScott over 1 year ago - 8 comments

#64 - Ci mac

Pull Request - State: closed - Opened by ahmed-irfan over 1 year ago

#64 - Ci mac

Pull Request - State: closed - Opened by ahmed-irfan over 1 year ago

#63 - CI using GitHub actions and workflows

Pull Request - State: closed - Opened by ahmed-irfan over 1 year ago - 3 comments

#63 - CI using GitHub actions and workflows

Pull Request - State: closed - Opened by ahmed-irfan over 1 year ago - 3 comments

#62 - update doctest

Pull Request - State: closed - Opened by ahmed-irfan over 1 year ago - 1 comment

#62 - update doctest

Pull Request - State: closed - Opened by ahmed-irfan over 1 year ago - 1 comment

#61 - update min cmake version

Pull Request - State: closed - Opened by ahmed-irfan over 1 year ago

#61 - update min cmake version

Pull Request - State: closed - Opened by ahmed-irfan over 1 year ago

#60 - Add gitignore files to ignore build targets

Pull Request - State: closed - Opened by smuenzel over 2 years ago - 1 comment

#60 - Add gitignore files to ignore build targets

Pull Request - State: closed - Opened by smuenzel over 2 years ago - 1 comment

#59 - libpoly: fix doctest.h to allow PPC build

Pull Request - State: closed - Opened by barracuda156 over 2 years ago - 2 comments

#59 - libpoly: fix doctest.h to allow PPC build

Pull Request - State: closed - Opened by barracuda156 over 2 years ago - 2 comments

#58 - Improve lp_algebraic_number_to_rational

Pull Request - State: closed - Opened by nafur almost 3 years ago
Labels: enhancement

#58 - Improve lp_algebraic_number_to_rational

Pull Request - State: closed - Opened by nafur almost 3 years ago
Labels: enhancement

#57 - Add positive root function of two algebraic numbers

Pull Request - State: closed - Opened by bobot almost 3 years ago - 4 comments

#57 - Add positive root function of two algebraic numbers

Pull Request - State: closed - Opened by bobot almost 3 years ago - 4 comments

#56 - Add operator/() and inverse() for the C++ wrapper AlgebraicNumber()

Pull Request - State: closed - Opened by nafur almost 3 years ago
Labels: enhancement

#56 - Add operator/() and inverse() for the C++ wrapper AlgebraicNumber()

Pull Request - State: closed - Opened by nafur almost 3 years ago
Labels: enhancement

#55 - Fix issue with lp_algebraic_number_neg when number is actually rational

Pull Request - State: closed - Opened by nafur almost 3 years ago
Labels: bug

#55 - Fix issue with lp_algebraic_number_neg when number is actually rational

Pull Request - State: closed - Opened by nafur almost 3 years ago
Labels: bug

#54 - Consider publishing on PyPI

Issue - State: open - Opened by musicinmybrain almost 3 years ago

#54 - Consider publishing on PyPI

Issue - State: open - Opened by musicinmybrain almost 3 years ago

#53 - Why are libpicpoly.a libpicpolyxx.a not installed?

Issue - State: closed - Opened by ianamason about 3 years ago - 5 comments

#53 - Why are libpicpoly.a libpicpolyxx.a not installed?

Issue - State: closed - Opened by ianamason about 3 years ago - 5 comments

#52 - CMakeLists.txt: de-quote conditional appending of open_memstream.c

Pull Request - State: closed - Opened by risicle over 3 years ago - 1 comment

#52 - CMakeLists.txt: de-quote conditional appending of open_memstream.c

Pull Request - State: closed - Opened by risicle over 3 years ago - 1 comment

#51 - Fix memory leak in C++ wrapper

Pull Request - State: closed - Opened by nafur over 3 years ago
Labels: bug

#51 - Fix memory leak in C++ wrapper

Pull Request - State: closed - Opened by nafur over 3 years ago
Labels: bug

#50 - Building fails on Mac M1

Issue - State: closed - Opened by ianamason over 3 years ago - 2 comments

#50 - Building fails on Mac M1

Issue - State: closed - Opened by ianamason over 3 years ago - 2 comments

#49 - Allow -fPIC build on all platforms

Pull Request - State: closed - Opened by nafur over 3 years ago - 1 comment
Labels: enhancement

#49 - Allow -fPIC build on all platforms

Pull Request - State: closed - Opened by nafur over 3 years ago - 1 comment
Labels: enhancement

#48 - Avoid unintended fall-through, ensure proper initialization.

Pull Request - State: closed - Opened by nafur almost 4 years ago

#48 - Avoid unintended fall-through, ensure proper initialization.

Pull Request - State: closed - Opened by nafur almost 4 years ago

#47 - Numerical overflows are possible in some tests for polyxx

Issue - State: closed - Opened by BrunoDutertre about 4 years ago

#47 - Numerical overflows are possible in some tests for polyxx

Issue - State: closed - Opened by BrunoDutertre about 4 years ago

#46 - Fix lp_interval_set_a (and lp_dyadic_interval_set_a) when I is a point interval.

Pull Request - State: closed - Opened by nafur over 4 years ago - 1 comment
Labels: bug

#46 - Fix lp_interval_set_a (and lp_dyadic_interval_set_a) when I is a point interval.

Pull Request - State: closed - Opened by nafur over 4 years ago - 1 comment
Labels: bug

#45 - Unexpected crash with lp_interval_set_a

Issue - State: closed - Opened by nafur over 4 years ago
Labels: bug

#45 - Unexpected crash with lp_interval_set_a

Issue - State: closed - Opened by nafur over 4 years ago
Labels: bug

#44 - Adding wrapper for lp_polynomial_t.

Pull Request - State: closed - Opened by nafur over 4 years ago - 1 comment

#43 - Adding root isolation methods for upolynomial.

Pull Request - State: closed - Opened by nafur over 4 years ago

#43 - Adding root isolation methods for upolynomial.

Pull Request - State: closed - Opened by nafur over 4 years ago

#42 - Adding wrapper for lp_assignment_t.

Pull Request - State: closed - Opened by nafur over 4 years ago

#42 - Adding wrapper for lp_assignment_t.

Pull Request - State: closed - Opened by nafur over 4 years ago

#41 - Wrapper for interval-related stuff

Pull Request - State: closed - Opened by nafur over 4 years ago

#41 - Wrapper for interval-related stuff

Pull Request - State: closed - Opened by nafur over 4 years ago

#40 - Improve setup times on travis, make scripts consistent for ubuntu and osx

Pull Request - State: closed - Opened by nafur over 4 years ago

#40 - Improve setup times on travis, make scripts consistent for ubuntu and osx

Pull Request - State: closed - Opened by nafur over 4 years ago

#39 - Proper ordering on intervals

Issue - State: closed - Opened by nafur over 4 years ago - 5 comments

#39 - Proper ordering on intervals

Issue - State: closed - Opened by nafur over 4 years ago - 5 comments

#38 - Fixed memory leaks in streaming operators within C++ wrapper.

Pull Request - State: closed - Opened by nafur over 4 years ago

#38 - Fixed memory leaks in streaming operators within C++ wrapper.

Pull Request - State: closed - Opened by nafur over 4 years ago

#37 - Support addition of lp_algebraic_number_t that are rationals.

Pull Request - State: closed - Opened by nafur over 4 years ago - 1 comment

#37 - Support addition of lp_algebraic_number_t that are rationals.

Pull Request - State: closed - Opened by nafur over 4 years ago - 1 comment

#36 - Adding wrapper class for lp_value_t.

Pull Request - State: closed - Opened by nafur over 4 years ago

#36 - Adding wrapper class for lp_value_t.

Pull Request - State: closed - Opened by nafur over 4 years ago

#35 - Adds a new C++ version for a sign condition.

Pull Request - State: closed - Opened by nafur over 4 years ago

#35 - Adds a new C++ version for a sign condition.

Pull Request - State: closed - Opened by nafur over 4 years ago

#34 - Handle none as a special lower-than-everything-else value in value comparison

Pull Request - State: closed - Opened by nafur over 4 years ago - 4 comments

#34 - Handle none as a special lower-than-everything-else value in value comparison

Pull Request - State: closed - Opened by nafur over 4 years ago - 4 comments

#33 - Adding wrapper classes for lp_upolynomial_t and lp_algebraic_number_t

Pull Request - State: closed - Opened by nafur over 4 years ago

#33 - Adding wrapper classes for lp_upolynomial_t and lp_algebraic_number_t

Pull Request - State: closed - Opened by nafur over 4 years ago

#32 - Add casts to and from mpz_class and mpq_class.

Pull Request - State: closed - Opened by nafur over 4 years ago

#32 - Add casts to and from mpz_class and mpq_class.

Pull Request - State: closed - Opened by nafur over 4 years ago

#31 - Adding wrapper classes for lp_dyadic_rational_t and lp_dyadic_interval_t.

Pull Request - State: closed - Opened by nafur over 4 years ago

#31 - Adding wrapper classes for lp_dyadic_rational_t and lp_dyadic_interval_t.

Pull Request - State: closed - Opened by nafur over 4 years ago

#30 - Adding wrapper classes for lp_integer_t and lp_rational_t

Pull Request - State: closed - Opened by nafur over 4 years ago - 1 comment

#30 - Adding wrapper classes for lp_integer_t and lp_rational_t

Pull Request - State: closed - Opened by nafur over 4 years ago - 1 comment