Code

Absolute value PL constraint#228

Code

Merged

guykatzz merged 122 commits intomasterNeuralNetworkVerification/Marabou:masterfrom absLinearConstraintNeuralNetworkVerification/Marabou:absLinearConstraintCopy head branch name to clipboardMar 31, 2020

+1,976-10

Commits

Commits on May 15, 2019

• initial abs cinstraint, three files - h, cpp and error

  shiranaziz

  committed
  4ea217f

  Copy full SHA for 4ea217f

• variable name

  shiranaziz

  committed
  56613e8

  Copy full SHA for 56613e8

Commits on May 21, 2019

• removing run3 files

  clazarus

  committed
  2b5d4a2

  Copy full SHA for 2b5d4a2

Commits on May 22, 2019

• wip

  GuyKatzHuji

  committed
  f2f373a

  Copy full SHA for f2f373a

• Sources.mk - add AbsConstraint.cpp; AbsConstraint.cpp - Add some signatures, fix satisfied(), implement getPossibleFixes()

  shiranaziz

  committed
  f0e1834

  Copy full SHA for f0e1834

• add constant ABS_CONSTRAINT_COMPARISON_TOLERANCE

  shiranaziz

  committed
  670b661

  Copy full SHA for 670b661

• add ifndef to AbsConstraint.h

  shiranaziz

  committed
  611ea76

  Copy full SHA for 611ea76

• add some signatures to AbsConstraint.h and fix some signatures at AbsConstraint.cpp

  shiranaziz

  committed
  ef83ad7

  Copy full SHA for ef83ad7

• fixing errors

  shiranaziz

  committed
  470cb09

  Copy full SHA for 470cb09

Commits on May 25, 2019

• fix errors

  shiranaziz

  committed
  a8fd8f6

  Copy full SHA for a8fd8f6

Commits on May 28, 2019

• split and more

  shiranaziz

  committed
  76b96b1

  Copy full SHA for 76b96b1

• add some signatures

  shiranaziz

  committed
  e4ad19b

  Copy full SHA for e4ad19b

Commits on Jun 11, 2019

• notify functions

  shiranaziz

  committed
  5c86a6e

  Copy full SHA for 5c86a6e

Commits on Jun 12, 2019

• finsh write functions. next step - testing

  shiranaziz

  committed
  0757204

  Copy full SHA for 0757204

Commits on Jun 13, 2019

• test file

  shiranaziz

  committed
  8921f17

  Copy full SHA for 8921f17

Commits on Jun 22, 2019

• notifyLowerBound and notifyUpperBound

  shiranaziz

  committed
  0802502

  Copy full SHA for 0802502

Commits on Jun 23, 2019

• test with sumathi

  shiranaziz

  committed
  eeb04ce

  Copy full SHA for eeb04ce

Commits on Jun 25, 2019

• add check at notify lower/upper bound if new bound is better then old bound. add some documentation

  shiranaziz

  committed
  8ae7a1d

  Copy full SHA for 8ae7a1d

• getEntailedTightenings

  shiranaziz

  committed
  c2404c1

  Copy full SHA for c2404c1

• fix at notifyUpperBound

  shiranaziz

  committed
  08a512a

  Copy full SHA for 08a512a

• Test to entailed_tighteningst

  shiranaziz

  committed
  6d99119

  Copy full SHA for 6d99119

Commits on Aug 22, 2019

• duplicate and restore

  shiranaziz

  committed
  51d0082

  Copy full SHA for 51d0082

Commits on Aug 24, 2019

• register_and_unregister

  shiranaziz

  committed
  5af54ba

  Copy full SHA for 5af54ba

• test for notifyVariableValue, satisfied and updateVariableIndex

  shiranaziz

  committed
  26e1686

  Copy full SHA for 26e1686

• more tests

  shiranaziz

  committed
  340dd17

  Copy full SHA for 340dd17

• edit comments

  shiranaziz

  committed
  bde322a

  Copy full SHA for bde322a

