Code

#474 - Revise properties#494

Code

Merged

schillic merged 11 commits intomasterJuliaReach/Reachability.jl:masterfrom schillic/474_part2JuliaReach/Reachability.jl:schillic/474_part2Copy head branch name to clipboardFeb 24, 2019

+365-342

Commits

Commits on Feb 24, 2019

• outsource Properties module

  schillic

  committed
  fe122f2

  Copy full SHA for fe122f2

• refactor imports in tests

  schillic

  committed
  4e6f96d

  Copy full SHA for 4e6f96d

• rename check_property -> check

  schillic

  committed
  3b72281

  Copy full SHA for 3b72281

• add Conjunction and Disjunction properties

  schillic

  committed
  8ab3f36

  Copy full SHA for 8ab3f36

• add properties to manual

  schillic

  committed
  23644ff

  Copy full SHA for 23644ff

• better description of properties

  schillic

  committed
  7a7b32e

  Copy full SHA for 7a7b32e

• add block mapping of Conjunction/Disjunction

  schillic

  committed
  954dd92

  Copy full SHA for 954dd92

• remove LinearConstraintProperty

  schillic

  committed
  4859a53

  Copy full SHA for 4859a53

• rename files

  schillic

  committed
  76a92ff

  Copy full SHA for 76a92ff

• rename SubsetProperty and IntersectionProperty

  schillic

  committed
  a380bc9

  Copy full SHA for a380bc9

• Update src/Properties/Disjunction.jl

  Show description for 66ad058
  

  mforets

  and

  schillic

  authored
  66ad058

  Copy full SHA for 66ad058