Jul 2026
No Snake Oil: Verifying Python Package Builds
Daleq4py is presented and evaluated, a tool to establish the equivalence of Python wheels through the kernel of a normalisation function that is based on provenance-preserving datalog rules, and results show that daleq4py substantially expands the set of rebuilds that can be accepted as equivalent.
Jens Dietrich, Spencer Sun, Tim White et al.
· arXiv.org · 0 citations