Code

update nnneum#1

Code

Open

mldiego wants to merge 58 commits intoverivital:masterverivital/nnenum:masterfrom stanleybak:masterstanleybak/nnenum:masterCopy head branch name to clipboard

+29,913-1,180

Commits

Commits on Sep 13, 2020

• bug fixes for small no-split initial sets

  

  Stanley Bak

  committed
  a1da010

• Merge branch 'master' of https://github.com/stanleybak/nnenum

  

  Stanley Bak

  committed
  0986d21

Commits on Sep 25, 2020

• Bump tensorflow from 2.2.0 to 2.2.1

  Show description for 1a87804
  dependabot[bot]

  authored
  1a87804

Commits on Sep 26, 2020

• Merge pull request #1 from stanleybak/dependabot/pip/tensorflow-2.2.1

  Show description for 2c255e9
  stanleybak

  authored
  2c255e9

Commits on Nov 2, 2020

• updated lp star and lpi

  

  Stanley Bak

  committed
  a909af9

• Merge branch 'master' of https://github.com/stanleybak/nnenum

  

  Stanley Bak

  committed
  79fca4d

Commits on Nov 9, 2020

• removed delcols

  

  Stanley Bak

  committed
  00d6cf0

Commits on Dec 13, 2020

• minor for nfm

  

  Stanley Bak

  committed
  010c1c4

Commits on Dec 15, 2020

• NFM version, added comment about one-norm name

  

  Stanley Bak

  committed
  9597fb5

Commits on Dec 21, 2020

• added get_input_box_bounds to star

  

  Stanley Bak

  committed
  f1344b3

Commits on Dec 22, 2020

• minor

  

  Stanley Bak

  committed
  7b54456

Commits on Dec 28, 2020

• renamed to src

  

  Stanley Bak

  committed
  5e8f238

Commits on Dec 31, 2020

• fixed conrete counterexample input shape when pre-overapprox sim is unsafe

  

  Stanley Bak

  committed
  06fdebe

Commits on Jan 2, 2021

• removed debug printing

  

  Stanley Bak

  committed
  16ed7b0

Commits on Jan 24, 2021

• default normalize and fixed bounds check order in lp_star

  

  Stanley Bak

  committed
  b3899d6

Commits on Feb 13, 2021

• removed extra printing

  

  Stanley Bak

  committed
  81178bc

Commits on May 31, 2021

• added underflow settings and fixed unsat counterexample

  

  Stanley Bak

  committed
  138d1e4

• updated normalization logic

  

  Stanley Bak

  committed
  4018cc0

Commits on Jun 10, 2021

• working on adding vnnlib support

  

  Stanley Bak

  committed
  8e161d0

• removing adversarial counterexmaples

  

  Stanley Bak

  committed
  96e446f

• added examples for image networks

  

  Stanley Bak

  committed
  22724e4

• changed to 'c' order flattening

  

  Stanley Bak

  committed
  e57fbc5

• removed debug settings

  

  Stanley Bak

  committed
  e0971d6

• added cifar spec

  

  Stanley Bak

  committed
  a19dfb7

• added run in docker command

  

  Stanley Bak

  committed
  c6c3de3

• typo

  

  Stanley Bak

  committed
  ad7e34b

Commits on Jun 11, 2021

• reverted travis ci yml

  

  Stanley Bak

  committed
  c02de5f

• update config

  

  Stanley Bak

  committed
  29e8cf8

• removed upgrade pip in docker file

  

  Stanley Bak

  committed
  d789400

Commits on Jun 13, 2021

• minor

  

  Stanley Bak

  committed
  caec1d1

• added tool scripts

  

  Stanley Bak

  committed
  53c1b24

• minor

  

  Stanley Bak

  committed
  01272dc

• updated run_instance

  

  Stanley Bak

  committed
  1e51c83

• updated env variables

  

  Stanley Bak

  committed
  ac99dc5

• fixed optimized network load bug

  

  Stanley Bak

  committed
  6c0a5dc

• updated scripts

  

  Stanley Bak

  committed
  75f3fd4

• updated readme

  

  Stanley Bak

  committed
  c93a39c

Commits on Jun 15, 2021

• fixed kamenev plotting bug

  

  Stanley Bak

  committed
  6854a6b

Commits on Oct 3, 2021

• updated to enable settings selection

  

  Stanley Bak

  committed
  997f257

Commits on Nov 14, 2021

• updated loading with non-standard first layers

  

  Stanley Bak

  committed
  0231d97

Commits on Dec 9, 2021

• minor note https://github.com/joblib/threadpoolctl

  

  Stanley Bak

  committed
  2ad47c1

Commits on Jan 21, 2022

• fixed shriver bug

  

  Stanley Bak

  committed
  fd07f2b

Commits on Jun 6, 2022

• updated settings

  

  Stanley Bak

  committed
  fa1463b

Commits on Aug 17, 2022

• updated numpy/scipy versions

  

  Stanley Bak

  committed
  3acfd88

Commits on Aug 24, 2022

• added setting for contract_lp check epsilon

  

  Stanley Bak

  committed
  58cca56

Commits on Sep 12, 2022

• updated travis ci version

  

  Stanley Bak

  committed
  dc22d2a

• updated python version

  

  Stanley Bak

  committed
  baacfd6

• updated readme link to travis ci page

  

  Stanley Bak

  committed
  62b9e5e

• updated travis ci file

  

  Stanley Bak

  committed
  125b3c1

• fixing travis errors

  

  Stanley Bak

  committed
  ab50e01

• fixing more travis errors

  

  Stanley Bak

  committed
  21031a2

• travis ci 3.10

  

  Stanley Bak

  committed
  1cd5614

• updated config to fix travis errors

  

  Stanley Bak

  committed
  8cadc70

Commits on Nov 2, 2022

• added support for other unix

  

  Stanley Bak

  committed
  d98a08f

• initialized manager later

  

  Stanley Bak

  committed
  d792ae8

• added check for qsize

  

  Stanley Bak

  committed
  e15a6d9

• removed qsize from assert

  

  Stanley Bak

  committed
  c292c57

• adde empty to fakequeue

  

  Stanley Bak

  committed
  cf7c0e7