New hevm release landed! This version brings improvements on several fronts: ✅ Improved usability ✅ Faster performance ✅ Deeper code inspection ✅ More correctness guarantees A big step forward for formal EVM testing.

Excited to see that 4 Argot projects - @solidity_lang, @official_fe, Act and hevm - are part of @OctantApp's Epoch 8 cohort! 👇

Argot is looking for an Ecosystem Liaison to help us manage ecosystem relations, public good fundraising, and communications. Read more about the role: → If this sounds like you (or someone you know), we'd love to see you apply!

Hello, world! We are the Argot Collective: A non-profit, democratically organized, research & development group focused on maintaining free and independent software related to Ethereum. Read the announcement on our blog for all details or follow this thread for a tl;dr ▾