Code

Write proofs as JSON files#696

Code

Merged

omriisack merged 157 commits intoNeuralNetworkVerification:masterNeuralNetworkVerification/Marabou:masterfrom OmriIsacHUJI:masterOmriIsacHUJI/Marabou:masterCopy head branch name to clipboardDec 20, 2023

+520-1

Commits

Commits on Feb 17, 2022

• Add files via upload

  OmriIsacHUJI

  authored
  aa4b0a4

  Copy full SHA for aa4b0a4

• Add files via upload

  OmriIsacHUJI

  authored
  626acc3

  Copy full SHA for 626acc3

• Add files via upload

  OmriIsacHUJI

  authored
  99665c8

  Copy full SHA for 99665c8

Commits on Feb 20, 2022

• Merge branch 'master' into master

  OmriIsacHUJI

  authored
  b7ef45a

  Copy full SHA for b7ef45a

• Update SmtLibWriter.h

  OmriIsacHUJI

  authored
  4588718

  Copy full SHA for 4588718

• Add files via upload

  OmriIsacHUJI

  authored
  5ab0def

  Copy full SHA for 5ab0def

• Update SmtLibWriter.cpp

  OmriIsacHUJI

  authored
  f7565a3

  Copy full SHA for f7565a3

• Update Vector.h

  OmriIsacHUJI

  authored
  6ce624a

  Copy full SHA for 6ce624a

• Update List.h

  Show description for bb48611
  OmriIsacHUJI

  authored
  bb48611

  Copy full SHA for bb48611

• Update List.h

  OmriIsacHUJI

  authored
  18d654a

  Copy full SHA for 18d654a

• Add files via upload

  OmriIsacHUJI

  authored
  4159229

  Copy full SHA for 4159229

• Delete Test_BoundsExplainer.h

  OmriIsacHUJI

  authored
  1677664

  Copy full SHA for 1677664

• Update Test_CertificateNode.h

  OmriIsacHUJI

  authored
  acf469f

  Copy full SHA for acf469f

• Delete BoundsExplainer.cpp

  OmriIsacHUJI

  authored
  67babac

  Copy full SHA for 67babac

• Delete BoundsExplainer.h

  OmriIsacHUJI

  authored
  4ccfab4

  Copy full SHA for 4ccfab4

• Add files via upload

  OmriIsacHUJI

  authored
  bfce896

  Copy full SHA for bfce896

• Update UNSATCertificate.h

  OmriIsacHUJI

  authored
  99f1d16

  Copy full SHA for 99f1d16

• Update BoundExplainer.h

  Show description for 703442f
  OmriIsacHUJI

  authored
  703442f

  Copy full SHA for 703442f

• Update UNSATCertificate.cpp

  Show description for 361cb9d
  OmriIsacHUJI

  authored
  361cb9d

  Copy full SHA for 361cb9d

• Update UNSATCertificate.h

  Show description for 4cbc967
  OmriIsacHUJI

  authored
  4cbc967

  Copy full SHA for 4cbc967

• Update UNSATCertificate.cpp

  Show description for 8801552
  OmriIsacHUJI

  authored
  8801552

  Copy full SHA for 8801552

• Update BoundExplainer.h

  Show description for 309038e
  OmriIsacHUJI

  authored
  309038e

  Copy full SHA for 309038e

• Update UNSATCertificate.cpp

  Show description for 9f15cbb
  OmriIsacHUJI

  authored
  9f15cbb

  Copy full SHA for 9f15cbb

• Update UNSATCertificate.cpp

  OmriIsacHUJI

  authored
  caedb50

  Copy full SHA for caedb50

• Update UNSATCertificate.cpp

  OmriIsacHUJI

  authored
  180fd9c

  Copy full SHA for 180fd9c

Commits on Mar 3, 2022

• Merge branch 'NeuralNetworkVerification:master' into master

  OmriIsacHUJI

  authored
  d04763a

  Copy full SHA for d04763a

Commits on Mar 6, 2022

• Merge branch 'NeuralNetworkVerification:master' into master

  OmriIsacHUJI

  authored
  f046fa4

  Copy full SHA for f046fa4

• Update Test_List.h

  Show description for 594d2ba
  OmriIsacHUJI

  authored
  594d2ba

  Copy full SHA for 594d2ba

