Skip to content

V0.0.34 - Halmos Beta

Choose a tag to compare

View all tags
@GalloDaSballo GalloDaSballo released this 28 Aug 11:13
· 29 commits to main since this release
v0.0.34
ad498ba

Releases tentative support for Halmos logs. Both normal and invariant tests are supported.

Assets 2
Loading