--- Log opened Wed Aug 21 00:00:29 2024 00:42 -!- futurechimp [~futurechi@davehry.plus.com] has joined ##miniscript 00:46 -!- futurechimp [~futurechi@davehry.plus.com] has quit [Client Quit] 00:47 -!- futurechimp [~futurechi@davehry.plus.com] has joined ##miniscript 00:48 -!- futurechimp [~futurechi@davehry.plus.com] has quit [Client Quit] 03:48 -!- futurechimp [~futurechi@davehry.plus.com] has joined ##miniscript 03:48 -!- futurechimp [~futurechi@davehry.plus.com] has quit [Client Quit] 04:30 -!- jonatack [~jonatack@user/jonatack] has quit [Ping timeout: 244 seconds] 05:29 -!- futurechimp [~futurechi@davehry.plus.com] has joined ##miniscript 07:12 -!- jonatack [~jonatack@user/jonatack] has joined ##miniscript 07:41 -!- jonatack [~jonatack@user/jonatack] has quit [Ping timeout: 255 seconds] 08:08 -!- jonatack [~jonatack@user/jonatack] has joined ##miniscript 08:14 -!- jonatack [~jonatack@user/jonatack] has quit [Ping timeout: 252 seconds] 08:16 -!- jonatack [~jonatack@user/jonatack] has joined ##miniscript 08:54 -!- Netsplit *.net <-> *.split quits: achow101 08:54 -!- Netsplit over, joins: achow101 12:00 -!- jonatack [~jonatack@user/jonatack] has quit [Ping timeout: 245 seconds] 12:02 -!- jonatack [~jonatack@user/jonatack] has joined ##miniscript 12:39 -!- jon_atack [~jonatack@user/jonatack] has joined ##miniscript 12:39 -!- jonatack [~jonatack@user/jonatack] has quit [Read error: Connection reset by peer] 14:39 -!- futurechimp [~futurechi@davehry.plus.com] has quit [Ping timeout: 252 seconds] 14:39 -!- futurechimp [~futurechi@davehry.plus.com] has joined ##miniscript 15:25 < jeremyrubin> andytoshi: if you stub out the branch with TRIVIAL, and re-attempt, you can get a list of all faults as MS is monotonic? 16:02 < andytoshi> jeremyrubin: can you remind me context? i was gone for 24 hours on aug 17 and may have missed something 16:02 < andytoshi> if it's about the "no specific reason that a MS fails" discussion then i don't understand you 17:53 -!- jon_atack [~jonatack@user/jonatack] has quit [Ping timeout: 244 seconds] 18:04 -!- jonatack [~jonatack@user/jonatack] has joined ##miniscript 18:52 -!- jonatack [~jonatack@user/jonatack] has quit [Ping timeout: 252 seconds] 18:55 -!- jonatack [~jonatack@user/jonatack] has joined ##miniscript 20:04 -!- lbia [~lbia@user/lbia] has quit [Ping timeout: 248 seconds] 22:14 -!- jonatack [~jonatack@user/jonatack] has quit [Ping timeout: 255 seconds] 22:15 -!- jonatack [~jonatack@user/jonatack] has joined ##miniscript 22:57 -!- lbia [~lbia@user/lbia] has joined ##miniscript 23:35 -!- brunoerg_ [~brunoerg@2804:14c:3bfb:37:4583:eea5:1379:9291] has joined ##miniscript 23:35 -!- brunoerg [~brunoerg@187.183.60.117] has quit [Read error: Connection reset by peer] --- Log closed Thu Aug 22 00:00:30 2024