Conversation

Notices

1. Embed this notice
   ✧✦Catherine✦✧ (whitequark@mastodon.social)'s status on Thursday, 17-Apr-2025 10:46:41 JST ✧✦Catherine✦✧

   how well documented are SMT solvers?

   well, to figure out how you can get boolector to display numbers in hex, i had to load it in Binary Ninja just now and look for the function that does it

   by the way, the answer is (set-option :output-number-format 3). it's completely undocumented as far as i can see

   • Embed this notice
     John Regehr (regehr@mastodon.social)'s status on Thursday, 17-Apr-2025 10:54:23 JST John Regehr

     in reply to

     @whitequark they're mostly academic projects so....

   • Embed this notice
     ✧✦Catherine✦✧ (whitequark@mastodon.social)'s status on Thursday, 17-Apr-2025 12:09:23 JST ✧✦Catherine✦✧

     in reply to

     presented without comment

   • Embed this notice
     dram🎀 (dramforever@mastodon.social)'s status on Thursday, 17-Apr-2025 12:14:02 JST dram🎀

     in reply to

     @whitequark ... tag yourself?

   • Embed this notice
     Jake Vossen (jvossen@mastodon.social)'s status on Thursday, 17-Apr-2025 12:39:41 JST Jake Vossen

     in reply to

     @whitequark I’m not reading all this but I’m here for the pretty graphviz