Releases
v2025.1.0
TUMcps
released this
10 Apr 10:56
contDynamics/nrOfDims: added, renamed from nrOfStates
contDynamics/printSystem: bug fix, function handles not printed correctly
contSet/contains: major improvements, now also provides a certificate on its result
contSet/plot: bug fix, better handling of (partially) transparent colors
ellipsoid/zonotope: bug fix for 'inner:norm', returned zonotope now always has the desired number of generators
neuralNetwork/computePGDAttack: bug fix, no upper and lower bound is set per default (apart from the epsilon radius)
nonlinearSys/reach: fixes for special approximative reachability
global/codingConventions: harmonized code writing throughout CORA
global/macros/CORAGITBRANCH: added, returns the current git branch name
global/printMatrix: bug fix, clearline flag was ignored if matrix has all zeros
polygon/compact: bugfix for Douglas Peuker algorithm
polyZonotope/exponentMatrix/id: improved merging of redundant exponents and ids
polyZonotope/polyMap: bug fix, E with all-zero columns
zonotope/reduce: added order reduction method from the Sadraddini-Tedrake paper
You can’t perform that action at this time.