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

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

Uniform array class
#793 opened Nov 30, 2024 by pietercollins
Support Interval Taylor models enhancement Something new or different that is an improvement
#790 opened Nov 13, 2024 by lgeretti
@pietercollins
1
Use aggregate initialization for configurations enhancement Something new or different that is an improvement priority:low Low priority
#789 opened Nov 6, 2024 by pietercollins
@pietercollins
Clarity over step-size suggestion to integrator classes deficiency Un undesirable feature which is not a bug solvers Solvers module
#788 opened Oct 28, 2024 by pietercollins
@pietercollins
Validated expressions and expression patches
#787 opened Oct 28, 2024 by pietercollins
Test for invalid urgent events hybrid Hybrid module priority:low Low priority
#785 opened Oct 15, 2024 by pietercollins
@pietercollins
Python representation of Real deficiency Un undesirable feature which is not a bug numeric Numeric module priority:low Low priority python Python interface
#784 opened Oct 15, 2024 by pietercollins
@pietercollins
Undefined variables in examples
#781 opened Sep 24, 2024 by akaph2p
1
Implement neuro-symbolic reach-avoid in a verification module enhancement Something new or different that is an improvement python Python interface verification Verification module
#780 opened Jul 21, 2024 by lgeretti
@lgeretti
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
ProTip! Adding no:label will show everything without a label.