--- Day changed Mon Oct 12 2020 01:28 < darosior> sanket1729: thanks! 01:51 -!- jonatack [~jon@134.19.179.147] has quit [Ping timeout: 244 seconds] 02:03 < sanket1729> darosior: Many of internal testcases are malleable 02:06 < darosior> Ok that explains the reached unreachable!() on double dissat then 02:07 < darosior> However not sure what's the best way to go then: maybe *at least* returning None in this case ? 02:07 < sanket1729> I was wrong. Some of testcases are safe, but they still reach that path 02:08 < darosior> Ah! 02:08 < sanket1729> for example or_i(pk_k(A),pk_k(B)) 02:08 < sanket1729> Because it is allowed at root level 02:08 < sanket1729> because we never dissatisfy top level 02:08 * darosior takes back his miniscript reference book and checks or_i 02:10 < darosior> Ok, so it's malleable (1 0 and 0 0 both work ?) but i don't get the rationale you gave 02:10 < darosior> Ok 02:10 < darosior> Now i get it ^^ 02:11 < darosior> So looks like leaving it as is is the way to go ? 02:16 < sanket1729> darosior: my bouncer crashed. Incase you sent a message after "keeping like isRoot seems ugly" I may have missed it 02:18 < darosior> sanket1729: nope, got the rationale :) 02:35 -!- jonatack [~jon@37.166.80.90] has joined ##miniscript 02:52 -!- jonatack [~jon@37.166.80.90] has quit [Read error: Connection reset by peer] 03:14 -!- shesek [~shesek@unaffiliated/shesek] has quit [Remote host closed the connection] 04:29 -!- ghost43 [~daer@gateway/tor-sasl/daer] has quit [Remote host closed the connection] 04:29 -!- ghost43 [~daer@gateway/tor-sasl/daer] has joined ##miniscript 04:40 -!- jonatack [~jon@109.232.227.138] has joined ##miniscript 04:48 -!- jonatack [~jon@109.232.227.138] has quit [Ping timeout: 256 seconds] 04:50 -!- jonatack [~jon@2a01:e0a:53c:a200:bb54:3be5:c3d0:9ce5] has joined ##miniscript 04:50 -!- jonatack [~jon@2a01:e0a:53c:a200:bb54:3be5:c3d0:9ce5] has quit [Client Quit] 04:50 -!- jonatack [~jon@2a01:e0a:53c:a200:bb54:3be5:c3d0:9ce5] has joined ##miniscript 06:25 < andytoshi> sipa: do you have the miniscript site from before augist 2019? or any documentation about the E/F/etc types? 08:00 -!- shesek [~shesek@164.90.217.137] has joined ##miniscript 08:00 -!- shesek [~shesek@164.90.217.137] has quit [Changing host] 08:00 -!- shesek [~shesek@unaffiliated/shesek] has joined ##miniscript 08:01 -!- ghost43 [~daer@gateway/tor-sasl/daer] has quit [Remote host closed the connection] 08:01 -!- ghost43 [~daer@gateway/tor-sasl/daer] has joined ##miniscript 08:57 < sanket1729> http://bitcoin.sipa.be/miniscript/ 12:16 -!- martindale [ericfabric@gateway/shell/matrix.org/x-ecyshefyldcgwglo] has quit [Quit: killed] 12:24 -!- martindale [ericfabric@gateway/shell/matrix.org/x-ituexraemvemugtw] has joined ##miniscript 13:17 -!- jonatack [~jon@2a01:e0a:53c:a200:bb54:3be5:c3d0:9ce5] has quit [Ping timeout: 244 seconds] 13:20 -!- jonatack [~jon@104.254.90.235] has joined ##miniscript