--- Log opened Sun Feb 13 00:00:58 2022
01:31 < darosior> I agree, but would add FromScript for (1) and (2). That's the miniscript_decode target. For FromString i just fed some Miniscript descriptor string to the corpus of descriptor_parse, maybe we can extend this target a bit.
01:32 < darosior> Also re 'add an internal type property to indicate "should roundtrip ToString".' you meand "roundtrip ToScript" right? ToString() should always roundtrip
01:47 -!- Syed [~Syed@2405:201:1e:c954:3c83:127e:df60:af57] has joined ##miniscript
01:54 -!- Syed [~Syed@2405:201:1e:c954:3c83:127e:df60:af57] has quit [Quit: Client closed]
02:01 -!- Syed [~Syed@2405:201:1e:c954:3c83:127e:df60:af57] has joined ##miniscript
02:36 -!- Syed [~Syed@2405:201:1e:c954:3c83:127e:df60:af57] has quit [Quit: Client closed]
04:38 <@sipa> ToScript always roundtrips, ToString does not.
05:41 <@sipa> I'm confusing myself.
05:41 <@sipa> You're right.
06:46 -!- roconnor_ [~roconnor@coq/roconnor] has joined ##miniscript
06:47 -!- roconnor [~roconnor@coq/roconnor] has quit [Ping timeout: 256 seconds]
07:35 -!- ashishkr [uid540896@id-540896.tinside.irccloud.com] has joined ##miniscript
21:22 -!- kalle [~quassel@user/kallewoof] has joined ##miniscript
21:51 -!- Netsplit *.net <-> *.split quits: kalle, FelixWeis, notmandatory_, warren
21:52 -!- notmandatory [notmandato@2600:3c00::f03c:92ff:fe8e:dce6] has joined ##miniscript
21:52 -!- Netsplit over, joins: warren, kalle
21:52 -!- FelixWeis [sid154231@2a03:5180:f:4::2:5a77] has joined ##miniscript
21:59 -!- Netsplit *.net <-> *.split quits: elsirion
22:00 -!- Netsplit over, joins: elsirion
--- Log closed Mon Feb 14 00:00:59 2022