Code

polyhedron redundant constraints#1040

Code

Merged

mforets merged 9 commits intomasterJuliaReach/LazySets.jl:masterfrom mforets/polyhedron_constraintsJuliaReach/LazySets.jl:mforets/polyhedron_constraintsCopy head branch name to clipboardJan 22, 2019

+83-57

Commits

Commits on Jan 21, 2019

• change default intersection algorithm

  mforets

  committed
  3865058

  Copy full SHA for 3865058

• error for empty polyhedron

  mforets

  committed
  d991221

  Copy full SHA for d991221

• use relaxed _leq

  mforets

  committed
  a4cffed

  Copy full SHA for a4cffed

Commits on Jan 22, 2019

• update branch

  mforets

  committed
  938a898

  Copy full SHA for 938a898

• Update src/concrete_intersection.jl

  Show description for 5b101fa
  

  schillic

  and

  mforets

  authored
  5b101fa

  Copy full SHA for 5b101fa

• remove _leq for <=

  mforets

  committed
  e032ee5

  Copy full SHA for e032ee5

• Update src/HPolyhedron.jl

  Show description for 4dd9513
  

  schillic

  and

  mforets

  authored
  4dd9513

  Copy full SHA for 4dd9513

• Update src/HPolyhedron.jl

  Show description for 88a59ac
  

  schillic

  and

  mforets

  authored
  88a59ac

  Copy full SHA for 88a59ac

• update intersections with halfspace

  mforets

  committed
  6e0f5f1

  Copy full SHA for 6e0f5f1