• Update Test_Vector.h

  Show description for 2e4b207
  OmriIsacHUJI

  authored
  2e4b207

  Copy full SHA for 2e4b207

• Update Vector.h

  OmriIsacHUJI

  authored
  c9f3f2e

  Copy full SHA for c9f3f2e

• Delete BoundExplainer.cpp

  OmriIsacHUJI

  authored
  bd0a1f2

  Copy full SHA for bd0a1f2

• Delete BoundExplainer.h

  OmriIsacHUJI

  authored
  27e9150

  Copy full SHA for 27e9150

• Delete UNSATCertificate.cpp

  OmriIsacHUJI

  authored
  7c8f9a9

  Copy full SHA for 7c8f9a9

• Delete UNSATCertificate.h

  OmriIsacHUJI

  authored
  63a3cf7

  Copy full SHA for 63a3cf7

• Delete SmtLibWriter.h

  OmriIsacHUJI

  authored
  27f00e5

  Copy full SHA for 27f00e5

• Delete SmtLibWriter.cpp

  OmriIsacHUJI

  authored
  6657bb8

  Copy full SHA for 6657bb8

• Delete Test_BoundExplainer.h

  OmriIsacHUJI

  authored
  b27c053

  Copy full SHA for b27c053

• Delete Test_CertificateNode.h

  OmriIsacHUJI

  authored
  36cf9b6

  Copy full SHA for 36cf9b6

• Create CMakeLists.txt

  OmriIsacHUJI

  authored
  719bcdf

  Copy full SHA for 719bcdf

• Delete CMakeLists.txt

  OmriIsacHUJI

  authored
  6846a5c

  Copy full SHA for 6846a5c

• Create CMakeLists.txt

  OmriIsacHUJI

  authored
  38c93be

  Copy full SHA for 38c93be

• Add files via upload

  OmriIsacHUJI

  authored
  2068f41

  Copy full SHA for 2068f41

• Create Test_BoundExplainer.h

  OmriIsacHUJI

  authored
  5684771

  Copy full SHA for 5684771

• Add files via upload

  OmriIsacHUJI

  authored
  7006645

  Copy full SHA for 7006645

• Update CMakeLists.txt

  OmriIsacHUJI

  authored
  2b98cd2

  Copy full SHA for 2b98cd2

• Update Test_SmtLibWriter.h

  OmriIsacHUJI

  authored
  6f65a19

  Copy full SHA for 6f65a19

Commits on Mar 8, 2022

• Merge branch 'master' into master

  OmriIsacHUJI

  authored
  2497df7

  Copy full SHA for 2497df7

Commits on Mar 10, 2022

• Update Test_Vector.h

  Show description for 0e66fbb
  omriisack

  authored
  0e66fbb

  Copy full SHA for 0e66fbb

• Merge branch 'master' into master

  OmriIsacHUJI

  authored
  ac2c68f

  Copy full SHA for ac2c68f

• Update List.h

  Show description for 2ed2afa
  OmriIsacHUJI

  authored
  2ed2afa

  Copy full SHA for 2ed2afa

Commits on Mar 15, 2022

• Added const access to data

  OmriIsacHUJI

  authored
  c6b7156

  Copy full SHA for c6b7156

• Added tests to data() functions

  OmriIsacHUJI

  authored
  c52eb43

  Copy full SHA for c52eb43

• Delete UnsatCertificateProblemConstraint.h

  OmriIsacHUJI

  authored
  f7a3e2e

  Copy full SHA for f7a3e2e

• Update Test_List.h

  OmriIsacHUJI

  authored
  33c9b6a

  Copy full SHA for 33c9b6a

• Changed folder name

  OmriIsacHUJI

  committed
  df5a4c3

  Copy full SHA for df5a4c3

• Update BoundExplainer.cpp

  Show description for 42ecf37
  OmriIsacHUJI

  authored
  42ecf37

  Copy full SHA for 42ecf37

• Update BoundExplainer.h

  OmriIsacHUJI

  authored
  f3df970

  Copy full SHA for f3df970

• Update CMakeLists.txt

  OmriIsacHUJI

  authored
  e6ac2bc

  Copy full SHA for e6ac2bc