• more tests

  shiranaziz

  committed
  09a6df1

  Copy full SHA for 09a6df1

Commits on Aug 27, 2019

• some fixes

  shiranaziz

  committed
  328eaf4

  Copy full SHA for 328eaf4

• some fixes

  shiranaziz

  committed
  1e0d6cd

  Copy full SHA for 1e0d6cd

• fix

  shiranaziz

  committed
  3c9f487

  Copy full SHA for 3c9f487

• add getter to _lowerBounds

  shiranaziz

  committed
  264d4e9

  Copy full SHA for 264d4e9

• test_abs_entailed_tighteningst

  shiranaziz

  committed
  69f1994

  Copy full SHA for 69f1994

• fix

  shiranaziz

  committed
  95cad3c

  Copy full SHA for 95cad3c

Commits on Sep 5, 2019

• upper\lower bpound f <0 , get_upper_bound

  shiranaziz

  committed
  00f02d9

  Copy full SHA for 00f02d9

• more testing and print func

  shiranaziz

  committed
  8607a48

  Copy full SHA for 8607a48

• fix x_f<0

  shiranaziz

  committed
  c1ed5bf

  Copy full SHA for c1ed5bf

• fix x_f<0

  shiranaziz

  committed
  5ccf804

  Copy full SHA for 5ccf804

Commits on Oct 6, 2019

• some changes

  shiranaziz

  committed
  8187103

  Copy full SHA for 8187103

• some changes

  shiranaziz

  committed
  94a8e00

  Copy full SHA for 94a8e00

• without test_abs_entailed_tighteningst2

  shiranaziz

  committed
  2d07867

  Copy full SHA for 2d07867

Commits on Oct 12, 2019

• some changes if upper/ lower bound <0

  shiranaziz

  committed
  b10fab7

  Copy full SHA for b10fab7

• fix tighteningst2

  shiranaziz

  committed
  b6d5636

  Copy full SHA for b6d5636

Commits on Oct 14, 2019

• some fixes

  shiranaziz

  committed
  e6ae748

  Copy full SHA for e6ae748

• more tests for getEntailedTightenings

  shiranaziz

  committed
  b2c3df9

  Copy full SHA for b2c3df9

Commits on Oct 16, 2019

• add cases to getEntailedTightnings

  shiranaziz

  committed
  884c52e

  Copy full SHA for 884c52e

• finish testing getEntailedTighteningsgit add Test_AbsConstraint.h!

  shiranaziz

  committed
  95d2d99

  Copy full SHA for 95d2d99

Commits on Oct 17, 2019

• change non overlap at getEntailedTightenings

  shiranaziz

  committed
  d2a752a

  Copy full SHA for d2a752a

• change ovelap tests

  shiranaziz

  committed
  51aa53c

  Copy full SHA for 51aa53c

• CMakeLists

  shiranaziz

  committed
  d18162e

  Copy full SHA for d18162e

• test fixes and case split

  shiranaziz

  committed
  b35d75a

  Copy full SHA for b35d75a

Commits on Oct 29, 2019

• fix

  shiranaziz

  committed
  7fe0ab3

  Copy full SHA for 7fe0ab3

• finish tests

  shiranaziz

  committed
  02b304e

  Copy full SHA for 02b304e

Commits on Nov 10, 2019

• abs_feasible_2 like relu_feasible_2

  shiranaziz

  committed
  7f42963

  Copy full SHA for 7f42963

Commits on Nov 12, 2019

• add regress for abs constraint

  shiranaziz

  committed
  c209076

  Copy full SHA for c209076

• add some print at getEntailedTightening befor ASSERT

  shiranaziz

  committed
  53f557d

  Copy full SHA for 53f557d

Commits on Nov 18, 2019

• notifynotifyLowerBound if var == _f && bound <0. i delete & bound ==0

  shiranaziz

  committed
  d422a07

  Copy full SHA for d422a07

• same as befor change not is posetive

  shiranaziz

  committed
  c986639

  Copy full SHA for c986639

