https://pypi.org/project/hydo-assert/ Recent updates to the Python Package Index for hydo-assert en https://pypi.org/project/hydo-assert/0.3.0/ Assertion SDK for programs tested under hydo, a deterministic hypervisor (always/sometimes properties, BUGGIFY fault points, bounded liveness, operation histories) Sun, 08 Nov 2026 13:16:13 GMT https://pypi.org/project/hydo-assert/0.2.0/ Assertion SDK for programs tested under hydo, a deterministic hypervisor (always/sometimes properties, BUGGIFY fault points, bounded liveness, operation histories) Sat, 07 Nov 2026 22:53:02 GMT