issues
search
JuliaReach
/
LazySets.jl
Scalable symbolic-numeric set computations in Julia
https://juliareach.github.io/LazySets.jl/
Other
226
stars
32
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Better equivalence check of singleton and zonotope
#3489
schillic
closed
3 months ago
0
Fix membership test in zonotope without generators
#3488
schillic
closed
3 months ago
0
Add permute for HalfSpace, HPolytope, HPolyhedron
#3487
schillic
closed
3 months ago
0
Use exact LP solver for integer sets
#3486
schillic
closed
4 months ago
0
Add permute for Zonotope
#3485
schillic
closed
3 months ago
0
Conversion from zonotopic set to Hyperrectangle
#3484
schillic
closed
4 months ago
2
Rename variables to avoid typos warnings
#3483
schillic
closed
5 months ago
0
Bring back IntervalConstraintProgramming in tests
#3482
schillic
closed
4 months ago
0
Fix piracy with `rand`
#3481
schillic
closed
5 months ago
0
Do not use GLPK's presolve in default Polyhedra backend
#3480
schillic
closed
5 months ago
0
Fix for rectify in #3469
#3479
schillic
closed
5 months ago
1
Run doctests when building docs instead of tests
#3478
schillic
closed
5 months ago
0
Make test conditional on IA version
#3477
schillic
closed
5 months ago
0
Generalize reduce_order with StaticArrays matrix
#3476
schillic
closed
5 months ago
0
Plot recipe for lazy operations of unions
#3475
schillic
opened
5 months ago
0
#1193 - Concrete translation of lazy operations
#3474
schillic
closed
5 months ago
0
TaylorModels compat v0.7
#3473
schillic
closed
5 months ago
0
CompatHelper: bump compat for TaylorModels to 0.7 for package docs, (keep existing compat)
#3472
github-actions[bot]
closed
5 months ago
0
CompatHelper: bump compat for TaylorModels to 0.7 for package test, (keep existing compat)
#3471
github-actions[bot]
closed
5 months ago
0
Remove precompile statement
#3470
schillic
closed
5 months ago
0
Revise `rectify`
#3469
schillic
closed
5 months ago
0
decompose for fixed target type with overapproximation
#3468
schillic
closed
5 months ago
1
reduce_order for zonotope with static matrix
#3467
schillic
closed
5 months ago
0
More convert methods for HPolytope/HPolyhedron
#3466
schillic
closed
5 months ago
0
Remove Javis from test dependencies
#3465
schillic
closed
6 months ago
0
Use `eachindex`/`axes` instead of `1:length`/`1:size`
#3464
schillic
closed
5 months ago
0
Fix piracies with `activate_assertions` & `deactivate_assertions`
#3463
schillic
closed
5 months ago
1
Fix piracy with `<=`
#3462
schillic
closed
5 months ago
0
Fix unbound args
#3461
schillic
closed
5 months ago
0
Fix invalid character
#3460
schillic
closed
6 months ago
0
Move PkgVersion code to central place
#3459
schillic
closed
5 months ago
0
Support `overapproximate` of unions instead of convex hulls
#3458
schillic
closed
5 months ago
0
Zonotope overapproximation of intersection between zonotope and axis-aligned half-space based on ICP
#3457
schillic
closed
3 months ago
0
Convex hull algorithm from Polyhedra.jl produces invalid constraints
#3456
schillic
closed
5 months ago
2
Convex hull algorithm in 2D sensitive to numeric precision
#3455
schillic
opened
6 months ago
1
Minor fixes in comments
#3454
schillic
closed
6 months ago
0
Add Aqua badge
#3453
schillic
closed
5 months ago
0
Add Aqua badge and fix Codecov
#3452
schillic
closed
6 months ago
0
Remove old (now duplicate) ambiguity tests
#3451
schillic
closed
6 months ago
0
Fix unbound args
#3450
schillic
closed
5 months ago
0
Fix piracies
#3449
schillic
closed
5 months ago
0
Remove calls to uniqueID (done in constructor)
#3448
schillic
closed
5 months ago
0
`convert` from SparsePolynomialZonotope to Taylor model
#3447
schillic
closed
4 months ago
1
Remove redundant generators in zonotope overapproximations
#3446
schillic
closed
5 months ago
0
Replace $ with double backticks
#3445
schillic
closed
6 months ago
0
Generalize order-reducing overapproximate method
#3444
schillic
closed
4 months ago
0
Replace Integer -> Int
#3443
schillic
closed
4 months ago
0
Use one thread in v1.6 CI
#3442
schillic
closed
6 months ago
0
Add timeout to tests
#3441
schillic
closed
6 months ago
0
`convert` from Taylor model to SparsePolynomialZonotope
#3440
schillic
closed
4 months ago
0
Previous
Next