• change the part when the bounds of _f need to be zero

  shiranaziz

  committed
  884d964

  Copy full SHA for 884d964

Commits on Nov 19, 2019

• notifyLowerBound and upper, when update the prtner, if var is f, i add && bound>0

  shiranaziz

  committed
  8dfd0b9

  Copy full SHA for 8dfd0b9

• test_abs_entailed_tighteningst0 if lower bound of f is <0

  shiranaziz

  committed
  7e1db00

  Copy full SHA for 7e1db00

• check that _constraintBoundTightener exists before using it

  GuyKatzHuji

  committed
  05fe005

  Copy full SHA for 05fe005

• add test for _f bound<0

  shiranaziz

  committed
  7ea77be

  Copy full SHA for 7ea77be

Commits on Nov 24, 2019

• more test lower bounf f<0

  shiranaziz

  committed
  10eec91

  Copy full SHA for 10eec91

Commits on Dec 3, 2019

• 1 is UNSAT- not working, 2 is SAT

  shiranaziz

  committed
  14d0f0d

  Copy full SHA for 14d0f0d

• getE fix overlap

  shiranaziz

  committed
  1d3604c

  Copy full SHA for 1d3604c

• get lower bound, change to double

  shiranaziz

  committed
  2190c7b

  Copy full SHA for 2190c7b

• more tests

  shiranaziz

  committed
  98c9ca3

  Copy full SHA for 98c9ca3

• add feasible2

  shiranaziz

  committed
  26fbf6a

  Copy full SHA for 26fbf6a

• non

  shiranaziz

  committed
  a5ad749

  Copy full SHA for a5ad749

Commits on Dec 5, 2019

• better printing of bounds

  GuyKatzHuji

  committed
  2056e24

  Copy full SHA for 2056e24

Commits on Dec 7, 2019

• without no overlap

  shiranaziz

  committed
  1da8264

  Copy full SHA for 1da8264

• fix

  shiranaziz

  committed
  5f29476

  Copy full SHA for 5f29476

Commits on Dec 19, 2019

• unsat

  shiranaziz

  committed
  9ddbfb7

  Copy full SHA for 9ddbfb7

• more regress

  shiranaziz

  committed
  cba8a49

  Copy full SHA for cba8a49

• getEntailedTightenings without max positive

  shiranaziz

  committed
  a745558

  Copy full SHA for a745558

• fix a bug regarding bound extraction of fixed variables

  guykatzz

  committed
  1665e78

  Copy full SHA for 1665e78

• Entailed_Tightenings without max and min

  shiranaziz

  committed
  0b81d98

  Copy full SHA for 0b81d98

• more regress

  shiranaziz

  committed
  550e2c1

  Copy full SHA for 550e2c1

• match to tha changes at absconstraint

  shiranaziz

  committed
  52a2c9b

  Copy full SHA for 52a2c9b

• without max/min at getEntailedTightenings

  shiranaziz

  committed
  8821190

  Copy full SHA for 8821190

• match to changes at ans

  shiranaziz

  committed
  0429da2

  Copy full SHA for 0429da2

• more regress

  shiranaziz

  committed
  cee68fd

  Copy full SHA for cee68fd

Commits on Dec 22, 2019

• conflict res

  shiranaziz

  committed
  075de39

  Copy full SHA for 075de39

Commits on Dec 28, 2019

• add new files acas regress fixed input and with constraint. inputQuery fix typo

  shiranaziz

  committed
  b608000

  Copy full SHA for b608000

• check correctness

  shiranaziz

  committed
  fb06a31

  Copy full SHA for fb06a31

Commits on Jan 12, 2020

• fix the new network, but there is steal problem

  shiranaziz

  committed
  5d6cba6

  Copy full SHA for 5d6cba6

• fix the new network, but there is yet problem

  shiranaziz

  committed
  145b7b3

  Copy full SHA for 145b7b3

Commits on Jan 14, 2020

• change fix point

  shiranaziz

  committed
  dcee0e3

  Copy full SHA for dcee0e3

