dlshriver/dnnv issues and pull requests

#114 - Update build system to flit_core

Pull Request - State: open - Opened by takluyver 9 months ago - 1 comment

#113 - ReLU before MaxPool

Issue - State: open - Opened by mhmd97z about 1 year ago - 1 comment

#112 - Property definitions different norms

Issue - State: open - Opened by AWbosman about 1 year ago - 1 comment

#111 - Nondeterministic models for verifiers

Issue - State: closed - Opened by MarcelBulpr over 1 year ago - 2 comments

#110 - the root password of the official docker

Issue - State: closed - Opened by urays over 1 year ago - 1 comment

#109 - what about the password for Docker's root?

Issue - State: closed - Opened by urays over 1 year ago

#108 - dnnv_manage fails while installing verifiers

Issue - State: open - Opened by yusiyoh over 1 year ago - 3 comments

#107 - Update verinet

Pull Request - State: open - Opened by MarcelBulpr over 1 year ago - 3 comments
Labels: enhancement

#105 - Update marabou and nnenum to latest commits

Pull Request - State: closed - Opened by dlshriver almost 2 years ago - 1 comment
Labels: bug

#104 - fix Slice.from_onnx

Pull Request - State: closed - Opened by MarcelBulpr almost 2 years ago - 2 comments
Labels: bug

#103 - Difficulty installing BAB

Issue - State: closed - Opened by AWbosman about 2 years ago - 4 comments

#102 - Help debugging: What is wrong with network and property

Issue - State: open - Opened by cherrywoods about 2 years ago - 2 comments
Labels: bug

#101 - verinet failing

Issue - State: open - Opened by cherrywoods about 2 years ago - 1 comment
Labels: bug

#100 - fix: batch norm issues

Pull Request - State: closed - Opened by dlshriver about 2 years ago - 1 comment
Labels: bug

#99 - BatchNorm operations can cause errors

Issue - State: closed - Opened by dlshriver about 2 years ago
Labels: bug

#98 - nnenum not working

Issue - State: closed - Opened by cherrywoods about 2 years ago - 3 comments
Labels: bug

#97 - Preparing v0.6.0 release

Pull Request - State: closed - Opened by dlshriver over 2 years ago - 1 comment
Labels: bug, enhancement

#96 - Optimizations for expressions

Pull Request - State: closed - Opened by dlshriver over 2 years ago - 1 comment
Labels: enhancement

#95 - fix: special case for trivial (network-free) properties

Pull Request - State: closed - Opened by dlshriver over 2 years ago - 1 comment
Labels: bug

#94 - Exactly one network input is required

Issue - State: closed - Opened by AlexGit90 over 2 years ago - 2 comments
Labels: bug, question

#93 - fix: unsqueeze axes became an input in onnx op set v13

Pull Request - State: closed - Opened by dlshriver over 2 years ago - 1 comment
Labels: bug

#92 - Added Operations and tests

Pull Request - State: open - Opened by Felipetoledo4815 over 2 years ago - 2 comments
Labels: enhancement

#91 - fix: include explicit max version for protobuf

Pull Request - State: closed - Opened by dlshriver over 2 years ago - 1 comment

#90 - Add Slice Operation and better Dropout support

Pull Request - State: closed - Opened by dlshriver over 2 years ago - 1 comment

#89 - CI improvements

Pull Request - State: closed - Opened by dlshriver over 2 years ago - 1 comment

#88 - feature: add alternative optimizer options to mipverify

Pull Request - State: closed - Opened by dlshriver over 2 years ago - 1 comment

#87 - feature: simplifier to transform maxpool into conv and relu operations

Pull Request - State: closed - Opened by dlshriver over 2 years ago - 1 comment
Labels: enhancement

#86 - Clean up code

Pull Request - State: closed - Opened by dlshriver over 2 years ago - 1 comment

#85 - feature: add support for more functions

Pull Request - State: closed - Opened by dlshriver over 2 years ago - 1 comment
Labels: enhancement

#84 - fix: clean up some typing issues throughout dnnv

Pull Request - State: closed - Opened by dlshriver over 2 years ago - 1 comment

#83 - Fixed compose

Pull Request - State: closed - Opened by Felipetoledo4815 over 2 years ago - 1 comment
Labels: bug

#82 - Fix library dependency finder

Pull Request - State: closed - Opened by dlshriver over 2 years ago - 1 comment
Labels: bug

#81 - added Split operator

Pull Request - State: closed - Opened by MissMeriel over 2 years ago - 1 comment
Labels: enhancement

#80 - TypeError: Cannot interpret '(<class 'numpy.dtype[float64]'>,

Issue - State: closed - Opened by LindaLamouchi over 2 years ago - 10 comments

#79 - Fixed bound monotonicity bug

Pull Request - State: closed - Opened by samysweb almost 3 years ago - 5 comments
Labels: bug

#78 - Hashing Performance

Pull Request - State: closed - Opened by samysweb almost 3 years ago - 2 comments
Labels: enhancement

#77 - TypeError: build_identifier() missing 1 required positional argument: 'identifier'

Issue - State: closed - Opened by marti-mcfly almost 3 years ago - 2 comments

#76 - Fixing bugs in IfThenElse behavior

Pull Request - State: closed - Opened by dlshriver almost 3 years ago - 1 comment
Labels: bug

#75 - IfThenElse Typing and further questions

