Code

Some tests, vnnlib error fix#206

Code

Merged

mldiego merged 9 commits intoverivital:masterverivital/nnv:masterfrom mldiego:mastermldiego/nnv:masterCopy head branch name to clipboardJan 11, 2024

+664-4

Commits

Commits on Dec 12, 2023

• Update for single/double precision, add tests

  mldiego

  committed
  48a6b5c

• Fix test

  mldiego

  committed
  8e2e569

Commits on Dec 13, 2023

• Revert "Fix test"

  Show description for eb75ea1
  mldiego

  committed
  eb75ea1

• Revert "Update for single/double precision, add tests"

  Show description for 79f5808
  mldiego

  committed
  79f5808

• process 3d medmnist results

  mldiego

  committed
  5d57d0a

• Add test to average pooling

  mldiego

  committed
  4106f20

• Fix parsing error for vnnlib from vnncomp

  mldiego

  committed
  a4d20ca

Commits on Dec 20, 2023

• Add reach options for tansig

  mldiego

  committed
  d13897d

Commits on Dec 21, 2023

• Fix bug on exporting index to value for vnnlib

  mldiego

  committed
  044b59a