Code

#255 - Refactor options#464

Code

Merged

schillic merged 43 commits intomasterJuliaReach/Reachability.jl:masterfrom schillic/255_refactor_optionsJuliaReach/Reachability.jl:schillic/255_refactor_optionsCopy head branch name to clipboardFeb 19, 2019

+858-638

Commits

Commits on Feb 15, 2019

• add TwoLayerDictionary

  schillic

  committed
  1f47d8e

  Copy full SHA for 1f47d8e

• add OptionSpec

  schillic

  committed
  c17bdfa

  Copy full SHA for c17bdfa

Commits on Feb 16, 2019

• fix trailing space

  schillic

  committed
  e9e24d0

  Copy full SHA for e9e24d0

• add conversion from specs list to specs map

  schillic

  committed
  4e74a5a

  Copy full SHA for 4e74a5a

• add function to unify aliases

  schillic

  committed
  83231df

  Copy full SHA for 83231df

• add function to validate options

  schillic

  committed
  c1789f9

  Copy full SHA for c1789f9

• downgrade docstests (order is undefined)

  schillic

  committed
  f1a9405

  Copy full SHA for f1a9405

• add function to merge options

  schillic

  committed
  0205c8a

  Copy full SHA for 0205c8a

• remove exports again

  schillic

  committed
  e72b313

  Copy full SHA for e72b313

• use new options functionality

  schillic

  committed
  220aeb2

  Copy full SHA for 220aeb2

• add manual section 'Algorithms'

  schillic

  committed
  647b3e6

  Copy full SHA for 647b3e6

• rename variable (was too ambiguous)

  schillic

  committed
  2e7087a

  Copy full SHA for 2e7087a

• move file

  schillic

  committed
  8146b81

  Copy full SHA for 8146b81

• move file

  schillic

  committed
  10c205b

  Copy full SHA for 10c205b

• add AbstractOptions type

  schillic

  committed
  0437486

  Copy full SHA for 0437486

• refactor options interface

  schillic

  committed
  e262b36

  Copy full SHA for e262b36

• fix bug in TwoLayerOptions

  schillic

  committed
  5fcdee1

  Copy full SHA for 5fcdee1

• do not access dictionary directly

  schillic

  committed
  c74940c

  Copy full SHA for c74940c

• fix printing of 'nothing'

  schillic

  committed
  460cf25

  Copy full SHA for 460cf25

• avoid haskey

  schillic

  committed
  1fff7b4

  Copy full SHA for 1fff7b4

• make property an explicit argument

  schillic

  committed
  8a5b5ec

  Copy full SHA for 8a5b5ec

• add temporary hack for refactoring

  schillic

  committed
  90e95e5

  Copy full SHA for 90e95e5

• move option :approx_model

  schillic

  committed
  e81037d

  Copy full SHA for e81037d

• move option :algorithm

  schillic

  committed
  b3ff500

  Copy full SHA for b3ff500

Commits on Feb 17, 2019

• do not use option :N anymore

  schillic

  committed
  ff2f47a

  Copy full SHA for ff2f47a

• move option :δ, remove option :N

  schillic

  committed
  848b355

  Copy full SHA for 848b355

• helper functions for TwoLayerOptions

  schillic

  committed
  a8b35d5

  Copy full SHA for a8b35d5

• move options :vars, :blocks, :inout_map

  schillic

  committed
  adb97a3

  Copy full SHA for adb97a3

• move option :lazy_sih

  schillic

  committed
  cd4fb7d

  Copy full SHA for cd4fb7d

• better printing

  schillic

  committed
  2ae40ac

  Copy full SHA for 2ae40ac

• support additional algorithm-specific option validation

  schillic

  committed
  21df674

  Copy full SHA for 21df674

• move options :lazy_exmp and :lazy_expm_discretize

  schillic

  committed
  75b1942

  Copy full SHA for 75b1942

• move option :pade_expm

  schillic

  committed
  e1044b5

  Copy full SHA for e1044b5

• move option :assume_sparse

  schillic

  committed
  9f03eb4

  Copy full SHA for 9f03eb4

• move option :assume_homogeneous

  schillic

  committed
  41d847f

  Copy full SHA for 41d847f

• move option :eager_checking

  schillic

  committed
  a3a53a2

  Copy full SHA for a3a53a2

• move option :lazy_X0

  schillic

  committed
  719760d

  Copy full SHA for 719760d

• add support for option normalization

  schillic

  committed
  4cc0e61

  Copy full SHA for 4cc0e61

• move option :lazy_inputs_interval

  schillic

  committed
  31d3348

  Copy full SHA for 31d3348

• move options :partition and :block_types*

  schillic

  committed
  5d21519

  Copy full SHA for 5d21519

• bugfix

  schillic

  committed
  ff3b173

  Copy full SHA for ff3b173

• bugfix

  schillic

  committed
  f858236

  Copy full SHA for f858236

Commits on Feb 18, 2019

• move options for approximation

  schillic

  committed
  6e439fa

  Copy full SHA for 6e439fa