Issue - State: closed - Opened by samysweb almost 3 years ago - 3 comments
Labels: bug

#74 - Add ExtSlice support to DNNP parser

Pull Request - State: closed - Opened by dlshriver almost 3 years ago - 1 comment
Labels: enhancement

#72 - Do not delete cache when installing verifiers

Pull Request - State: closed - Opened by dlshriver almost 3 years ago - 1 comment

#71 - Continuous Integration Updates

Pull Request - State: closed - Opened by dlshriver almost 3 years ago - 1 comment

#70 - Improve Documentation

Pull Request - State: closed - Opened by dlshriver almost 3 years ago - 1 comment
Labels: documentation, enhancement

#69 - Expand Logical Negation of Vector Comparisons

Pull Request - State: closed - Opened by dlshriver almost 3 years ago - 1 comment
Labels: bug, enhancement

#68 - Update Verifier Installs

Pull Request - State: closed - Opened by dlshriver almost 3 years ago - 1 comment
Labels: enhancement

#66 - Refactor property parsers

Pull Request - State: closed - Opened by dlshriver almost 3 years ago - 1 comment
Labels: enhancement, dependencies

#65 - using "pip install dnnv"

Issue - State: closed - Opened by GuantingPan almost 3 years ago - 2 comments

#64 - Updates to Verifiers

Pull Request - State: closed - Opened by dlshriver almost 3 years ago

#63 - Add access to path of DNNP property files

Pull Request - State: closed - Opened by dlshriver about 3 years ago

#62 - Use ONNX converter in Verinet

Pull Request - State: closed - Opened by dlshriver about 3 years ago

#61 - run file for ACAS-XU

Issue - State: closed - Opened by khedher1984 about 3 years ago - 1 comment

#60 - ACAS-XU

Issue - State: closed - Opened by khedher1984 about 3 years ago - 5 comments

#59 - New Test Suite

Pull Request - State: closed - Opened by dlshriver about 3 years ago - 1 comment

#58 - Fix nnenum tensor ordering

Pull Request - State: closed - Opened by dlshriver about 3 years ago - 1 comment

#57 - Create CITATION.cff

Pull Request - State: closed - Opened by dlshriver about 3 years ago

#56 - Update pyproject.toml for PEP 621

Pull Request - State: closed - Opened by dlshriver over 3 years ago

#55 - Update nnenum version

Pull Request - State: closed - Opened by dlshriver over 3 years ago

#54 - Error when installing planet - "cannot find -lumfpack"

Issue - State: closed - Opened by nathzi1505 over 3 years ago

#53 - MIPverify result error

Issue - State: closed - Opened by GuantingPan over 3 years ago - 2 comments

#52 - Docker usage error

Issue - State: closed - Opened by GuantingPan over 3 years ago - 2 comments

#51 - ERAN complete verification?

Issue - State: closed - Opened by j29scott over 3 years ago - 3 comments

#50 - missing requirement

Pull Request - State: closed - Opened by j29scott over 3 years ago

#49 - Allow for python3.7+

Pull Request - State: closed - Opened by j29scott over 3 years ago - 1 comment

#48 - Problem with some onnx networks

Issue - State: closed - Opened by sergedurand over 3 years ago - 2 comments

#47 - Add more ops to ONNX converter

Pull Request - State: closed - Opened by dlshriver over 3 years ago - 1 comment

#46 - Added NotEqual to Canonical Transformer

Pull Request - State: closed - Opened by Felipetoledo4815 over 3 years ago

#45 - Outdated dependencies in pip.

Issue - State: closed - Opened by pat676 over 3 years ago - 4 comments

#44 - Improve Environment Management

Pull Request - State: closed - Opened by dlshriver over 3 years ago - 1 comment

#43 - Docker installation error

Issue - State: closed - Opened by LebronX over 3 years ago - 17 comments

#42 - simplify vnnlib spec and allow extended tensor format

Pull Request - State: closed - Opened by dlshriver over 3 years ago

#41 - README improvements and artifact install script

Pull Request - State: closed - Opened by dlshriver over 3 years ago

#40 - Add ConvTranspose

Pull Request - State: closed - Opened by dlshriver over 3 years ago

#39 - add LeakyRelu and Resize

Pull Request - State: closed - Opened by dlshriver over 3 years ago

#38 - add OperationGraph composition

Pull Request - State: closed - Opened by dlshriver over 3 years ago

#37 - Version 0.4.0

Pull Request - State: closed - Opened by dlshriver almost 4 years ago

#36 - Add Format Converter

Pull Request - State: closed - Opened by dlshriver almost 4 years ago - 1 comment

#35 - Add Cast and Sign

Pull Request - State: closed - Opened by dlshriver almost 4 years ago

#34 - Output error

Issue - State: closed - Opened by MaxSally almost 4 years ago - 8 comments

#33 - Add Div, Sub, Expand, and Tile operations

Pull Request - State: closed - Opened by dlshriver almost 4 years ago - 1 comment

#32 - Fix Github Actions CI

Pull Request - State: closed - Opened by dlshriver almost 4 years ago

#31 - Create Github Actions CI pipeline

Pull Request - State: closed - Opened by dlshriver almost 4 years ago

#30 - property format

Issue - State: closed - Opened by MaxSally almost 4 years ago - 12 comments

#29 - Installation problem

Issue - State: closed - Opened by MaxSally almost 4 years ago - 1 comment