Code

Tableau merge cols#68

Code

Merged

guykatzz merged 8 commits intomasterNeuralNetworkVerification/Marabou:masterfrom tableau_merge_colsNeuralNetworkVerification/Marabou:tableau_merge_colsCopy head branch name to clipboardJun 15, 2018

+230-19

Commits

Commits on Jun 14, 2018

• check if an equation is an identity equation

  GuyKatzHuji

  committed
  facbf9e

  Copy full SHA for facbf9e

• supprot for merging columns in the tableau when a special equation is encountered

  GuyKatzHuji

  committed
  1545f2c

  Copy full SHA for 1545f2c

• debug stuff

  GuyKatzHuji

  committed
  3fbb5af

  Copy full SHA for 3fbb5af

Commits on Jun 15, 2018

• store and restore merged vars in the tableau

  guykatzz

  committed
  b413c30

  Copy full SHA for b413c30

• cleanup

  guykatzz

  committed
  7db18b1

  Copy full SHA for 7db18b1

• cleanup

  guykatzz

  committed
  7418e35

  Copy full SHA for 7418e35

• a more efficient way for merging: without re-computing a set of basic variables

  guykatzz

  committed
  bdead3d

  Copy full SHA for bdead3d

• dont use new technique by default

  guykatzz

  committed
  93f1a79

  Copy full SHA for 93f1a79