Pinned
1,043 contributions in the last year
Less
More
Activity overview
Contributed to
JuliaReach/LazySets.jl,
JuliaReach/MathematicalSystems.jl,
JuliaReach/Reachability.jl
and 5 other
repositories
Contribution activity
February 2021
Created 32 commits in 3 repositories
Created a pull request in JuliaReach/LazySets.jl that received 4 comments
WIP Alternative polytope sampler
Alternative to #2547 that seems more biased toward the edges. Related to #2536. The idea is to start from the Chebyshev center and then walk toward…
+29
−0
•
4
comments
Opened 11 other pull requests in 2 repositories
JuliaReach/LazySets.jl
10
merged
- Use fallback _linear_map_vrep for VPolygon
- Downgrade ModelingToolkit
- #1337 - Fix ispermutation for approximate duplicates
- #1916 - Fix crash in isequivalent for same set types
- #1298 - Singleton containment invokes the wrong method
- #674 - Remove redundant vertices from linear_map of V-reps
- Update docs
- Fix docs
- Better error message in minkowski_sum of V-reps
- Sampling from a convex polytope
JuliaReach/ReachabilityModels.jl
1
merged
Reviewed 12 pull requests in 2 repositories
JuliaReach/LazySets.jl 11 pull requests
- #2219 - Review dispatch on numeric type in concrete intersection
- Implement Star set
- #2550 - Fix special case for VPolygon msum
- Update Project.toml
- Update Project.toml
- #2527 - Concrete projection of the cartesian product of an interval and a set in vrep
- Fix isempty with Polyhedra backend
- Fix robust comparison in ballinf overapproximation
- #2537 -- Add uniform sampling + apply it to line segment
- #2539 - Update concrete projection of HPolytope
- Update concrete cartesian product
JuliaReach/ARCH2020_NLN_RE 1 pull request
Created an issue in JuliaReach/LazySets.jl that received 1 comment
Error when passing LP solver to Polyhedra
The problem might be that we construct a MathProgBase solver but Polyhedra expects a MathOptInterface solver. If this is true, we could either solve …
1
comment