halmos 0.0.5
v0.0.5

on Python PyPI

latest releases: 0.3.3, 0.3.2, 0.3.1...

3 years ago

What's Changed

Improve nonlinear arithmetic reasoning in #38
Add SIGNEXTEND opcode by @zobront in #41

New Contributors

@zobront made their first contribution in #41

Full Changelog: v0.0.4...v0.0.5

Check out latest releases or
releases around halmos 0.0.5

Don't miss a new halmos release

NewReleases is sending notifications on new releases.

Get notifications