Code

Dev query logger#61

Code

Merged

sparth95 merged 46 commits intoNeuralNetworkVerification:masterNeuralNetworkVerification/Marabou:masterfrom clazarus:dev_query_loggerclazarus/Marabou:dev_query_loggerCopy head branch name to clipboardOct 4, 2018

+837-13

Commits

Commits on May 25, 2018

• initial inputQuery

  Show description for 318edf4
  clazarus

  committed
  318edf4

Commits on May 26, 2018

• progress query logger

  clazarus

  committed
  40feb22

Commits on May 27, 2018

• query logger progress

  Show description for c07bab3
  clazarus

  committed
  c07bab3

Commits on May 28, 2018

• serializer string issues solved

  Show description for 1b50350
  clazarus

  committed
  1b50350

Commits on May 29, 2018

• query logger

  Show description for e8f80cb
  clazarus

  committed
  e8f80cb

Commits on May 30, 2018

• Relu deserializer

  clazarus

  committed
  4c4dd13

• max constraint deserializer

  Show description for 60a1524
  clazarus

  committed
  60a1524

Commits on May 31, 2018

• loader complete

  Show description for 6b17c57
  clazarus

  committed
  6b17c57

• - loader complete

  Show description for 20c7b4d
  clazarus

  committed
  20c7b4d

• remove comment typo

  clazarus

  committed
  bfb00db

Commits on Jun 1, 2018

• Query Logger Complete

  clazarus

  committed
  f7eae4a

• Merge branch 'master' into dev_query_logger

  clazarus

  committed
  0ec71fa

• removing test file

  clazarus

  committed
  122cc4f

• adding functions for tests

  Show description for 7f3b72e
  clazarus

  committed
  7f3b72e

• mostly cosmetics

  Show description for 8da31e5
  guykatzz

  committed
  8da31e5

• some cosmetics and some comments

  guykatzz

  committed
  32dc306

• cosmetics, some comments

  guykatzz

  committed
  61d6fcf

• gitignore

  guykatzz

  committed
  ef68f8e

• cleanup: that constructor wasn't doing anything (I don't think you can

  Show description for 45a0615
  guykatzz

  committed
  45a0615

Commits on Jun 3, 2018

• Comments have been adressed and fixed. TODO: refactor loadQuery() and saveQuery() to use File.h instead of ofstream.

  clazarus

  committed
  e0f5ba3

• mostly cosmetics

  guykatzz

  committed
  0e22c7d

• use our file interfaces

  guykatzz

  committed
  6fe9ac3

• refactoring, use our file interface

  guykatzz

  committed
  53999d8

• allocate buffer on heap

  guykatzz

  committed
  7a09604

• dont need buffer anymore

  guykatzz

  committed
  63b86f3

• mock infrastructure for testing classes that use File

  guykatzz

  committed
  612aef2

• compilation

  guykatzz

  committed
  57c727f

Commits on Jun 28, 2018

• Merge branch 'master' into dev_query_logger

  clazarus

  committed
  f54bc17

• InputQuery Includes fix

  clazarus

  committed
  5800feb

Commits on Jul 6, 2018

• new bugs

  clazarus

  committed
  83427fa

Commits on Jul 13, 2018

• Merge branch 'master' into dev_query_logger

  clazarus

  committed
  8f012be

Commits on Jul 16, 2018

• Merge branch 'master' into dev_query_logger

  clazarus

  committed
  32a6f3f

Commits on Jul 22, 2018

• Merge branch 'master' into dev_query_logger

  clazarus

  committed
  4332309

Commits on Jul 24, 2018

• query logger issues

  clazarus

  committed
  3e1a9dc

• Merge branch 'master' into dev_query_logger

  clazarus

  committed
  54fefd6

Commits on Aug 3, 2018

• Merge branch 'master' into dev_query_logger

  clazarus

  committed
  085a244

Commits on Aug 8, 2018

• Merge branch 'master' into dev_query_logger

  clazarus

  committed
  69c8f72

Commits on Aug 11, 2018

• query loader bugs fixed

  clazarus

  committed
  4b2834a

Commits on Oct 2, 2018

• Upating code based on Guy's comments

  

  sparth95

  authored and

  Parth Shah

  committed
  6acce08

Commits on Oct 3, 2018

• Changing the initalizer for PL constraints for query loading

  

  sparth95

  authored and

  Parth Shah

  committed
  858e517

• Minor Change

  

  sparth95

  authored and

  Parth Shah

  committed
  324113e

Commits on Oct 4, 2018

• Adding saveQuery function interface in python

  

  sparth95

  authored and

  Parth Shah

  committed
  369ea8c

• removing merge conflicts

  

  sparth95

  authored and

  Parth Shah

  committed
  e1dc911

• Minor Change

  

  sparth95

  authored and

  Parth Shah

  committed
  7ef35b5

• Updating test for max and relu constraints

  

  Parth Shah

  authored and

  Parth Shah

  committed
  1886d5c

• Updating make file

  

  sparth95

  authored and

  Parth Shah

  committed
  cb1ff40