halmos 0.0.3
v0.0.3

on Python PyPI

latest releases: 0.3.3, 0.3.2, 0.3.1...

3 years ago

What's Changed

Do not ignore unsupported cheatcode in #18
Support setUp() test patterns in #21
Support multiple compilation units in #22
Lower required python version to >=3.8 in #23
Fix axiom encoding in #24

Full Changelog: v0.0.2...v0.0.3

Check out latest releases or
releases around halmos 0.0.3

Don't miss a new halmos release

NewReleases is sending notifications on new releases.

Get notifications