Code

maraboupy#9

Code

Merged

clazarus merged 8 commits intoNeuralNetworkVerification:masterNeuralNetworkVerification/Marabou:masterfrom clazarus:maraboupyclazarus/Marabou:maraboupyCopy head branch name to clipboardMar 16, 2018

+2,709

Commits

Commits on Mar 10, 2018

• implementing addReluConstraint()

  Show description for 75eb4f3
  clazarus

  committed
  75eb4f3

  Copy full SHA for 75eb4f3

Commits on Mar 13, 2018

• Python Wrapper

  Show description for 5852c51
  clazarus

  committed
  5852c51

  Copy full SHA for 5852c51

• directory moved up one level

  clazarus

  committed
  950399c

  Copy full SHA for 950399c

Commits on Mar 15, 2018

• gitignore

  Show description for 5dcde4f
  clazarus

  committed
  5dcde4f

  Copy full SHA for 5dcde4f

• Indentation fix

  Show description for 1d80caf
  clazarus

  committed
  1d80caf

  Copy full SHA for 1d80caf

• Merge branch 'maraboupy' of github.com:clazarus/Marabou into maraboupy

  ShantanuThakoor

  committed
  4edb9c3

  Copy full SHA for 4edb9c3

• Refactored addReluConstraint into MarabouCore

  ShantanuThakoor

  committed
  ce6d30b

  Copy full SHA for ce6d30b

• undo changes to Inputquery

  clazarus

  committed
  3dc858b

  Copy full SHA for 3dc858b