Search results

Version Restriction for IntervalArithmetic.jl Causing Problems

external 📤Related to external packagesRelated to external packages

Status: Open.

#3781 In JuliaReach/LazySets.jl;

· chelseas opened on Jan 15, 2025

Revisit simplification of lazy Intersection

bug 🐛Something isn't workingSomething isn't working

discussion 🗣️Requires human inputRequires human input

Status: Open.

#3687 In JuliaReach/LazySets.jl;

· schillic opened on Dec 20, 2024

Plot recipe for lazy operations of unions

plots 🎨Related to plottingRelated to plotting

Status: Open.

#3475 In JuliaReach/LazySets.jl;

· schillic opened on Mar 17, 2024

Convex hull algorithm in 2D sensitive to numeric precision

bug 🐛Something isn't workingSomething isn't working

discussion 🗣️Requires human inputRequires human input

Status: Open.

#3455 In JuliaReach/LazySets.jl;

· schillic opened on Mar 2, 2024

Unify switching logic for solvers

refactoring 🔧Internal code changes, typically no impact on APIInternal code changes, typically no impact on API

simplification 👶Simplifies codeSimplifies code

Status: Open.

#3420 In JuliaReach/LazySets.jl;

· schillic opened on Jan 5, 2024

Template polyhedron (TPolyhedron)

set representation

Status: Open.

#3387 In JuliaReach/LazySets.jl;

· schillic opened on Oct 15, 2023

Use and document fast vertices_list for 2D zonotopes

documentation 📖Documentation and manualDocumentation and manual

performance 🐎More efficient codeMore efficient code

Status: Open.

#3331 In JuliaReach/LazySets.jl;

· schillic opened on Jun 2, 2023

convert from Zonotope to VPolytope fails due to inconsistent argument name

bug 🐛Something isn't workingSomething isn't working

Status: Open.

#3317 In JuliaReach/LazySets.jl;

· schillic opened on Apr 30, 2023

Problems when using minkowski_sum by parallel computation (Threads.@threads)

external 📤Related to external packagesRelated to external packages

Status: Open.

#3315 In JuliaReach/LazySets.jl;

· Xinyi-Yu opened on Apr 29, 2023

Add docs page about paraview output

documentation 📖Documentation and manualDocumentation and manual

Status: Open.

#3312 In JuliaReach/LazySets.jl;

· mforets opened on Apr 28, 2023

Use SnoopPrecompile

performance 🐎More efficient codeMore efficient code

Status: Open.

#3301 In JuliaReach/LazySets.jl;

· schillic opened on Apr 14, 2023

Collect method invalidations in test suite

performance 🐎More efficient codeMore efficient code

Status: Open.

#3300 In JuliaReach/LazySets.jl;

· schillic opened on Apr 14, 2023