--- Day changed Tue Jun 09 2020
00:15 -!- andytoshi [~apoelstra@unaffiliated/andytoshi] has quit [Ping timeout: 256 seconds]     
00:27 -!- andytoshi [~apoelstra@wpsoftware.net] has joined ##miniscript     
00:27 -!- andytoshi [~apoelstra@wpsoftware.net] has quit [Changing host]     
00:27 -!- andytoshi [~apoelstra@unaffiliated/andytoshi] has joined ##miniscript     
00:32 -!- andytoshi [~apoelstra@unaffiliated/andytoshi] has quit [Ping timeout: 240 seconds]     
00:36 -!- jonatack [~jon@2a01:e0a:53c:a200:bb54:3be5:c3d0:9ce5] has joined ##miniscript     
00:43 -!- andytoshi [~apoelstra@wpsoftware.net] has joined ##miniscript     
00:43 -!- andytoshi [~apoelstra@wpsoftware.net] has quit [Changing host]     
00:43 -!- andytoshi [~apoelstra@unaffiliated/andytoshi] has joined ##miniscript     
01:35 -!- meshcollider [meshcollid@gateway/shell/ircnow/x-jaqsmospkdyaosri] has quit [Ping timeout: 246 seconds]     
01:57 -!- meshcollider [meshcollid@gateway/shell/ircnow/x-ikxxkkevaummteet] has joined ##miniscript     
03:05 -!- jonatack [~jon@2a01:e0a:53c:a200:bb54:3be5:c3d0:9ce5] has quit [Remote host closed the connection]     
03:07 -!- jonatack [~jon@184.75.214.163] has joined ##miniscript     
03:14 -!- jonatack [~jon@184.75.214.163] has quit [Remote host closed the connection]     
03:16 -!- jonatack [~jon@2a01:e0a:53c:a200:bb54:3be5:c3d0:9ce5] has joined ##miniscript     
05:23 -!- jb55 [~jb55@gateway/tor-sasl/jb55] has quit [Remote host closed the connection]     
05:23 -!- jb55 [~jb55@gateway/tor-sasl/jb55] has joined ##miniscript     
05:42 -!- dr-orlovsky [~Dr_Orlovs@31.14.40.19] has quit [Ping timeout: 265 seconds]     
06:34 -!- dr-orlovsky [~Dr_Orlovs@31.14.40.19] has joined ##miniscript     
12:03 -!- davterra [~dulyNoded@s17612523583.blix.com] has quit [Ping timeout: 264 seconds]     
12:07 -!- harrigan [~harrigan@ptr-93-89-242-235.ip.airwire.ie] has quit [Quit: ZNC 1.7.5 - https://znc.in]     
12:09 -!- harrigan [~harrigan@ptr-93-89-242-235.ip.airwire.ie] has joined ##miniscript     
14:44 < sanket1729> andytoshi, I am considering a lazy approach for enforcing the context rules. Meaning, first decode the bitcoin script or parse the string to obtain a miniscript and then check rules about the fragments. 
14:45 < sanket1729> This would keep the context code in one place. Otherwise, it would be split across multiple files. The con is that we have to traverse the tree twice.
14:46 < sanket1729> Btw, is there any irc channel for simplicity? 
14:47 < sanket1729> I also found that rust-miniscript decoding from bitcoin script does not work 65 bytes keys. Will make another PR to fix that.
15:01 < sanket1729> It also kindof feels I should implement in one parse because we have taken special effort in doing so for type checking 
19:21 -!- harrigan [~harrigan@ptr-93-89-242-235.ip.airwire.ie] has quit [Quit: ZNC 1.7.5 - https://znc.in]     
19:21 -!- harrigan [~harrigan@ptr-93-89-242-235.ip.airwire.ie] has joined ##miniscript     
23:43 -!- dr-orlovsky [~Dr_Orlovs@31.14.40.19] has quit [Ping timeout: 265 seconds]