--- Log opened Sat Feb 19 00:00:04 2022
00:35 < darosior> sipa: no it does not matter. That's what it used to return before i made it non-recursive with TreeEval. See how it's used here https://github.com/bitcoin/bitcoin/pull/24148/commits/7398578b016e8e3a2bffe9daba7f30d5cf8387f8#diff-dcb25ae6b5207f65ae6a1cd364c9e62e5a9df69a1cd21b9ed79849cc99c2150bR1369-R1380
00:35 < darosior> How would it be a much simpler implem?
00:38 < darosior> I'll take a look at 101 and 102. Unfortunately i will be mostly afk this weekend 
01:32 < darosior> Ok, saw the implem for FindInsaneSub
04:10 -!- meshcollider [meshcollid@jujube.ircnow.org] has quit [Changing host]
04:10 -!- meshcollider [meshcollid@user/meshcollider] has joined ##miniscript
05:42 < andytoshi> jeremyrubin: as sanket says, "has_sig" means "cannot be malleated by a 3rd party" ... my temptation is to say yes, CTV is has_sig
05:42 < andytoshi> i'm sure you can use it in malleable ways, but you shouldn't
05:42 < andytoshi> similar to how you can do sigchecks with obviously weak keys, but you shouldn't
07:55 <@sipa> @darosior One thing I'd like to do (later!) is making the satisfaction algorithm track stack size and op count of the constructed solutions, so it can give a definitive answer about whether the result is expected to be valid.
07:56 <@sipa> That means no dozen toplevel checks for determining under which conditions it's guaranteed to work vs. just best effort.
09:22 < darosior> sipa: that sounds useful, yes
10:54 -!- enick_696 [~afilini-m@2001:bc8:1828:245::2] has quit [Remote host closed the connection]
11:31 -!- enick_978 [~afilini-m@2001:bc8:1828:245::2] has joined ##miniscript
12:00 -!- ashishkr [uid540896@id-540896.tinside.irccloud.com] has quit []
12:01 -!- ashishkr [uid540896@id-540896.tinside.irccloud.com] has joined ##miniscript
23:17 -!- ashishkr [uid540896@id-540896.tinside.irccloud.com] has quit [Quit: Connection closed for inactivity]
--- Log closed Sun Feb 20 00:00:05 2022