• Update Test_BoundExplainer.h

  Show description for 98a3dd8
  OmriIsacHUJI

  authored
  98a3dd8

  Copy full SHA for 98a3dd8

• Update Test_UnsatCertificateNode.h

  Show description for c7abff0
  OmriIsacHUJI

  authored
  c7abff0

  Copy full SHA for c7abff0

• Update Test_UnsatCertificateUtils.h

  OmriIsacHUJI

  authored
  ccf1077

  Copy full SHA for ccf1077

• Add files via upload

  OmriIsacHUJI

  authored
  6f9c511

  Copy full SHA for 6f9c511

• Add files via upload

  OmriIsacHUJI

  authored
  512f34d

  Copy full SHA for 512f34d

• Update Checker.cpp

  Show description for 1c511a7
  OmriIsacHUJI

  authored
  1c511a7

  Copy full SHA for 1c511a7

• Update Contradiction.cpp

  Show description for 9178576
  OmriIsacHUJI

  authored
  9178576

  Copy full SHA for 9178576

• Update Contradiction.h

  Show description for 7397b55
  OmriIsacHUJI

  authored
  7397b55

  Copy full SHA for 7397b55

• Update PlcExplanation.cpp

  Show description for 8408740
  OmriIsacHUJI

  authored
  8408740

  Copy full SHA for 8408740

• Update PlcExplanation.h

  Show description for 0528603
  OmriIsacHUJI

  authored
  0528603

  Copy full SHA for 0528603

• Update Checker.cpp

  OmriIsacHUJI

  authored
  452427c

  Copy full SHA for 452427c

• Update UnsatCertificateNode.cpp

  Show description for 3447bb4
  OmriIsacHUJI

  authored
  3447bb4

  Copy full SHA for 3447bb4

• Update UnsatCertificateNode.h

  Show description for 46ffbe7
  OmriIsacHUJI

  authored
  46ffbe7

  Copy full SHA for 46ffbe7

• Update UnsatCertificateUtils.cpp

  Show description for d9568ab
  OmriIsacHUJI

  authored
  d9568ab

  Copy full SHA for d9568ab

• Update UnsatCertificateUtils.h

  Show description for 51506e5
  OmriIsacHUJI

  authored
  51506e5

  Copy full SHA for 51506e5

Commits on Mar 20, 2022

• Merge branch 'master' into master

  omriisack

  authored
  674067f

  Copy full SHA for 674067f

Commits on Mar 22, 2022

• Update PiecewiseLinearConstraint.h

  Show description for 42b4fb9
  OmriIsacHUJI

  authored
  42b4fb9

  Copy full SHA for 42b4fb9

• Merge branch 'master' into master

  OmriIsacHUJI

  authored
  6923f5b

  Copy full SHA for 6923f5b

Commits on Mar 30, 2022

• Merge branch 'NeuralNetworkVerification:master' into master

  OmriIsacHUJI

  authored
  cb922eb

  Copy full SHA for cb922eb

• Update Test_UnsatCertificateNode.h

  Show description for bb12e4b
  OmriIsacHUJI

  authored
  bb12e4b

  Copy full SHA for bb12e4b

Commits on Nov 26, 2022

• Merge branch 'NeuralNetworkVerification:master' into master

  OmriIsacHUJI

  authored
  a1e96f2

  Copy full SHA for a1e96f2

Commits on Nov 27, 2022

• Update to proof production core modules

  omriisack

  committed
  b1843d0

  Copy full SHA for b1843d0

• Minor

  omriisack

  committed
  6d668fc

  Copy full SHA for 6d668fc

• Minor

  omriisack

  committed
  e5d5507

  Copy full SHA for e5d5507

• Update ci-with-production.yml

  OmriIsacHUJI

  authored
  d2b1dbe

  Copy full SHA for d2b1dbe

• Revert some changes to configurations

  omriisack

  committed
  924930f

  Copy full SHA for 924930f

• Merge branch 'master' of https://github.com/OmriIsacHUJI/Marabou

  omriisack

  committed
  1c8e457

  Copy full SHA for 1c8e457

• Update ci-with-production.yml

  OmriIsacHUJI

  authored
  510ffb2

  Copy full SHA for 510ffb2

