Skip to content

v2.5.3

Latest

Choose a tag to compare

@lgeretti lgeretti released this 03 Jul 19:00

Legenda:

  • N: new feature

  • A: addition to a feature

  • C: change to the behavior of a feature

  • F: fixed feature

  • R: removed feature

  • #34 (N) Support multivalued functions (for Interval Taylor models support)

  • #328 (N) Add atan support for NormedAlgebra

  • #796 (N) Add Foundations module for (topo)logical notions

  • #569 (A) Adding multiple points simulator

  • #685 (A) Support ARM by making it properly fall into C99 rounding

  • #686 (A) Support GCC 12 on all platforms

  • #334 (C) Clean-up function models, notably template parameters

  • #337 (C) Rename partial functions to FunctionPatch

  • #665 (C) Remove Value, and use plain FloatXX as exact object

  • #666 (C) Template Float classes

  • #681 (C) Refactor the logger as a ConcLog logger submodule

  • #688 (C) Modify atan to avoid using long double, to support ARM architecture

  • #702 (C) Refactor the concurrency modules as a BetterThreads concurrency submodule

  • #788 (C) Add explicit suggest(...) for step-size suggestion to integrator classes

  • #698 (C) Use snprintf instead of the deprecated sprintf

  • #198 (C,F) Modify differential inclusion code to conform to other evolvers, fix reach set returned to be rigorous

  • #678 (F) Address warnings using AppleClang, which is now usable on C++20 Concepts code

  • #710 (F) Change use of char to short to address issue that ARM GCC char is unsigned

  • #735 (F) Fix bug in multiplication of Taylor models causing under-approximation of error

  • #741 (F) Fix fault in VectorFieldSimulator by using Approximation instead of Real step size