Search results

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

Add AbstractHyperplane interface

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

simplification 👶Simplifies codeSimplifies code

Status: Open.

#3155 In JuliaReach/LazySets.jl;

· schillic opened on Oct 29, 2022

Revise definition of <code>JuMP</code> models

external 📤Related to external packagesRelated to external packages

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

Status: Open.

#2950 In JuliaReach/LazySets.jl;

· schillic opened on Mar 17, 2022

Unify sample of Ball2 with general sample interface

fix 🤕Fix to a problem that is not too seriousFix to a problem that is not too serious

good first issue 🐤Good for newcomersGood for newcomers

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

Status: Open.

#2911 In JuliaReach/LazySets.jl;

· schillic opened on Nov 30, 2021

Refactor symmetric_interval_hull of Hyperrectangle

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

simplification 👶Simplifies codeSimplifies code

Status: Open.

#2783 In JuliaReach/LazySets.jl;

· schillic opened on Jul 14, 2021

Refactor overapproximate: two-stage dispatch

discussion 🗣️Requires human inputRequires human input

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

simplification 👶Simplifies codeSimplifies code

Status: Open.

#2588 In JuliaReach/LazySets.jl;

· schillic opened on Feb 24, 2021

Use iterator methods <code>constraints</code> and <code>vertices</code>

performance 🐎More efficient codeMore efficient code

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

Status: Open.

#2265 In JuliaReach/LazySets.jl;

· schillic opened on Jul 23, 2020

Set trait

feature ➕A new featureA new feature

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

usability 🖱️Simplifies the usage or interfaceSimplifies the usage or interface

Status: Open.

#2059 In JuliaReach/LazySets.jl;

· schillic opened on Mar 7, 2020

Concrete symmetric interval hull

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

Status: Open.

#2028 In JuliaReach/LazySets.jl;

· mforets opened on Feb 28, 2020

Macro for extending the plot limits in plot recipes

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

simplification 👶Simplifies codeSimplifies code

Status: Open.

#1917 In JuliaReach/LazySets.jl;

· schillic opened on Jan 20, 2020

Type-stable decompose with uniform block options

performance 🐎More efficient codeMore efficient code

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

Status: Open.

#1784 In JuliaReach/LazySets.jl;

· mforets opened on Oct 27, 2019

Refactor support function of lazy Intersection

discussion 🗣️Requires human inputRequires human input

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

Status: Open.

#1748 In JuliaReach/LazySets.jl;

· schillic opened on Oct 1, 2019