-
Notifications
You must be signed in to change notification settings - Fork 9
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.
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
Author
Label
Milestones
Assignee
Sort
Issues list
Relax GCC -Wshadow warning to -Wshadow=local
gcc
Limited to the GCC compiler
#771
opened Nov 14, 2023 by
pietercollins
Fix bugs in nonlinear optimisation solvers
bug
Something isn't working
solvers
Solvers module
#765
opened Oct 19, 2023 by
pietercollins
Improved linear equation solving
algebra
Algebra module
enhancement
Something new or different that is an improvement
#764
opened Oct 19, 2023 by
pietercollins
Naming and documentation of optimisation solvers
docs
Documentation
solvers
Solvers module
#761
opened Oct 5, 2023 by
pietercollins
Python extraction of HybridEnclosure from HybridEnclosureListSet segfaults
bug
Something isn't working
python
Python interface
Improving grid method scalability
dynamics
Dynamics module
enhancement
Something new or different that is an improvement
#754
opened Jul 1, 2023 by
okrima
Simplify results of Integrators
deficiency
Un undesirable feature which is not a bug
solvers
Solvers module
#753
opened Jun 29, 2023 by
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
Add drawer.hpp to ariadne.hpp
deficiency
Un undesirable feature which is not a bug
#745
opened Mar 31, 2023 by
lgeretti
Implement inner Enclosure approximations
dynamics
Dynamics module
enhancement
Something new or different that is an improvement
#744
opened Mar 31, 2023 by
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
Support algebraic assignments in DifferentialInclusion
dynamics
Dynamics module
enhancement
Something new or different that is an improvement
#731
opened Jan 29, 2023 by
lgeretti
Make DifferentialInclusionEvolver implement EvolverInterface
enhancement
Something new or different that is an improvement
Restore Polytope functionality
enhancement
Something new or different that is an improvement
geometry
Geometry module
#724
opened Jan 1, 2023 by
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
Support arm on Ubuntu
arm
arm architecture
enhancement
Something new or different that is an improvement
linux
Limited to the Linux platform
Reorganise tests of floating-point rounding
numeric
Numeric module
tests
Related to testing
#692
opened Dec 1, 2022 by
pietercollins
Matrix decompositions
algebra
Algebra module
bug
Something isn't working
#673
opened Jun 14, 2022 by
pietercollins
lower_reach with no termination time works incorrectly
bug
Something isn't working
dynamics
Dynamics module
priority:major
Major relevance or priority
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
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
Previous Next
ProTip!
Find all open issues with in progress development work with linked:pr.