crosshair-tool
Analyze Python code for correctness using symbolic execution.
- Latest release
- Jun 02, 2026
- Releases
- 106
- Known CVEs
- 0
- First release
- Feb 09, 2020
- License
- MIT
Repository
Source
- Stars
- —
- Forks
- —
- Open issues
- —
Security score
No OpenSSF Scorecard available for this repository.
Packages from this repo
No other tracked packages from this repository.
Insights
Activity
- Total releases
- 106
- Last 12 months
- 13
- Cadence
- ~7 days
- Dependencies
- 21
Releases per month
last 12 monthsRelease mix
- patch 105
106
releases
Dependencies
Depends on
0.0.106-
autodocsumm
<1,>=0.2.2
-
black
==25.9.0
-
deal
>=4.13.0
-
icontract
>=2.4.0
-
importlib-metadata
>=4.0.0
-
isort
==5.11.5
-
mypy
==1.18.1
-
numpy
==1.24.0
-
packaging
-
pre-commit
~=2.20
1–10 of 21
Used by
4Releases
| Version | Released | |
|---|---|---|
0.0.106
patch
| ||
0.0.105
patch
| ||
0.0.104
patch
| ||
0.0.103
patch
| ||
0.0.102
patch
| ||
0.0.101
patch
| ||
0.0.100
patch
| ||
0.0.99
patch
| ||
0.0.98
patch
| ||
0.0.97
patch
| ||
0.0.96
patch
| ||
0.0.95
patch
| ||
0.0.94
patch
| ||
0.0.93
patch
| ||
0.0.92
patch
| ||
0.0.91
patch
| ||
0.0.90
patch
| ||
0.0.89
patch
| ||
0.0.88
patch
| ||
0.0.87
patch
|
1–20 of 106