Code

Fix clang, gcc >=7.3.0 issues.#24

Code

Merged

guykatzz merged 13 commits intoNeuralNetworkVerification:masterNeuralNetworkVerification/Marabou:masterfrom ibeling:fixmacibeling/Marabou:fixmacCopy head branch name to clipboardApr 30, 2018

+31-7

Commits

Commits on Apr 27, 2018

• fix: not changing dimensions for cost fn manager on restore.

  ibeling

  committed
  a281aa3

• Fix for compilation on very new gcc (7.3.0)

  ibeling

  committed
  fd5c4a2

• Fix uninitialized value issues in Test_Tableau: test_store_and_restore

  ibeling

  committed
  0d5cab7

• Fix so that gcc <7.3.0 and clang can still compile

  ibeling

  committed
  ba3b910

• Fix a typo and revert the additional assertions introduced.

  ibeling

  committed
  296780d

• Fix additional bug in Test_Tableau.

  ibeling

  committed
  97680ea

Commits on Apr 29, 2018

• this only needs to affect cxx compilation

  GuyKatzHuji

  committed
  8ea9d5a

• oops

  GuyKatzHuji

  committed
  815110a

Commits on Apr 30, 2018

• disable terminate flag if g++ >=6.1

  ibeling

  committed
  d459da6

• oops

  ibeling

  committed
  73e94b9

• Fix macOS Make issues. Revert one line in Test_Tableau

  ibeling

  committed
  77fac04

• revert other variableToIndex call in Test_Tableau

  ibeling

  committed
  7287670

• warning about supported platforms

  ibeling

  committed
  eabb5d5