Skip to content

Pull requests: JuliaReach/ReachabilityAnalysis.jl

New pull request New
Clear current search query, filters, and sorts
12 Open 592 Closed
12 Open 592 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Allow TaylorSeries v0.18
#856 opened Jul 22, 2024 by schillic • Draft
CompatHelper: bump compat for TaylorSeries to 0.18, (keep existing compat)
#855 opened Jul 22, 2024 by github-actions bot • Draft
Replace requires macro with require
#848 opened Jun 16, 2024 by schillic Loading…
Do not pass redundant max_order to algorithm
#847 opened Jun 16, 2024 by schillic Loading…
Use preallocate argument in GLGM06
#846 opened Jun 16, 2024 by schillic Loading…
Remove redundant variables in algorithms
#845 opened Jun 16, 2024 by schillic Loading…
Merge and generalize overapproximate methods with HPolytope
#844 opened Jun 16, 2024 by schillic Loading…
Fix argument order of _convert_or_overapproximate
#843 opened Jun 16, 2024 by schillic Loading…
Fix some minor warnings
#842 opened Jun 16, 2024 by schillic Loading…
Revise discretization module
#841 opened Jun 15, 2024 by schillic Loading…
Remove confusing membership method
#840 opened Jun 14, 2024 by schillic Loading…
Fix ambiguities with cluster
#839 opened Jun 14, 2024 by schillic Loading…
ProTip! Updated in the last three days: updated:>2024-07-23.