halmos 0.1.10
v0.1.10

on Python PyPI

latest releases: 0.3.3, 0.3.2, 0.3.1...

2 years ago

What's Changed

Performance:

Reduce memory footprint in #218

Features:

Introduce other failure modes in #237
Add --match-test and --match-contract in #238

Dependencies:

Drop support for python 3.8 in #226
Require z3 4.12.2 in pyproject in #236

Full Changelog: v0.1.9...v0.1.10

Check out latest releases or
releases around halmos 0.1.10

Don't miss a new halmos release

NewReleases is sending notifications on new releases.

Get notifications