v2025.2.0

• ci: better handling of failed jobs and retries, now warns if the duration of a test changed drastically
• conZonotope/representsa: check for 'emptySet' makes use of polytope/representsa now
• converter/cora2spaceex: bug fix, reset assignments
• examples/ARCH'25 revisions
• global/CORAROOT: major speedup
• global/CORAerror: made help text clickable for convenience
• global/CORAlinprog: improved stability
• global/CORAtable: added 'rownr' and 'time' format, added 'csv' design
• global/checkValueAttributes: bug fix, gpuArrays
• global/codingConvention: enforced timerVal in tic-toc
• global/printCell: bug fixes
• global/printMatrix: bug fixes
• global/updateCORApath: should be faster now; no longer includes the repeatability template
• global/verbose: sets, systems, matrices, tables, etc. can now be printed directly into a file
• linearSys/Krylov: refactor, speed up, and improved testing
• linearSys/sparse|full: added
• matZonotope/contains: added
• matZonotope/randPoint: bug fix
• models: moved distributed model files into ./model folder
• neuralNetwork/calcSensitivity: fixed bug with incorrect size
• neuralNetwork/computeReducedNetwork: added, computes a reduced network with nice verification guarantees
• neuralNetwork/explain: added, computes provably sufficient explanations
• nn: added ability to verify graph neural networks
• nnActivationLayer: bug fix, large domains
• polygon/minkDiff: bug fix, reset vertices property
• polytope/project: bug fix, empty polytope did not return the correct polytope
• polytope/representa: emptySet, bug fix
• polytope/zonotope: added method 'inner'
• reachSet/hasTimeInterval: added
• reachSet/plot: bug fix, no time interval
• repeatability package: updates for clarity
• simResult/add: bug fix
• simResult/isemptyobject: bug fix
• specification/check: improved check of reachSet/simResult for timed specifications
• zonoBundle/generateRandom: bug fix
• zonotope/compact: bug fix, outputs are now consistent for 'all'
• zonotope/contains: speed up, if the zonotope represents an interval; bug fix, tolerances
• zonotope/reduce: added two methods based scaling
• zonotope/sparse|full: added
• zonotope/zonotopeNorm: bug fix, minimizer was not returned properly