--- Log opened Sat Apr 23 00:00:03 2022
00:13 -!- shesek__ [~shesek@user/shesek] has quit [Remote host closed the connection]
00:13 -!- shesek__ [~shesek@user/shesek] has joined ##miniscript
00:35 -!- shesek__ [~shesek@user/shesek] has quit [Remote host closed the connection]
00:35 -!- shesek__ [~shesek@user/shesek] has joined ##miniscript
01:14 -!- shesek__ [~shesek@user/shesek] has quit [Remote host closed the connection]
01:14 -!- shesek__ [~shesek@user/shesek] has joined ##miniscript
01:22 -!- shesek__ [~shesek@user/shesek] has quit [Remote host closed the connection]
01:22 -!- shesek__ [~shesek@user/shesek] has joined ##miniscript
01:37 -!- shesek__ [~shesek@user/shesek] has quit [Remote host closed the connection]
01:37 -!- shesek__ [~shesek@user/shesek] has joined ##miniscript
01:48 -!- shesek_ [~shesek@user/shesek] has joined ##miniscript
01:50 -!- shesek__ [~shesek@user/shesek] has quit [Remote host closed the connection]
02:08 -!- shesek_ [~shesek@user/shesek] has quit [Remote host closed the connection]
02:08 -!- shesek_ [~shesek@user/shesek] has joined ##miniscript
02:19 -!- shesek_ [~shesek@user/shesek] has quit [Remote host closed the connection]
02:19 -!- shesek_ [~shesek@user/shesek] has joined ##miniscript
02:33 -!- shesek_ [~shesek@user/shesek] has quit [Remote host closed the connection]
02:33 -!- shesek_ [~shesek@user/shesek] has joined ##miniscript
03:59 -!- shesek_ [~shesek@user/shesek] has quit [Remote host closed the connection]
03:59 -!- shesek_ [~shesek@user/shesek] has joined ##miniscript
04:20 -!- shesek_ [~shesek@user/shesek] has quit [Remote host closed the connection]
04:20 -!- shesek_ [~shesek@user/shesek] has joined ##miniscript
04:29 -!- shesek__ [~shesek@user/shesek] has joined ##miniscript
04:30 -!- shesek_ [~shesek@user/shesek] has quit [Remote host closed the connection]
04:36 -!- shesek__ [~shesek@user/shesek] has quit [Remote host closed the connection]
04:36 -!- shesek__ [~shesek@user/shesek] has joined ##miniscript
05:33 < darosior> sipa: the satisfier code currently uses the number of stack elements to choose between two otherwise valid sats. Do we agree we should check by witness size instead?
05:34 <@sipa> huh, really?
05:37 < darosior> Hmm yes, as far as i can tell CalcStackSize() is CalcStackElemCounts() :)
06:46 -!- shesek__ [~shesek@user/shesek] has quit [Remote host closed the connection]
06:46 -!- shesek__ [~shesek@user/shesek] has joined ##miniscript
07:21 -!- shesek__ [~shesek@user/shesek] has quit [Remote host closed the connection]
07:21 -!- shesek__ [~shesek@user/shesek] has joined ##miniscript
07:26 -!- shesek__ [~shesek@user/shesek] has quit [Remote host closed the connection]
07:26 -!- shesek__ [~shesek@user/shesek] has joined ##miniscript
07:59 < darosior> afilini: did you find any instance with https://github.com/afilini/miniscript-bug-check-blocks/blob/master/src/main.rs?
08:05 -!- shesek__ [~shesek@user/shesek] has quit [Remote host closed the connection]
08:05 -!- shesek__ [~shesek@user/shesek] has joined ##miniscript
08:26 < RiccardoCasatta[> I did a run and I didn't find any instance
08:37 -!- shesek__ [~shesek@user/shesek] has quit [Remote host closed the connection]
08:37 -!- shesek__ [~shesek@user/shesek] has joined ##miniscript
08:56 -!- shesek__ [~shesek@user/shesek] has quit [Remote host closed the connection]
08:56 -!- shesek__ [~shesek@user/shesek] has joined ##miniscript
09:15 < darosior> Ok, nice
10:02 -!- shesek__ [~shesek@user/shesek] has quit [Remote host closed the connection]
10:02 -!- shesek__ [~shesek@user/shesek] has joined ##miniscript
10:15 -!- shesek__ [~shesek@user/shesek] has quit [Remote host closed the connection]
10:15 -!- shesek__ [~shesek@user/shesek] has joined ##miniscript
10:16 -!- shesek__ [~shesek@user/shesek] has quit [Remote host closed the connection]
13:43 -!- salvatoshi [~salvatosh@lfbn-idf3-1-717-163.w86-252.abo.wanadoo.fr] has joined ##miniscript
14:39 -!- salvatoshi [~salvatosh@lfbn-idf3-1-717-163.w86-252.abo.wanadoo.fr] has quit [Ping timeout: 246 seconds]
20:04 -!- roconnor [~roconnor@coq/roconnor] has quit [Quit: Konversation terminated!]
--- Log closed Sun Apr 24 00:00:04 2022