Code

Sparse matrices#69

Code

Merged

guykatzz merged 37 commits intomasterNeuralNetworkVerification/Marabou:masterfrom sparse_matricesNeuralNetworkVerification/Marabou:sparse_matricesCopy head branch name to clipboardJul 12, 2018

+5,716-525

Commits

Commits on Jun 18, 2018

• initial work on sparse matrix representation

  GuyKatzHuji

  committed
  97fa3eb

  Copy full SHA for 97fa3eb

• store/restore functionality

  GuyKatzHuji

  committed
  f67f40f

  Copy full SHA for f67f40f

• addLastRow functionality

  GuyKatzHuji

  committed
  9f1ad34

  Copy full SHA for 9f1ad34

• getRow and getColumn

  GuyKatzHuji

  committed
  8315e89

  Copy full SHA for 8315e89

• column-merging functionality

  GuyKatzHuji

  committed
  9f96f81

  Copy full SHA for 9f96f81

Commits on Jun 19, 2018

• added an interface class

  GuyKatzHuji

  committed
  1ea9792

  Copy full SHA for 1ea9792

• introducing also sparse vectors

  GuyKatzHuji

  committed
  1826116

  Copy full SHA for 1826116

• added addLastColumn functionality

  GuyKatzHuji

  committed
  a50b767

  Copy full SHA for a50b767

• another unittest

  GuyKatzHuji

  committed
  5394f30

  Copy full SHA for 5394f30

• get sparse columns/matrices in dense form

  GuyKatzHuji

  committed
  c509909

  Copy full SHA for c509909

• WIP on storing the constraint matrix inside the tableau in sparse form

  GuyKatzHuji

  committed
  66c00ce

  Copy full SHA for 66c00ce

• more WIP, fixed a few bugs, still have a couple of failing tests

  GuyKatzHuji

  committed
  b20cc6f

  Copy full SHA for b20cc6f

Commits on Jun 20, 2018

• fixed some test issues

  GuyKatzHuji

  committed
  7f95cb1

  Copy full SHA for 7f95cb1

• initialization

  GuyKatzHuji

  committed
  a90fd95

  Copy full SHA for a90fd95

• resize _a along with the rest

  GuyKatzHuji

  committed
  dc2af7f

  Copy full SHA for dc2af7f

Commits on Jul 8, 2018

• Merge branch 'master' into sparse_matrices

  GuyKatzHuji

  committed
  4db0052

  Copy full SHA for 4db0052

• sparse lu factors

  GuyKatzHuji

  committed
  f3683fb

  Copy full SHA for f3683fb

Commits on Jul 9, 2018

• store also the transposed versions of F and V

  GuyKatzHuji

  committed
  ea02f96

  Copy full SHA for ea02f96

• starting work on the sparse GE

  GuyKatzHuji

  committed
  d3610b3

  Copy full SHA for d3610b3

• some work on changing the values within an existing sparse

  Show description for 403decb
  GuyKatzHuji

  committed
  403decb

  Copy full SHA for 403decb

Commits on Jul 10, 2018

• refactoring and new functionality for CSRMatrix: any kind of

  Show description for e05eb0e
  GuyKatzHuji

  committed
  e05eb0e

  Copy full SHA for e05eb0e

• support for empty initialization and counting elements

  GuyKatzHuji

  committed
  2f3d16d

  Copy full SHA for 2f3d16d

• sparse GE is now working. minor bug fixes elsewhere

  GuyKatzHuji

  committed
  234b694

  Copy full SHA for 234b694

Commits on Jul 11, 2018

• compute Ft and Vt as part of the G-elimination process

  GuyKatzHuji

  committed
  36b9a60

  Copy full SHA for 36b9a60

• tests

  GuyKatzHuji

  committed
  836d393

  Copy full SHA for 836d393

• basis oracles can return also sparse columns, not just dense

  GuyKatzHuji

  committed
  71b70c4

  Copy full SHA for 71b70c4

• sparse LU factorization class

  GuyKatzHuji

  committed
  7408f3d

  Copy full SHA for 7408f3d

• switch to using the sparse factorization in the engine/tableau

  GuyKatzHuji

  committed
  f3b98ec

  Copy full SHA for f3b98ec

• bug fix in mergeColumns, and nicer printing

  GuyKatzHuji

  committed
  64ae293

  Copy full SHA for 64ae293

• bug fix

  GuyKatzHuji

  committed
  f583be0

  Copy full SHA for f583be0

• bug fix

  GuyKatzHuji

  committed
  d545f15

  Copy full SHA for d545f15

Commits on Jul 12, 2018

• bug fix: merging columns does not delete the actual column, just

  Show description for 6120c31
  GuyKatzHuji

  committed
  6120c31

  Copy full SHA for 6120c31

• configuration changes

  GuyKatzHuji

  committed
  b667c26

  Copy full SHA for b667c26

• optimization: since the sparse columns of A are needed all the time,

  Show description for 7364641
  GuyKatzHuji

  committed
  7364641

  Copy full SHA for 7364641

• a more efficient implementation of sparse vectors

  GuyKatzHuji

  committed
  cb67ed9

  Copy full SHA for cb67ed9

• comments and unit tests

  GuyKatzHuji

  committed
  05e06de

  Copy full SHA for 05e06de

• cleanup

  GuyKatzHuji

  committed
  f0c9c68

  Copy full SHA for f0c9c68