Code

Ft opt#35

Code

Merged

guykatzz merged 8 commits intomasterNeuralNetworkVerification/Marabou:masterfrom ft_optNeuralNetworkVerification/Marabou:ft_optCopy head branch name to clipboardMay 9, 2018

+296-322

Commits

Commits on May 8, 2018

• a more efficient computation of the explicit basis:

  Show description for f318b4f
  GuyKatzHuji

  committed
  f318b4f

  Copy full SHA for f318b4f

• Merge branch 'master' into ft_opt

  GuyKatzHuji

  committed
  f4af79f

  Copy full SHA for f4af79f

• pivoting stats

  GuyKatzHuji

  committed
  11796ab

  Copy full SHA for 11796ab

• bug fix in store/restore

  GuyKatzHuji

  committed
  a32d35f

  Copy full SHA for a32d35f

• Merge branch 'master' into ft_opt

  GuyKatzHuji

  committed
  f0193cd

  Copy full SHA for f0193cd

Commits on May 9, 2018

• supprt for a "basis column oracle", which allows the basis

  Show description for e53123c
  GuyKatzHuji

  committed
  e53123c

  Copy full SHA for e53123c

• cleanup in FT factorization

  GuyKatzHuji

  committed
  6c7e6e3

  Copy full SHA for 6c7e6e3

• grab a fresh basis from the oracle instead of condensing th etas

  GuyKatzHuji

  committed
  450a302

  Copy full SHA for 450a302