Commits on Nov 29, 2022

• Merge branch 'master' into master

  OmriIsacHUJI

  authored
  491c2c8

  Copy full SHA for 491c2c8

• Fixes according to comments

  omriisack

  committed
  c4a38ca

  Copy full SHA for c4a38ca

• Minor

  omriisack

  committed
  245ad31

  Copy full SHA for 245ad31

• Minor

  omriisack

  committed
  cebfc6f

  Copy full SHA for cebfc6f

Commits on Dec 4, 2022

• Integration of proof producing boundManager, ReluConstraint and RowBoundTightener

  omriisack

  committed
  f5bcecc

  Copy full SHA for f5bcecc

• Merge branch 'NeuralNetworkVerification:master' into master

  omriisack

  authored
  a1a7367

  Copy full SHA for a1a7367

• Cleanup

  omriisack

  committed
  9cd7481

  Copy full SHA for 9cd7481

• Minor

  omriisack

  committed
  07d3878

  Copy full SHA for 07d3878

• Minor

  omriisack

  committed
  225c42a

  Copy full SHA for 225c42a

• Minor

  omriisack

  committed
  026818c

  Copy full SHA for 026818c

• Minor

  omriisack

  committed
  c53a811

  Copy full SHA for c53a811

• Update MockBoundManager.h

  omriisack

  committed
  ebcf38c

  Copy full SHA for ebcf38c

• Minor

  omriisack

  committed
  bbaf68d

  Copy full SHA for bbaf68d

• Update MockBoundManager.h

  omriisack

  committed
  bc9ac6d

  Copy full SHA for bc9ac6d

Commits on Dec 11, 2022

• Answers to comments

  omriisack

  committed
  9a991e2

  Copy full SHA for 9a991e2

• Minor

  omriisack

  committed
  0783244

  Copy full SHA for 0783244

Commits on Dec 13, 2022

• Complete functionality of proof production code

  omriisack

  committed
  c90dedf

  Copy full SHA for c90dedf

• Minor

  omriisack

  committed
  926f503

  Copy full SHA for 926f503

Commits on Dec 14, 2022

• Minor

  omriisack

  committed
  19d4290

  Copy full SHA for 19d4290

• Minor

  omriisack

  committed
  4024225

  Copy full SHA for 4024225

Commits on Dec 16, 2022

• Answers to comments

  omriisack

  committed
  bd4de46

  Copy full SHA for bd4de46

• Minor

  omriisack

  committed
  1c0851d

  Copy full SHA for 1c0851d

Commits on Jan 24, 2023

• Merge branch 'NeuralNetworkVerification:master' into master

  omriisack

  authored
  32b76e7

  Copy full SHA for 32b76e7

Commits on Jan 31, 2023

• Merge pull request #1 from NeuralNetworkVerification/master

  Show description for 595157c
  OmriIsacHUJI

  authored
  595157c

  Copy full SHA for 595157c

Commits on Feb 1, 2023

• Fix bug in SmtLibWriter

  omriisack

  committed
  08673fd

  Copy full SHA for 08673fd

• Minor

  omriisack

  committed
  dcc9fa1

  Copy full SHA for dcc9fa1

• Minor

  omriisack

  committed
  bc13795

  Copy full SHA for bc13795

Commits on Feb 7, 2023

• Use GlobalConfigurations for setting percision for SmtLibWriter

  omriisack

  committed
  9076288

  Copy full SHA for 9076288

Commits on Mar 14, 2023

• Trim zeros from right when writing to SMTLIB format

  omriisack

  committed
  552cbd8

  Copy full SHA for 552cbd8

Commits on May 18, 2023

• Merge branch 'NeuralNetworkVerification:master' into master

  OmriIsacHUJI

  authored
  be83cf6

  Copy full SHA for be83cf6

• minor

  omriisack

  committed
  9edb774

  Copy full SHA for 9edb774

• Minor

  omriisack

  committed
  9fde507

  Copy full SHA for 9fde507

• minor

  omriisack

  committed
  5166888

  Copy full SHA for 5166888

Commits on Nov 11, 2023

• Merge remote-tracking branch 'upstream/master'

  omriisack

  committed
  95281b4

  Copy full SHA for 95281b4

