Nova versão do hevm lançada! Esta versão traz melhorias em várias frentes: ✅ Usabilidade melhorada ✅ Desempenho mais rápido ✅ Inspeção de código mais profunda ✅ Mais garantias de correção Um grande passo em frente para testes formais do EVM.

Empolgado por ver que 4 projetos Argot - @solidity_lang, @official_fe, Act e hevm - fazem parte da coorte Epoch 8 do @OctantApp! 👇

A Argot está à procura de uma Ligação ao Ecossistema para nos ajudar a gerir as relações com os ecossistemas, a angariação de fundos para o bem público e as comunicações. Leia mais sobre a função: → Se isso soa como você (ou alguém que você conhece), adoraríamos vê-lo se candidatar!

Olá, mundo! Somos o Argot Collective: Um grupo de pesquisa e desenvolvimento sem fins lucrativos, organizado democraticamente, focado na manutenção de software livre e independente relacionado ao Ethereum. Leia o anúncio em nosso blog para todos os detalhes ou siga este tópico para um tl; dr ▾