Code

Revise discretize#503

Code

Merged

mforets merged 25 commits intomasterJuliaReach/Reachability.jl:masterfrom mforets/revise_discretizeJuliaReach/Reachability.jl:mforets/revise_discretizeCopy head branch name to clipboardMar 6, 2019

+693-382

Commits

Commits on Mar 2, 2019

• revise discretize

  mforets

  committed
  3aec3a4

  Copy full SHA for 3aec3a4

Commits on Mar 4, 2019

• update branch (wip)

  mforets

  committed
  bb9deff

  Copy full SHA for bb9deff

• updates in discretizes

  mforets

  committed
  dbeefef

  Copy full SHA for dbeefef

• update tests in systems and in discretization

  mforets

  committed
  17f4dd9

  Copy full SHA for 17f4dd9

• update BFFPSV18

  mforets

  committed
  1b23888

  Copy full SHA for 1b23888

• fix tests

  mforets

  committed
  94e7596

  Copy full SHA for 94e7596

Commits on Mar 5, 2019

• remove usage of ContinuousSystem and DiscreteSystem and fix tests

  mforets

  committed
  a13294c

  Copy full SHA for a13294c

• use loc for issue 491

  mforets

  committed
  94244ab

  Copy full SHA for 94244ab

• remove matrix conversion lazy explicit function

  mforets

  committed
  efd3c6e

  Copy full SHA for efd3c6e

• use algorithm for discretize kwarg

  mforets

  committed
  c04fc23

  Copy full SHA for c04fc23

• change option's name to discretization

  mforets

  committed
  4fccb7a

  Copy full SHA for 4fccb7a

• revision

  mforets

  committed
  275860e

  Copy full SHA for 275860e

• remove domain check when it is already used in discretize

  mforets

  committed
  4a0a19c

  Copy full SHA for 4a0a19c

• remove leading underscore in discretizes algorithms

  mforets

  committed
  1f40964

  Copy full SHA for 1f40964

• comment deprecated use of systems

  mforets

  committed
  960f89c

  Copy full SHA for 960f89c

• fix OptionSpec for explicit

  mforets

  committed
  073fa47

  Copy full SHA for 073fa47

• update docstrings

  mforets

  committed
  cb9ab5b

  Copy full SHA for cb9ab5b

• update doctring

  mforets

  committed
  1cf1fd1

  Copy full SHA for 1cf1fd1

• Update src/ReachSets/discretize.jl

  Show description for bdcbf25
  

  schillic

  and

  mforets

  authored
  bdcbf25

  Copy full SHA for bdcbf25

• Update src/ReachSets/discretize.jl

  Show description for fcdb8ae
  

  schillic

  and

  mforets

  authored
  fcdb8ae

  Copy full SHA for fcdb8ae

• simplify docs

  mforets

  committed
  3b77455

  Copy full SHA for 3b77455

• merge

  mforets

  committed
  e62048c

  Copy full SHA for e62048c

• various revisions

  mforets

  committed
  7f33191

  Copy full SHA for 7f33191

• use ContantInput constructor in discretize_firstorder

  mforets

  committed
  406d389

  Copy full SHA for 406d389

• use ConstantInput constructor in discretize_interpolation

  mforets

  committed
  4bd0920

  Copy full SHA for 4bd0920