Search results

Function algebra dispatching

algebraAlgebra moduleAlgebra module

deficiencyUn undesirable feature which is not a bugUn undesirable feature which is not a bug

functionFunction moduleFunction module

Status: Open.

#798 In ariadne-cps/ariadne;

· pietercollins opened on Jan 7, 2025

Uniform array class

Status: Open.

#793 In ariadne-cps/ariadne;

· pietercollins opened on Nov 30, 2024

Support Interval Taylor models

enhancementSomething new or different that is an improvementSomething new or different that is an improvement

Status: Open.

#790 In ariadne-cps/ariadne;

· lgeretti opened on Nov 13, 2024

Use aggregate initialization for configurations

enhancementSomething new or different that is an improvementSomething new or different that is an improvement

priority:lowLow priorityLow priority

Status: Open.

#789 In ariadne-cps/ariadne;

· pietercollins opened on Nov 6, 2024

Clarity over step-size suggestion to integrator classes

deficiencyUn undesirable feature which is not a bugUn undesirable feature which is not a bug

solversSolvers moduleSolvers module

Status: Open.

#788 In ariadne-cps/ariadne;

· pietercollins opened on Oct 28, 2024

Validated expressions and expression patches

Status: Open.

#787 In ariadne-cps/ariadne;

· pietercollins opened on Oct 28, 2024

Test for invalid urgent events

hybridHybrid moduleHybrid module

priority:lowLow priorityLow priority

Status: Open.

#785 In ariadne-cps/ariadne;

· pietercollins opened on Oct 15, 2024

Python representation of Real

deficiencyUn undesirable feature which is not a bugUn undesirable feature which is not a bug

numericNumeric moduleNumeric module

priority:lowLow priorityLow priority

pythonPython interfacePython interface

Status: Open.

#784 In ariadne-cps/ariadne;

· pietercollins opened on Oct 15, 2024

Undefined variables in examples

Status: Open.

#781 In ariadne-cps/ariadne;

· akaph2p opened on Sep 24, 2024

Implement neuro-symbolic reach-avoid in a verification module

enhancementSomething new or different that is an improvementSomething new or different that is an improvement

pythonPython interfacePython interface

verificationVerification moduleVerification module

Status: Open.

#780 In ariadne-cps/ariadne;

· lgeretti opened on Jul 21, 2024

Relax GCC -Wshadow warning to -Wshadow=local

gccLimited to the GCC compilerLimited to the GCC compiler

Status: Open.

#771 In ariadne-cps/ariadne;

· pietercollins opened on Nov 14, 2023

Fix bugs in nonlinear optimisation solvers

bugSomething isn't workingSomething isn't working

solversSolvers moduleSolvers module

Status: Open.

#765 In ariadne-cps/ariadne;

· pietercollins opened on Oct 19, 2023