--- Log opened Mon Aug 30 00:00:53 2021 04:47 -!- roconnor [~roconnor@host-45-58-210-199.dyn.295.ca] has joined ##miniscript 06:51 -!- roconnor [~roconnor@host-45-58-210-199.dyn.295.ca] has quit [Ping timeout: 256 seconds] 07:28 -!- meshcollider [meshcollid@user/meshcollider] has quit [Remote host closed the connection] 07:55 -!- meshcollider [meshcollid@jujube.ircnow.org] has joined ##miniscript 08:01 -!- roconnor [~roconnor@host-45-58-210-199.dyn.295.ca] has joined ##miniscript 15:05 -!- meshcollider [meshcollid@jujube.ircnow.org] has quit [Changing host] 15:05 -!- meshcollider [meshcollid@user/meshcollider] has joined ##miniscript 21:35 -!- gnusha [~gnusha@user/gnusha] has joined ##miniscript 21:35 [Users ##miniscript] 21:35 [@sipa ] [ enick_57 ] [ ksedgwic ] [ roconnor ] 21:35 [ _0x0ff ] [ FelixWeis] [ MatrixBot1234516] [ sandipndev ] 21:35 [ achow101 ] [ fjahr ] [ meshcollider ] [ sanket1729 ] 21:35 [ andytoshi ] [ gnusha ] [ michaelfolkson ] [ sanket_cell] 21:35 [ blkncd ] [ hugohn ] [ notmandatory ] [ sebx2a ] 21:35 [ darosior ] [ jnewbery ] [ paairs ] 21:35 [ dr-orlovsky] [ kalle ] [ robertspigler ] 21:35 -!- Irssi: ##miniscript: Total of 26 nicks [1 ops, 0 halfops, 0 voices, 25 normal] 21:36 -!- Channel ##miniscript created Thu May 20 00:29:16 2021 21:38 -!- Irssi: Join to ##miniscript was synced in 163 secs 22:34 < meshcollider> sipa: I think I've found a bug but I have no idea where it is haha 22:35 < meshcollider> `v:and_b(1,1)` outputs script `1 1 OP_BOOLAND`, where has the VERIFY gone? 22:41 -!- roconnor [~roconnor@host-45-58-210-199.dyn.295.ca] has quit [Ping timeout: 245 seconds] 22:46 < meshcollider> Oh don't worry, it works when the types are correct (e.g. `v:and_b(1, a:1)`) 22:48 * darosior was trying to reproduce :) 22:52 < meshcollider> darosior: you can reproduce on the miniscript website http://bitcoin.sipa.be/miniscript/ but I guess if the types are incorrect, it is UB 22:52 < meshcollider> ideally it would work anyway I guess 23:04 < darosior> Why should it? It should be treated invalid 23:04 < darosior> (Just tested btw and it's well detected as invalid) --- Log closed Tue Aug 31 00:00:54 2021