Commits

Branch selector

 main

User selector

dlshriver

Datepicker

All time

Commit History

Commits on Jan 31, 2022

• chore: bump version to 0.5.1

  dlshriver

  committedJan 31, 2022
  58fb95b

• fix: raise exception for unbounded inputs

  dlshriver

  committedJan 31, 2022
  179941e

Commits on Jan 30, 2022

• feature: add ExtSlice support to DNNP parser

  dlshriver

  committedJan 30, 2022
  e3844de

Commits on Jan 29, 2022

• test: skip slow test with verinet

  dlshriver

  committedJan 29, 2022
  fa35393

• refactor: allow expression transformers to provide dnf/cnf hints

  dlshriver

  committedJan 29, 2022
  1e43011

• refactor: refactor system tests

  dlshriver

  committedJan 29, 2022
  e9cabaa

• Merge remote-tracking branch 'origin/main' into develop

  dlshriver

  committedJan 29, 2022
  6a429a4

• docs: fix typo in README

  dlshriver

  committedJan 29, 2022
  f1ff7fb

• fix: update verifier installs to not require static libraries

  dlshriver

  committedJan 29, 2022
  89be7ed

Commits on Jan 28, 2022

• docs: describe how to run test suite

  dlshriver

  committedJan 28, 2022
  e4ec364

• Update README.md

  dlshriver

  committedJan 28, 2022
  1ab5f46

• fix: declare dependency on lark in requirements.txt

  dlshriver

  committedJan 28, 2022
  5897095

Commits on Jan 27, 2022

• chore: bump version

  dlshriver

  committedJan 27, 2022
  017e1d4

• chore: update nnenum and marabou

  dlshriver

  committedJan 27, 2022
  7a03b67

• ci: do not delete cache when installing verifiers

  dlshriver

  committedJan 27, 2022
  a18aea5

• docs: Improve Documentation

  dlshriver

  committedJan 27, 2022
  0f14762

• * ci: cache deps, python3.9, only run on code change

  dlshriver

  committedJan 27, 2022
  4b91928

Commits on Jan 26, 2022

• fix: expand negated vector comparisons

  dlshriver

  committedJan 26, 2022
  f2ad952

Commits on Jan 21, 2022

• chore: bump version

  dlshriver

  committedJan 21, 2022
  520d3e2

Commits on Jan 20, 2022

• fix: parameter name should be Constant.value

  dlshriver

  committedJan 20, 2022
  4479407

• chore: update neurify and openblas

  dlshriver

  committedJan 20, 2022
  02abc1c

Commits on Jan 12, 2022

• fix: expressions as parameter defaults

  dlshriver

  committedJan 12, 2022
  80c1428

Commits on Dec 28, 2021

• refactor: use curl instead of wget; specify minimum versions of some dependencies

  dlshriver

  committedDec 28, 2021
  3c1efa9

Commits on Dec 11, 2021

• bump pre-release version

  dlshriver

  committedDec 11, 2021
  8edf526

• refactor: replace simpleparse dependency with lark and refactor property parsers

  dlshriver

  committedDec 11, 2021
  e693831

• fix: remove unused files

  dlshriver

  committedDec 11, 2021
  ff6f79b

• fix: account for 0 installed verifiers

  dlshriver

  committedDec 11, 2021
  97cce04

Commits on Dec 10, 2021

• refactor: delete unused method

  dlshriver

  committedDec 10, 2021
  7e77eca

• chore: add missing __all__ to several modules

  dlshriver

  committedDec 10, 2021
  f00a1ac

• chore: update README

  dlshriver

  committedDec 10, 2021
  744bf6a

• bump version

  dlshriver

  committedDec 10, 2021
  3cebb3f

Commits on Dec 6, 2021

• fix: allow Ellipsis as primitive type for python3.7

  dlshriver

  committedDec 6, 2021
  dde72b9

• fix: add scikit-image as dependency

  dlshriver

  committedDec 6, 2021
  80e78ef

• refactor: rename old_tests/ to system_tests/

  dlshriver

  committedDec 6, 2021
  ca562da

• merge main

  dlshriver

  committedDec 6, 2021
  92dada1

Pagination

PreviousNext