Commits on Nov 26, 2023

• Proofs support all PL constraints

  omriisack

  committed
  207c5bf

  Copy full SHA for 207c5bf

• Add regression tests

  omriisack

  committed
  3a89aa9

  Copy full SHA for 3a89aa9

• Minor

  omriisack

  committed
  18867ae

  Copy full SHA for 18867ae

• Minor

  omriisack

  committed
  44129f8

  Copy full SHA for 44129f8

• Minor

  omriisack

  committed
  a93f8d5

  Copy full SHA for a93f8d5

• minor

  omriisack

  committed
  b857524

  Copy full SHA for b857524

Commits on Dec 3, 2023

• Fix Comments

  omriisack

  committed
  d9fdd72

  Copy full SHA for d9fdd72

• Minor

  omriisack

  committed
  6a17d65

  Copy full SHA for 6a17d65

• Minor

  omriisack

  committed
  7fe001e

  Copy full SHA for 7fe001e

• Minor

  omriisack

  committed
  758bd6c

  Copy full SHA for 758bd6c

• Minor

  omriisack

  committed
  bc5f33a

  Copy full SHA for bc5f33a

Commits on Dec 5, 2023

• Sparse Explanations in proof tree

  omriisack

  committed
  69045f2

  Copy full SHA for 69045f2

• Minor

  omriisack

  committed
  b58985d

  Copy full SHA for b58985d

• Remove problematic rtest

  omriisack

  committed
  f3c7a73

  Copy full SHA for f3c7a73

Commits on Dec 7, 2023

• Revert "Remove problematic rtest"

  Show description for 6837b42
  omriisack

  committed
  6837b42

  Copy full SHA for 6837b42

• Minor

  omriisack

  committed
  86e1e0d

  Copy full SHA for 86e1e0d

• Update CHANGELOG.md

  omriisack

  committed
  15e8557

  Copy full SHA for 15e8557

• Update CHANGELOG.md

  omriisack

  committed
  a426302

  Copy full SHA for a426302

Commits on Dec 8, 2023

• Attempt to solve bug

  omriisack

  committed
  64df6e2

  Copy full SHA for 64df6e2

• Update CHANGELOG.md

  omriisack

  committed
  fd5f6d6

  Copy full SHA for fd5f6d6

Commits on Dec 11, 2023

• Minor

  omriisack

  committed
  1b2b5ed

  Copy full SHA for 1b2b5ed

Commits on Dec 12, 2023

• Sparse explanations in BoundExplainer

  omriisack

  committed
  1395015

  Copy full SHA for 1395015

• minor

  omriisack

  committed
  d1919d0

  Copy full SHA for d1919d0

• Minor

  omriisack

  committed
  6bf418a

  Copy full SHA for 6bf418a

• minor

  omriisack

  committed
  25d518c

  Copy full SHA for 25d518c

• Merge branch 'master' of https://github.com/OmriIsacHUJI/Marabou

  omriisack

  committed
  7d81bea

  Copy full SHA for 7d81bea

• Mןמםר

  omriisack

  committed
  9e01fc9

  Copy full SHA for 9e01fc9

• Minor

  omriisack

  committed
  ab77bb4

  Copy full SHA for ab77bb4

• Minor

  omriisack

  committed
  cce509a

  Copy full SHA for cce509a

• Minor

  omriisack

  committed
  eecedaa

  Copy full SHA for eecedaa

• Minor

  omriisack

  committed
  d657e60

  Copy full SHA for d657e60

• Minor

  omriisack

  committed
  cb3ad63

  Copy full SHA for cb3ad63

Commits on Dec 19, 2023

• Added option to write proofs as JSON files

  omriisack

  committed
  a4a3cb8

  Copy full SHA for a4a3cb8

• Minor

  omriisack

  committed
  f574e5a

  Copy full SHA for f574e5a

• Merge branch 'NeuralNetworkVerification:master' into master

  OmriIsacHUJI

  authored
  3785770

  Copy full SHA for 3785770

Commits on Dec 20, 2023

• Minor

  omriisack

  committed
  38d12b9

  Copy full SHA for 38d12b9

• Update JsonWriter.cpp

  omriisack

  committed
  5e93df6

  Copy full SHA for 5e93df6