auto-verify
Efficient portfolio-based verification of neural network properties
- Latest release
- Jan 14, 2026
- Releases
- 7
- Known CVEs
- 0
- First release
- Dec 09, 2022
- License
- BSD-3-Clause
Insights
Activity
- Total releases
- 7
- Last 12 months
- 2
- Cadence
- ~3 months
- Dependencies
- 23
Releases per month
last 12 monthsRelease mix
- major 1
- minor 1
- patch 4
7
releases
Dependencies
Depends on
1.0.0-
bumpver
-
configspace ==0.7.1
-
coverage
-
mkdocs
-
mypy
-
numpy <2,>=1.26.0
-
onnx ==1.17.0
-
onnxruntime ==1.18.0
-
pandas ==2.2.0
-
pre-commit
1–10 of 23
Used by
Nothing tracked depends on this yet.
Releases
| Version | Released | |
|---|---|---|
1.0.0
major
|
1.0.0
major
Dependencies (23)
+ 15 more |
|
0.1.4
patch
|
0.1.4
patch
|
|
0.1.3
patch
|
0.1.3
patch
|
|
0.1.2
patch
|
0.1.2
patch
|
|
0.1.1
patch
|
0.1.1
patch
|
|
0.1.0
minor
|
0.1.0
minor
|
|
0.0.1
initial
|
0.0.1
initial
|