Code

Numerical stability issue in SFT#94

Code

Merged

guykatzz merged 9 commits intomasterNeuralNetworkVerification/Marabou:masterfrom ft_bug_fixNeuralNetworkVerification/Marabou:ft_bug_fixCopy head branch name to clipboardSep 13, 2018

+95-33

Commits

Commits on Sep 12, 2018

• WIP

  GuyKatzHuji

  committed
  2681779

• WIP

  GuyKatzHuji

  committed
  89b9ea3

• Merge branch 'ft_bug_fix' of https://github.com/guykatzz/Marabou into ft_bug_fix

  guykatzz

  committed
  0b76848

• wip

  guykatzz

  committed
  d38eb6a

Commits on Sep 13, 2018

• cleanup

  GuyKatzHuji

  committed
  13da0df

• cleanup

  GuyKatzHuji

  committed
  0e5300c

• cleanup

  GuyKatzHuji

  committed
  0597d12

• cleanup

  GuyKatzHuji

  committed
  128e6b8

• compiler warning

  GuyKatzHuji

  committed
  7435bae