-
Notifications
You must be signed in to change notification settings - Fork 41
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
convert VPolytope inconsistent with tovrep
external 📤Related to external packagesRelated to external packagesfix 🤕Fix to a problem that is not too seriousFix to a problem that is not too seriousStatus: Open.#4267 In JuliaReach/LazySets.jl;- Status: Open.#4036 In JuliaReach/LazySets.jl;
- Status: Open.#3973 In JuliaReach/LazySets.jl;
Ambiguous sorting of
convex_hullin 2Dbug 🐛Something isn't workingSomething isn't workingStatus: Open.#3839 In JuliaReach/LazySets.jl;Revisit simplification of lazy
Intersectionbug 🐛Something isn't workingSomething isn't workingdiscussion 🗣️Requires human inputRequires human inputStatus: Open.#3687 In JuliaReach/LazySets.jl;Plot recipe for lazy operations of unions
plots 🎨Related to plottingRelated to plottingStatus: Open.#3475 In JuliaReach/LazySets.jl;Unify switching logic for solvers
refactoring 🔧Internal code changes, typically no impact on APIInternal code changes, typically no impact on APIsimplification 👶Simplifies codeSimplifies codeStatus: Open.#3420 In JuliaReach/LazySets.jl;- Status: Open.#3387 In JuliaReach/LazySets.jl;
Use and document fast vertices_list for 2D zonotopes
documentation 📖Documentation and manualDocumentation and manualperformance 🐎More efficient codeMore efficient codeStatus: Open.#3331 In JuliaReach/LazySets.jl;convert from Zonotope to VPolytope fails due to inconsistent argument name
bug 🐛Something isn't workingSomething isn't workingStatus: Open.#3317 In JuliaReach/LazySets.jl;Problems when using minkowski_sum by parallel computation (Threads.@threads)
external 📤Related to external packagesRelated to external packagesStatus: Open.#3315 In JuliaReach/LazySets.jl;Add docs page about paraview output
documentation 📖Documentation and manualDocumentation and manualStatus: Open.#3312 In JuliaReach/LazySets.jl;