vnnlib 0.0.1__tar.gz

vnnlib-0.0.1/LICENSE.txt

@@ -0,0 +1,9 @@
+MIT License
+
+Copyright (c) 2023-present David Shriver <davidshriver@outlook.com>
+
+Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the "Software"), to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.

vnnlib-0.0.1/PKG-INFO

@@ -0,0 +1,102 @@
+Metadata-Version: 2.1
+Name: vnnlib
+Version: 0.0.1
+Author-email: David Shriver <davidshriver@outlook.com>
+License: MIT
+Project-URL: Documentation, https://github.com/dlshriver/vnnlib#readme
+Project-URL: Issues, https://github.com/dlshriver/vnnlib/issues
+Project-URL: Source, https://github.com/dlshriver/vnnlib
+Classifier: Development Status :: 4 - Beta
+Classifier: Programming Language :: Python
+Classifier: Programming Language :: Python :: 3.7
+Classifier: Programming Language :: Python :: 3.8
+Classifier: Programming Language :: Python :: 3.9
+Classifier: Programming Language :: Python :: 3.10
+Classifier: Programming Language :: Python :: 3.11
+Classifier: Programming Language :: Python :: Implementation :: CPython
+Classifier: Programming Language :: Python :: Implementation :: PyPy
+Requires-Python: >=3.8
+Description-Content-Type: text/markdown
+License-File: LICENSE.txt
+Requires-Dist: numpy>=1.19
+Provides-Extra: dev
+Requires-Dist: mypy>=1.5.0; extra == "dev"
+Requires-Dist: black>=23.1.0; extra == "dev"
+Requires-Dist: isort>=5.12.0; extra == "dev"
+Requires-Dist: coverage>=7.1.0; extra == "dev"
+Requires-Dist: pytest>=7.2.1; extra == "dev"
+Provides-Extra: lint
+Requires-Dist: mypy>=1.8.0; extra == "lint"
+Provides-Extra: style
+Requires-Dist: black>=23.1.0; extra == "style"
+Requires-Dist: isort>=5.12.0; extra == "style"
+Provides-Extra: test
+Requires-Dist: coverage>=7.1.0; extra == "test"
+Requires-Dist: pytest>=7.2.1; extra == "test"
+Provides-Extra: docs
+Requires-Dist: furo>=2022.12.7; extra == "docs"
+Requires-Dist: sphinx>=6.1.3; extra == "docs"
+Provides-Extra: dist
+Requires-Dist: build; extra == "dist"
+Requires-Dist: twine; extra == "dist"
+
+# vnnlib
+
+[![PyPI - Version](https://img.shields.io/pypi/v/vnnlib.svg)](https://pypi.org/project/vnnlib)
+[![PyPI - Python Version](https://img.shields.io/pypi/pyversions/vnnlib.svg)](https://pypi.org/project/vnnlib)
+
+-----
+
+A python package for parsing neural network properties in the [VNN-LIB format](https://www.vnnlib.org/).
+It should currently parse a superset of the VNN-LIB spec that was supported by the [example parser](https://github.com/stanleybak/nnenum/blob/master/src/nnenum/vnnlib.py) written by Stan Bak for [VNN-COMP](https://sites.google.com/view/vnn2023), and will produce compiled specs in the same format.
+Additionally, we allow parsing of gzip, bzip2, and lzma compressed specs.
+
+> Our parser is currently slower for some large files than the previous scripts due to the increased specification support. 
+> However, we expect significant optimization opportunities are available, and that overhead will decrease over time.
+
+> This package is still alpha software and APIs other than the compatibility API may change before the first release.
+
+
+## Installation
+
+For the latest stable version, you can install from PyPI with:
+
+```console
+pip install vnnlib
+```
+
+For the latest updates of `vnnlib`, you can pip install directly from the GitHub repo with:
+
+```console
+pip install git+https://github.com/dlshriver/vnnlib.git@main
+```
+
+## Usage
+
+This package can be used as a drop-in replacement for the VNN-COMP utility script by importing 
+
+```python
+from vnnlib.compat import read_vnnlib_simple
+```
+
+wherever you previously imported `read_vnnlib_simple`.
+
+### Standalone
+
+The parser can also be used to compile vnnlib ahead of time to reduce future property read times. The result of parsing will be pickled and saved to the location specified.
+
+```console
+python -m vnnlib [FILE] --compat -o [OUTPUTFILE]
+```
+
+### API
+
+We provide a full VNN-LIB parser which will generate an AST for a given specification.
+To manipulate this AST to generate useful representations that can be dispatched to a verifier, we provide a transformer class which visits the nodes of the AST.
+We implement one version of this to parse and generate outputs in the format used in prior years of VNN-COMP in `vnnlib/compat.py`
+
+> Documentation will hopefully be coming soon.
+
+## License
+
+`vnnlib` is distributed under the terms of the [MIT](https://spdx.org/licenses/MIT.html) license.

vnnlib-0.0.1/README.md

@@ -0,0 +1,60 @@
+# vnnlib
+
+[![PyPI - Version](https://img.shields.io/pypi/v/vnnlib.svg)](https://pypi.org/project/vnnlib)
+[![PyPI - Python Version](https://img.shields.io/pypi/pyversions/vnnlib.svg)](https://pypi.org/project/vnnlib)
+
+-----
+
+A python package for parsing neural network properties in the [VNN-LIB format](https://www.vnnlib.org/).
+It should currently parse a superset of the VNN-LIB spec that was supported by the [example parser](https://github.com/stanleybak/nnenum/blob/master/src/nnenum/vnnlib.py) written by Stan Bak for [VNN-COMP](https://sites.google.com/view/vnn2023), and will produce compiled specs in the same format.
+Additionally, we allow parsing of gzip, bzip2, and lzma compressed specs.
+
+> Our parser is currently slower for some large files than the previous scripts due to the increased specification support. 
+> However, we expect significant optimization opportunities are available, and that overhead will decrease over time.
+
+> This package is still alpha software and APIs other than the compatibility API may change before the first release.
+
+
+## Installation
+
+For the latest stable version, you can install from PyPI with:
+
+```console
+pip install vnnlib
+```
+
+For the latest updates of `vnnlib`, you can pip install directly from the GitHub repo with:
+
+```console
+pip install git+https://github.com/dlshriver/vnnlib.git@main
+```
+
+## Usage
+
+This package can be used as a drop-in replacement for the VNN-COMP utility script by importing 
+
+```python
+from vnnlib.compat import read_vnnlib_simple
+```
+
+wherever you previously imported `read_vnnlib_simple`.
+
+### Standalone
+
+The parser can also be used to compile vnnlib ahead of time to reduce future property read times. The result of parsing will be pickled and saved to the location specified.
+
+```console
+python -m vnnlib [FILE] --compat -o [OUTPUTFILE]
+```
+
+### API
+
+We provide a full VNN-LIB parser which will generate an AST for a given specification.
+To manipulate this AST to generate useful representations that can be dispatched to a verifier, we provide a transformer class which visits the nodes of the AST.
+We implement one version of this to parse and generate outputs in the format used in prior years of VNN-COMP in `vnnlib/compat.py`
+
+> Documentation will hopefully be coming soon.
+
+## License
+
+`vnnlib` is distributed under the terms of the [MIT](https://spdx.org/licenses/MIT.html) license.

vnnlib-0.0.1/pyproject.toml

@@ -0,0 +1,66 @@
+[build-system]
+requires = ["setuptools", "mypy[mypyc]"]
+build-backend = "setuptools.build_meta"
+
+[project]
+name = "vnnlib"
+dynamic = ["version"]
+description = ""
+readme = "README.md"
+license = { text = "MIT" }
+authors = [{ name = "David Shriver", email = "davidshriver@outlook.com" }]
+keywords = []
+classifiers = [
+    "Development Status :: 4 - Beta",
+    "Programming Language :: Python",
+    "Programming Language :: Python :: 3.7",
+    "Programming Language :: Python :: 3.8",
+    "Programming Language :: Python :: 3.9",
+    "Programming Language :: Python :: 3.10",
+    "Programming Language :: Python :: 3.11",
+    "Programming Language :: Python :: Implementation :: CPython",
+    "Programming Language :: Python :: Implementation :: PyPy",
+]
+requires-python = ">=3.8"
+dependencies = ["numpy>=1.19"]
+
+[project.urls]
+Documentation = "https://github.com/dlshriver/vnnlib#readme"
+Issues = "https://github.com/dlshriver/vnnlib/issues"
+Source = "https://github.com/dlshriver/vnnlib"
+
+[project.optional-dependencies]
+dev = [
+    "mypy>=1.5.0",
+    "black>=23.1.0",
+    "isort>=5.12.0",
+    "coverage>=7.1.0",
+    "pytest>=7.2.1",
+]
+lint = ["mypy>=1.8.0"]
+style = ["black>=23.1.0", "isort>=5.12.0"]
+test = ["coverage>=7.1.0", "pytest>=7.2.1"]
+docs = ["furo>=2022.12.7", "sphinx>=6.1.3"]
+dist = ["build", "twine"]
+
+[tool.setuptools.dynamic]
+version = { attr = "vnnlib.__version__.__version__" }
+
+[tool.setuptools.packages.find]
+include = ["vnnlib"]
+
+[tool.coverage.run]
+branch = true
+command_line = "-m pytest"
+parallel = true
+source = ["vnnlib"]
+omit = ["vnnlib/__main__.py"]
+
+[tool.isort]
+profile = "black"
+src_paths = ["vnnlib", "test"]
+
+[tool.pytest.ini_options]
+minversion = "7.0"
+addopts = "--ff --verbose --import-mode=importlib"
+testpaths = ["tests"]

vnnlib-0.0.1/setup.cfg

@@ -0,0 +1,4 @@
+[egg_info]
+tag_build = 
+tag_date = 0
+

vnnlib-0.0.1/setup.py

@@ -0,0 +1,16 @@
+import sys
+from setuptools import setup
+from mypyc.build import mypycify
+
+setup(
+    name="vnnlib",
+    packages=["vnnlib"],
+    ext_modules=mypycify(
+        [
+            "vnnlib/tokenizer.py",
+            "vnnlib/parser.py",
+        ]
+    )
+    if sys.implementation.name == "cpython"
+    else [],
+)

vnnlib-0.0.1/tests/test_cli.py

@@ -0,0 +1,45 @@
+import numpy as np
+import pytest
+
+from vnnlib.cli import main
+from vnnlib.errors import VnnLibError
+
+
+def test_nano(tmp_path):
+    vnnlib_path = tmp_path / "test.vnnlib"
+    with open(vnnlib_path, "w+") as f:
+        f.write(
+            "(declare-const X_0 Real)\n(declare-const Y_0 Real)\n(assert (>= X_0 -1))\n(assert (<= X_0 1))\n(assert (<= Y_0 -1))\n"
+        )
+    out_path = tmp_path / "out.npy"
+
+    result = main([str(vnnlib_path), "-o", str(out_path), "--compat"])
+    assert result is None
+
+    output = np.load(out_path, allow_pickle=True)
+    assert output == [([[-1, 1]], [(np.array([[1]]), np.array([[-1]]))])]
+
+
+def test_unsupported_spec_format(tmp_path):
+    vnnlib_path = tmp_path / "test.py"
+    with open(vnnlib_path, "w+"):
+        pass
+    out_path = tmp_path / "out.npy"
+
+    with pytest.raises(VnnLibError, match="Unsupported file type: .py"):
+        _ = main([str(vnnlib_path), "-o", str(out_path), "--compat"])
+
+
+def test_unsupported_output_format(tmp_path):
+    vnnlib_path = tmp_path / "test.vnnlib"
+    with open(vnnlib_path, "w+") as f:
+        f.write(
+            "(declare-const X_0 Real)\n(declare-const Y_0 Real)\n(assert (>= X_0 -1))\n(assert (<= X_0 1))\n(assert (<= Y_0 -1))\n"
+        )
+    out_path = tmp_path / "out.npy"
+
+    with pytest.raises(
+        NotImplementedError,
+        match="Currently only the VNN-COMP-1 output format is supported",
+    ):
+        _ = main([str(vnnlib_path), "-o", str(out_path)])