--- Log opened Sat Feb 05 00:00:50 2022 02:00 < darosior> sipa: oh, i forgot, can you push the fix for the bug your fuzz target found? 03:04 -!- enick_696 [~afilini-m@2001:bc8:1828:245::2] has joined ##miniscript 03:09 < darosior> Also re renaming NodeType into Fragment, i was not planning to PR it to the Miniscript repo, as with any further changes after the fuzz target 06:38 <@sipa> Still fighting with the fuzzer... I feel it's not as efficient as it could be, I make some improvements, and then it again doesn't seem to find the ops issue anymore. 08:18 -!- salvatoshi [~salvatosh@lfbn-idf3-1-709-208.w86-252.abo.wanadoo.fr] has joined ##miniscript 09:31 -!- salvatoshi [~salvatosh@lfbn-idf3-1-709-208.w86-252.abo.wanadoo.fr] has quit [Ping timeout: 256 seconds] 09:37 -!- salvatoshi [~salvatosh@lfbn-idf3-1-709-208.w86-252.abo.wanadoo.fr] has joined ##miniscript 09:57 -!- salvatoshi [~salvatosh@lfbn-idf3-1-709-208.w86-252.abo.wanadoo.fr] has quit [Ping timeout: 256 seconds] --- Log closed Sun Feb 06 00:00:51 2022