Skip to content

Issues: ariadne-cps/ariadne

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

155 Open 417 Closed
155 Open 417 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Milestones
Filter by milestone
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

Relax GCC -Wshadow warning to -Wshadow=local gcc Limited to the GCC compiler
#771 opened Nov 14, 2023 by pietercollins
@lgeretti
Fix bugs in nonlinear optimisation solvers bug Something isn't working solvers Solvers module
#765 opened Oct 19, 2023 by pietercollins
@pietercollins
Improved linear equation solving algebra Algebra module enhancement Something new or different that is an improvement
#764 opened Oct 19, 2023 by pietercollins
@pietercollins
Naming and documentation of optimisation solvers docs Documentation solvers Solvers module
#761 opened Oct 5, 2023 by pietercollins
@pietercollins
Python extraction of HybridEnclosure from HybridEnclosureListSet segfaults bug Something isn't working python Python interface
#759 opened Sep 4, 2023 by lgeretti Fix bugs
@lgeretti
Segmentation fault and extracting solution
#757 opened Aug 16, 2023 by pastankaitis
@pietercollins
2
Improving grid method scalability dynamics Dynamics module enhancement Something new or different that is an improvement
#754 opened Jul 1, 2023 by okrima
@okrima
Simplify results of Integrators deficiency Un undesirable feature which is not a bug solvers Solvers module
#753 opened Jun 29, 2023 by pietercollins
@pietercollins
Implement constraint-based tuning of reachability properties enhancement Something new or different that is an improvement verification Verification module
#747 opened Apr 21, 2023 by lgeretti
@lgeretti
Add drawer.hpp to ariadne.hpp deficiency Un undesirable feature which is not a bug
#745 opened Mar 31, 2023 by lgeretti
@lgeretti
Implement inner Enclosure approximations dynamics Dynamics module enhancement Something new or different that is an improvement
#744 opened Mar 31, 2023 by lgeretti
@lgeretti
shared_ptr::unique not available anymore in C++20 deficiency Un undesirable feature which is not a bug
#738 opened Feb 23, 2023 by lgeretti
1
Support algebraic assignments in DifferentialInclusion dynamics Dynamics module enhancement Something new or different that is an improvement
#731 opened Jan 29, 2023 by lgeretti
@lgeretti
Make DifferentialInclusionEvolver implement EvolverInterface enhancement Something new or different that is an improvement
#730 opened Jan 26, 2023 by lgeretti Efficiency and improved internal organization
@lgeretti
Restore Polytope functionality enhancement Something new or different that is an improvement geometry Geometry module
#724 opened Jan 1, 2023 by lgeretti
@lgeretti
Reduce or avoid use of mixins to provide arithmetic operations algebra Algebra module function Function module numeric Numeric module proposal Something new or different that is not strictly an improvement
#719 opened Dec 22, 2022 by pietercollins
@pietercollins
Support arm on Ubuntu arm arm architecture enhancement Something new or different that is an improvement linux Limited to the Linux platform
#708 opened Dec 7, 2022 by lgeretti Release 2.5
@lgeretti
1
Reorganise tests of floating-point rounding numeric Numeric module tests Related to testing
#692 opened Dec 1, 2022 by pietercollins
@pietercollins
Implement BDDs using HermesBDD on Paver geometry Geometry module
#677 opened Sep 6, 2022 by lgeretti Efficiency and improved internal organization
@luigicapogrosso
Python Examples Fail to Run
#675 opened Jun 16, 2022 by mpophal2018
Matrix decompositions algebra Algebra module bug Something isn't working
#673 opened Jun 14, 2022 by pietercollins
@pietercollins
Show boundary of drawing box in Figure bug Something isn't working io Input-output module
#671 opened May 24, 2022 by lgeretti Improve user experience
@lgeretti
lower_reach with no termination time works incorrectly bug Something isn't working dynamics Dynamics module priority:major Major relevance or priority
#670 opened May 24, 2022 by lgeretti Fix bugs
@lgeretti
Python representation should evaluate back to object io Input-output module priority:low Low priority python Python interface
#668 opened May 12, 2022 by pietercollins
@pietercollins
Tutorials and demonstrations give no output if no command-line arguments are given bug Something isn't working examples Official or experimental examples of the library
#664 opened Apr 13, 2022 by pietercollins
@lgeretti
ProTip! Find all open issues with in progress development work with linked:pr.