Skip to content

Bump version manually from 1.0.1 to 1.0.3, make use of auto-verify 1.0.0 and add Python 3.11 support as advertised #167

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
AWbosman merged 4 commits into from
Jan 19, 2026
Merged

Bump version manually from 1.0.1 to 1.0.3, make use of auto-verify 1.0.0 and add Python 3.11 support as advertised #167

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
4 commits
Select commit Hold shift + click to select a range
75f89f5
Bump version manually from 1.0.1 to 1.0.3
henba1 Nov 25, 2025
148ab12
Updated pyproject.toml to reflect necessary changes for version 1.0.4…
henba1 Nov 27, 2025
3f44f3a
Merge branch 'main' into henba1-patch-bump-version-1.0.3
henba1 Jan 14, 2026
17f91ba
update lockfile
henba1 Jan 14, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -87,7 +87,7 @@ To use the auto-verify verifiers, you need to additionally install auto-verify:
**Note:** On macOS (and sometimes on Linux), you may need to install `swig` first with `conda install -c conda-forge swig`.

```bash
uv pip install auto-verify>=0.1.4
uv pip install auto-verify
```

This package provides a framework for integrating verifiers. Please refer to the [auto-verify documentation](https://ada-research.github.io/auto-verify/) for details about auto-verify.
Expand Down
20 changes: 10 additions & 10 deletions pyproject.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@ build-backend = "hatchling.build"

[project]
name = "ada-verona"
version = "1.0.1"
version = "1.0.3"
description = "Neural Network Robustness Analysis Framework"
authors = [
{name = "Annelot Bosman", email = "a.w.bosman@liacs.leidenuniv.nl"},
Expand All @@ -16,7 +16,7 @@ authors = [
author = "Annelot Bosmann, Aaron Berger, Hendrik Baacke, Jan van Rijn, Holger H. Hoos"
author_email = "a.w.bosman@liacs.leidenuniv.nl, aaron.berger@rwth-aachen.de, hendrik.baacke@rwth-aachen.de, jan.vanrijn@liacs.leidenuniv.nl, hh@aim.rwth-aachen.de"
readme = "README.md"
requires-python = ">=3.10,<3.11"
requires-python = ">=3.10,<3.12"
license = {file = "LICENSE"}
keywords = ["neural networks", "robustness", "verification", "adversarial", "adversarial robustness", "adversarial attacks", "AI safety"]
classifiers = [
Expand All @@ -32,9 +32,9 @@ classifiers = [
dependencies = [
"matplotlib>=3.10.0",
"numpy>=1.24.3",
"onnx>=1.14.0",
"onnxruntime>=1.14.1",
"onnx2torch>=1.5.14",
"onnx>=1.17.0",
"onnxruntime>=1.18.0",
"onnx2torch>=1.5.15",
"pandas>=2.0.1",
"PyYAML>=6.0.1",
"result>=0.9.0",
Expand Down Expand Up @@ -67,13 +67,13 @@ dev = [
"pytest-mock>=3.14.0",
"pytest-cov>=4.1.0",
"coverage>=7.0.0",
"auto-verify==1.0.0",
"autoattack @ git+https://github.com/fra31/auto-attack",
"ruff>=0.3.4",
"black>=22.0.0",
"mypy>=0.991",
"pre-commit",
"mkdocs>=1.6.1",
"mkdocs-material>=9.7.0",
"mkdocstrings-python>=1.19.0"
"build>=0.10.0",
"twine>=4.0.0"
]

[project.urls]
Expand Down Expand Up @@ -121,4 +121,4 @@ select = [
"SIM",
# isort
"I",
]
]
Loading