--- Log opened Thu Apr 14 00:00:56 2022
00:25 -!- salvatoshi [~salvatosh@genymobile-2-6-86.fib.nerim.net] has joined ##miniscript
01:16 -!- darosior [~darosior@194.36.189.246] has quit [Remote host closed the connection]
01:17 -!- darosior [~darosior@194.36.189.246] has joined ##miniscript
04:35 < darosior> Coverage of the final 4 targets on a rebased #24149 and from seeds gathered from a few overnight runs on my laptop: http://download.darosior.ninja/dump/miniscript_fuzzing/
04:35 < darosior> (and previous corpora, especially for miniscript_script as i had populated the miniscript_decode with initial seeds)
05:41 -!- elsirion [~quassel@gateway/tor-sasl/elsirion] has quit [Remote host closed the connection]
05:42 -!- elsirion [~quassel@gateway/tor-sasl/elsirion] has joined ##miniscript
07:42 -!- shesek__ [~shesek@user/shesek] has joined ##miniscript
07:46 -!- shesek__ [~shesek@user/shesek] has quit [Remote host closed the connection]
07:46 -!- shesek__ [~shesek@user/shesek] has joined ##miniscript
08:41 -!- salvatoshi [~salvatosh@genymobile-2-6-86.fib.nerim.net] has quit [Ping timeout: 256 seconds]
09:05 < darosior> sipa: my approach for checking for duplicate keys is using a set, this adds the requirement on the Key type to implement operator<. Do you think that's reasonable?
09:07 <@sipa> Yeah.
09:07 <@sipa> I have a branch that adds a HasDuplicateKeys function which works, but I haven't integrated it in other places.
09:08 <@sipa> Do you want it, or are you adding things yourself?
09:21 -!- SanketKanjalkar[ [~sanke1729@2001:470:69fc:105::1:f90a] has joined ##miniscript
09:54 < darosior> I have a working and tested version too
09:54 < darosior> Was considering other approaches that's why i asked, but i'll PR it now
10:11 < darosior> https://github.com/sipa/miniscript/pull/116
10:12 < darosior> Would be happy to see your version too, out of curiosity
10:18 <@sipa> It's pretty similar.
10:18 <@sipa> You also cache the result in the Node object, which I didn't do. Yours is much better.
10:26 -!- darosior0 [~darosior@194.36.189.246] has joined ##miniscript
10:33 -!- Netsplit *.net <-> *.split quits: warren, darosior
10:33 -!- darosior0 is now known as darosior
10:37 -!- Netsplit over, joins: warren
10:49 -!- shesek__ [~shesek@user/shesek] has quit [Remote host closed the connection]
10:49 -!- shesek__ [~shesek@user/shesek] has joined ##miniscript
11:05 -!- shesek__ [~shesek@user/shesek] has quit [Remote host closed the connection]
11:05 -!- shesek__ [~shesek@user/shesek] has joined ##miniscript
11:23 -!- shesek__ [~shesek@user/shesek] has quit [Remote host closed the connection]
--- Log closed Fri Apr 15 00:00:55 2022