• configuration

  guykatzz

  committed
  cfdf45f

  Copy full SHA for cfdf45f

• fix acas abs constraint

  shiranaziz

  committed
  42a9d73

  Copy full SHA for 42a9d73

Commits on Jan 15, 2020

• add for at the main, add documentaion

  shiranaziz

  committed
  44e1bde

  Copy full SHA for 44e1bde

Commits on Feb 15, 2020

• coding style

  shiranaziz

  committed
  5114524

  Copy full SHA for 5114524

• changes

  shiranaziz

  committed
  9332e16

  Copy full SHA for 9332e16

Commits on Mar 24, 2020

• Merge branch 'absLinearConstraint'

  guykatzz

  committed
  359e524

  Copy full SHA for 359e524

• Merge branch 'master' into absLinearConstraint

  guykatzz

  committed
  3eefe70

  Copy full SHA for 3eefe70

• minor

  guykatzz

  committed
  cd16714

  Copy full SHA for cd16714

• the old regression test moved to be a system test

  guykatzz

  committed
  ab8ec66

  Copy full SHA for ab8ec66

Commits on Mar 25, 2020

• moving some files around

  guykatzz

  committed
  18b4fc9

  Copy full SHA for 18b4fc9

• typo

  guykatzz

  committed
  d353571

  Copy full SHA for d353571

• compilation issues

  guykatzz

  committed
  6e76d21

  Copy full SHA for 6e76d21

• cleanup

  guykatzz

  committed
  a7e6f65

  Copy full SHA for a7e6f65

• cleanup

  guykatzz

  committed
  808159d

  Copy full SHA for 808159d

• refactoring

  guykatzz

  committed
  2053ce2

  Copy full SHA for 2053ce2

Commits on Mar 26, 2020

• finished pass on main class

  guykatzz

  committed
  b631f85

  Copy full SHA for b631f85

• remove AbsError class

  guykatzz

  committed
  8d66225

  Copy full SHA for 8d66225

• compilation

  guykatzz

  committed
  9dd4cb9

  Copy full SHA for 9dd4cb9

• thorough phass over the unit tests

  guykatzz

  committed
  05eba84

  Copy full SHA for 05eba84

• more polishing of bound tighting and phase-fixing-detection

  guykatzz

  committed
  7884dbd

  Copy full SHA for 7884dbd

• system test cleanup

  guykatzz

  committed
  76f2903

  Copy full SHA for 76f2903

• dont override variable elimination

  guykatzz

  committed
  05d7dbc

  Copy full SHA for 05d7dbc

• additional tests

  guykatzz

  committed
  7145de2

  Copy full SHA for 7145de2

• some more cleanup

  guykatzz

  committed
  9cd081a

  Copy full SHA for 9cd081a

• remove a few comments

  guykatzz

  committed
  e001a13

  Copy full SHA for e001a13

• Merge from master (#231)

  Show description for d51c883
  

  3 peopleauthored
  d51c883

  Copy full SHA for d51c883

Commits on Mar 27, 2020

• bug fix

  guykatzz

  committed
  33c0d7f

  Copy full SHA for 33c0d7f

• remove "unused"s

  guykatzz

  committed
  0320b0e

  Copy full SHA for 0320b0e

Commits on Mar 28, 2020

• minor

  guykatzz

  committed
  f9f42da

  Copy full SHA for f9f42da

• Aleks' comments

  guykatzz

  committed
  2a4c3e1

  Copy full SHA for 2a4c3e1

• merge

  guykatzz

  committed
  d9fac60

  Copy full SHA for d9fac60

• space

  guykatzz

  committed
  56c8b7c

  Copy full SHA for 56c8b7c

• test no longer needed

  guykatzz

  committed
  0d94cab

  Copy full SHA for 0d94cab

Commits on Mar 31, 2020

• Merge branch 'master' into absLinearConstraint

  guykatzz

  authored
  b5f08c3

  Copy full SHA for b5f08c3