Release v0.27.0 · JuliaReach/ReachabilityAnalysis.jl

ReachabilityAnalysis v0.27.0

Merged pull requests:

Fix ambiguities with cluster (#839) (@schillic)
Remove confusing membership method (#840) (@schillic)
Revise discretization module (#841) (@schillic)
Fix some minor warnings (#842) (@schillic)
Fix argument order of _convert_or_overapproximate (#843) (@schillic)
Merge and generalize overapproximate methods with HPolytope (#844) (@schillic)
Remove redundant variables in algorithms (#845) (@schillic)
Use preallocate argument in GLGM06 (#846) (@schillic)
Do not pass redundant max_order to algorithm (#847) (@schillic)
Allow CarlemanLinearization v0.4 (#854) (@schillic)
Revise GLGM06 documentation (#857) (@schillic)
Outsource common NSTEPS code to function (#858) (@schillic)
Resolve static kwargs snippets (#859) (@schillic)
Simplify get code from kwargs dictionary (#860) (@schillic)
Bump peter-evans/create-pull-request from 6 to 7 (#867) (@dependabot[bot])
Allow JLD2 v0.5 (#868) (@schillic)
Bump IntervalMatrices and Symbolics (#870) (@schillic)
Use outsourced @required macro from ReachabilityBase (#871) (@schillic)
Aqua v0.8.9 tests only for local ambiguities (#873) (@schillic)
Fix invalidations CI run (#874) (@schillic)
Add commits since last release to README (#875) (@schillic)
Bump codecov/codecov-action from 4 to 5 (#876) (@dependabot[bot])
Bump LazySets v3 (#880) (@schillic)
v0.27.0 (#881) (@schillic)

Closed issues: