ariadne-cps/ariadne

Issues

• Python Examples Fail to Run

  #675 opened 3 years ago by mpophal2018
  2

• Implement neuro-symbolic reach-avoid in a verification module

  #780 opened 8 months ago by lgeretti
  0

• Relax GCC -Wshadow warning to -Wshadow=local

  #771 opened a year ago by pietercollins
  0

• Python import issues under gcc12

  #760 opened a year ago by lgeretti
  0

• Path issues for Python

  #769 opened a year ago by lgeretti
  0

• Python examples not updated

  #756 opened a year ago by lgeretti
  0

• chrono library not properly working under Ubuntu Clang

  #767 opened a year ago by lgeretti
  1

• Fix bugs in nonlinear optimisation solvers

  #765 opened a year ago by pietercollins
  0

• Improved linear equation solving

  #764 opened a year ago by pietercollins
  0

• Naming and documentation of optimisation solvers

  #761 opened a year ago by pietercollins
  0

• Segmentation fault and extracting solution

  #757 opened 2 years ago by pastankaitis
  2

• Python extraction of HybridEnclosure from HybridEnclosureListSet segfaults

  #759 opened 2 years ago by lgeretti
  0

• Installation issues from the repository

  #755 opened 2 years ago by pastankaitis
  13

• Improving grid method scalability

  #754 opened 2 years ago by okrima
  0

• Simplify results of Integrators

  #753 opened 2 years ago by pietercollins
  0

• pytest not found under macOS

  #749 opened 2 years ago by lgeretti
  1

• Implement constraint-based tuning of reachability properties

  #747 opened 2 years ago by lgeretti
  0

• Implement inner Enclosure approximations

  #744 opened 2 years ago by lgeretti
  0

• Add drawer.hpp to ariadne.hpp

  #745 opened 2 years ago by lgeretti
  0

• shared_ptr::unique not available anymore in C++20

  #738 opened 2 years ago by lgeretti
  1

• Segmentation fault in VectorFieldSimulator

  #741 opened 2 years ago by pietercollins
  1

• Fix bug in multiplication of Taylor models

  #735 opened 2 years ago by pietercollins
  1

• Support algebraic assignments in DifferentialInclusion

  #731 opened 2 years ago by lgeretti
  0

• Make DifferentialInclusionEvolver implement EvolverInterface

  #730 opened 2 years ago by lgeretti
  0

• Support arm on Ubuntu

  #708 opened 2 years ago by lgeretti
  1

• Parallelise approximations used in differential inclusion evolver

  #725 opened 2 years ago by lgeretti
  1

• Link submodules statically

  #726 opened 2 years ago by lgeretti
  0

• Restore Polytope functionality

  #724 opened 2 years ago by lgeretti
  0

• Maybe-uninitialized warning under gcc 12

  #721 opened 2 years ago by lgeretti
  1

• Reduce or avoid use of mixins to provide arithmetic operations

  #719 opened 2 years ago by pietercollins
  0

• Support gcc 12

  #686 opened 2 years ago by lgeretti
  1

• Gnuplot not working as optional

  #717 opened 2 years ago by lgeretti
  4

• Warnings related to inline functions used but not implemented

  #696 opened 2 years ago by lgeretti
  4

• Infinite recursion detected on gcc12

  #695 opened 2 years ago by lgeretti
  0

• Support Clang > 11

  #714 opened 2 years ago by lgeretti
  0

• Support gcc 11

  #712 opened 2 years ago by lgeretti
  0

• Address warnings and issues with AppleClang

  #678 opened 2 years ago by lgeretti
  0

• ARM GCC char is unsigned

  #710 opened 2 years ago by lgeretti
  0

• Decouple the concurrency module as an external submodule

  #702 opened 2 years ago by lgeretti
  0

• Fix Python module issue with macOS

  #693 opened 2 years ago by lgeretti
  0

• Use ConcLog dependency instead of sources in io/

  #681 opened 2 years ago by lgeretti
  0

• Sprintf is deprecated according to AppleClang

  #698 opened 2 years ago by lgeretti
  0

• test_dyadic fails on gcc 12

  #697 opened 2 years ago by lgeretti
  1

• Support rounding for arm64

  #685 opened 2 years ago by lgeretti
  0

• Reorganise tests of floating-point rounding

  #692 opened 2 years ago by pietercollins
  0

• atan support without using long double

  #688 opened 2 years ago by lgeretti
  1

• Implement BDDs using HermesBDD on Paver

  #677 opened 3 years ago by lgeretti
  0

• Matrix decompositions

  #673 opened 3 years ago by pietercollins
  0

• Show boundary of drawing box in Figure

  #671 opened 3 years ago by lgeretti
  0

• lower_reach with no termination time works incorrectly

  #670 opened 3 years ago by lgeretti
  0