JuliaReach/LazySets.jl

Issues

• Wrong intersection of line segments

  #3629 opened 3 months ago by Wikunia
  5

• `VPolygon(M::SMatrix)` errors

  #3631 opened 3 months ago by ederag
  3

• Faster extrema of HPolytope/HPolyhedron in 1D

  #3419 opened 10 months ago by schillic
  0

• Add docs page about paraview output

  #3312 opened 2 years ago by mforets
  0

• convert from Zonotope to VPolytope fails due to inconsistent argument name

  #3317 opened 2 years ago by schillic
  0

• vertices_list returns Float64 type for Float32 type input

  #3393 opened 4 months ago by Wei-TianHao
  1

• UndefVarError: `IntervalBox` not defined on 'using'

  #3599 opened 4 months ago by danvinci
  2

• Remove + and - methods for Interval

  #3282 opened 2 years ago by schillic
  0

• Use only one interval instance for `zero_itv` / `sym_itv`

  #3495 opened 7 months ago by schillic
  0

• Fix piracies

  #3449 opened 8 months ago by schillic
  0

• Convex hull algorithm from Polyhedra.jl produces invalid constraints

  #3456 opened 8 months ago by schillic
  2

• Plot recipe for lazy operations of unions

  #3475 opened 8 months ago by schillic
  0

• Fix unbound args

  #3450 opened 8 months ago by schillic
  0

• Convex hull algorithm in 2D sensitive to numeric precision

  #3455 opened 8 months ago by schillic
  1

• Unify switching logic for solvers

  #3420 opened 10 months ago by schillic
  0

• Inclusion of zonotope without generators in polyhedron

  #3416 opened 10 months ago by schillic
  0

• convex_hull of two 1D points modifies points in-place

  #3414 opened 10 months ago by schillic
  0

• Containment check in a LinearMap can fail with SingularException

  #3394 opened a year ago by schillic
  0

• Inclusion check of flat zonotope in equivalent line segment fails

  #3405 opened a year ago by schillic
  1

• Template polyhedron (TPolyhedron)

  #3387 opened a year ago by schillic
  0

• Update "How to cite" in manual

  #3347 opened a year ago by mforets
  0

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

  #3315 opened 2 years ago by Xinyi-Yu
  8

• Caching the JuMP model in linprog

  #3336 opened a year ago by Zinoex
  9

• glp_simplex warning in remove_redundant_vertices

  #3226 opened a year ago by schillic
  1

• Use and document fast vertices_list for 2D zonotopes

  #3331 opened a year ago by schillic
  0

• Use autoformatter?

  #3251 opened a year ago by mforets
  3

• Support vector of Polygon

  #3324 opened a year ago by gzagatti
  2

• typos and spelling

  #3302 opened 2 years ago by spaette
  0

• Inconsistent point in tetrahedron check

  #3303 opened 2 years ago by mforets
  0

• Use SnoopPrecompile

  #3301 opened 2 years ago by schillic
  0

• Collect method invalidations in test suite

  #3300 opened 2 years ago by schillic
  0

• Add linprog method directly from constraints

  #3299 opened 2 years ago by schillic
  0

• Support vector of empty HPolygon returns a value

  #3297 opened 2 years ago by schillic
  0

• Extend CachedMinkowskiSumArray to support function

  #3278 opened 2 years ago by schillic
  0

• Zonotope overapproximation of Minkowski difference of zonotopes

  #3272 opened 2 years ago by schillic
  0

• Zonotope underapproximation of Minkowski difference of zonotopes

  #3271 opened 2 years ago by schillic
  0

• Implement efficient point in tetrahedron check

  #3259 opened 2 years ago by mforets
  0

• Implement Tetrahedron type

  #3258 opened 2 years ago by mforets
  0

• AbstractStar is recognized as a concrete set type

  #3194 opened 2 years ago by schillic
  0

• Generalize VPolytope container type

  #3249 opened 2 years ago by mforets
  0

• Documentation Update section causes error

  #3242 opened 2 years ago by Zitzeronion
  1

• Random parallelotope generation often returns an empty set

  #3203 opened 2 years ago by schillic
  0

• Depend on `MathOptInterface` directly instead of referencing the internal variable of `JuMP`

  #3238 opened 2 years ago by lassepe
  1

• constraints_list of flat zonotopes is wrong

  #3209 opened 2 years ago by schillic
  0

• Support vector of Ball2 in zero direction

  #3198 opened 2 years ago by schillic
  0

• Behavior of default implementations

  #3186 opened 2 years ago by schillic
  0

• Outsource common code to implement concretize of lazy array operations

  #3169 opened 2 years ago by schillic
  0

• remove_redundant_constraints should not return an EmptySet

  #3160 opened 2 years ago by schillic
  0

• Add ispolyhedraltype trait

  #3158 opened 2 years ago by schillic
  0

• Add AbstractHyperplane interface

  #3155 opened 2 years ago by schillic
  0