v1.0.0

First major release. The following backends are supported as of now:

• ESBMC
• CBMC
• Clang
• PyTest

This release is also available on PyPI.

---

Full Changelog: v1.0.0.dev1...v1.0.0