v0.0.6.13

What's Changed

• Remove annotation left after opting out by @ElijahVlasov in #59
• Updated PyProject File to make a release to Pypi registry by @gat786 in #60
• Verified commits check by @ElijahVlasov in #64
• Add nice error message for missing logical variable by @ElijahVlasov in #65

New Contributors

• @gat786 made their first contribution in #60

Full Changelog: v0.0.6.11...v0.0.6.13

v0.0.6.11

What's Changed

• Add disclaimer by @ElijahVlasov in #57
• Edit disclaimer by @ElijahVlasov in #58

Full Changelog: https://github.com/NethermindEth/horus-compile/commits/v0.0.6.11

v0.0.6.10

What's Changed

• Mark functions with @assert in them as annotated by @ElijahVlasov in #51
• Add an error message for unexpected annotations by @ElijahVlasov in #52

Full Changelog: v0.0.6.8...v0.0.6.10

v0.0.6.8

What's Changed

• Separate starknet-compile and horus-compile outputs by @ElijahVlasov in #50

Full Changelog: v0.0.6.7...v0.0.6.8

v0.0.6.7

What's Changed

• Type error messages by @ElijahVlasov in #49

Full Changelog: v0.0.6.6...v0.0.6.7

v0.0.6.6

What's Changed

• Pretty printing of MissingIdentiferError by @ElijahVlasov in #48

Full Changelog: v0.0.6.5...v0.0.6.6

v0.0.6.5

Anonymous labels for assert annotations have the form !anonymous_assert_label_{N} noew.

v0.0.6.4

• Assert annotations
• Source code of annotations in the JSON output
• Horus-compile version in the JSON output

v0.0.6.3

Fixed visiting arguments of storage variable functions in assertions.

v0.0.6.2

Bump to cairo-lang==0.10.1