Conversation

Notices

1. Embed this notice
   Jeff "never puts away anything, especially oven mitts" Cliff, Bringer of Nightmares 🏴‍☠️🦝🐙 🇱🇧🧯 🇨🇦🐧 (jeffcliff@shitposter.world)'s status on Sunday, 15-Dec-2024 13:25:54 JST Jeff "never puts away anything, especially oven mitts" Cliff, Bringer of Nightmares 🏴‍☠️🦝🐙 🇱🇧🧯 🇨🇦🐧
   i think i know what is failing on the ethereum's c++ dependency team's version of z3 but i bet the real version of z3 doens't fail with this so the real problem is that they aren't using the default debian z3 but we'll see
   • Embed this notice
     frogzone@wizard.casa's status on Sunday, 15-Dec-2024 15:33:53 JST frogzone

     in reply to

     @jeffcliff giving up on eth is totally fine, too. :)

     Jeff "never puts away anything, especially oven mitts" Cliff, Bringer of Nightmares 🏴‍☠️🦝🐙 🇱🇧🧯 🇨🇦🐧 likes this.