12020-07-28T00:00:01 *** ogelbukh has quit IRC
22020-07-28T00:01:30 *** mdunnio has joined #bitcoin-core-dev
32020-07-28T00:04:18 *** AaronvanW has quit IRC
42020-07-28T00:06:49 *** mdunnio has quit IRC
52020-07-28T00:17:28 *** Victorsueca has joined #bitcoin-core-dev
62020-07-28T00:22:01 *** ByronT has joined #bitcoin-core-dev
72020-07-28T00:31:22 *** proofofkeags has joined #bitcoin-core-dev
82020-07-28T00:35:07 *** arowser_ has quit IRC
92020-07-28T00:35:35 *** arowser_ has joined #bitcoin-core-dev
102020-07-28T00:35:58 *** proofofkeags has quit IRC
112020-07-28T00:43:06 *** AaronvanW has joined #bitcoin-core-dev
122020-07-28T00:48:29 *** AaronvanW has quit IRC
132020-07-28T00:48:42 *** promag_ has joined #bitcoin-core-dev
142020-07-28T00:51:27 *** CodeShark___ has quit IRC
152020-07-28T00:51:42 *** CodeShark___ has joined #bitcoin-core-dev
162020-07-28T00:52:05 *** stackingcore21_ has joined #bitcoin-core-dev
172020-07-28T00:52:27 *** peltre has quit IRC
182020-07-28T00:52:27 *** valwal_ has quit IRC
192020-07-28T00:52:47 *** stackingcore21 has quit IRC
202020-07-28T00:54:27 *** valwal_ has joined #bitcoin-core-dev
212020-07-28T00:55:17 *** peltre has joined #bitcoin-core-dev
222020-07-28T01:00:11 *** Victorsueca has quit IRC
232020-07-28T01:04:38 *** promag_ has quit IRC
242020-07-28T01:05:42 *** arowser_ has quit IRC
252020-07-28T01:06:00 *** arowser_ has joined #bitcoin-core-dev
262020-07-28T01:07:42 *** Victorsueca has joined #bitcoin-core-dev
272020-07-28T01:17:11 *** arowser_ has quit IRC
282020-07-28T01:17:57 *** arowser_ has joined #bitcoin-core-dev
292020-07-28T01:19:41 *** troygiorshev has joined #bitcoin-core-dev
302020-07-28T01:22:32 *** mdunnio has joined #bitcoin-core-dev
312020-07-28T01:26:11 *** thunderbiscuit has quit IRC
322020-07-28T01:55:57 *** thunderbiscuit has joined #bitcoin-core-dev
332020-07-28T02:04:04 *** thunderbiscuit1 has left #bitcoin-core-dev
342020-07-28T02:04:57 *** justanotheruser has quit IRC
352020-07-28T02:07:18 *** arowser_ has quit IRC
362020-07-28T02:15:38 *** davec has quit IRC
372020-07-28T02:16:41 *** davec has joined #bitcoin-core-dev
382020-07-28T02:19:33 *** arowser_ has joined #bitcoin-core-dev
392020-07-28T02:27:04 *** bitdex has joined #bitcoin-core-dev
402020-07-28T02:32:04 *** thunderbiscuit[m has joined #bitcoin-core-dev
412020-07-28T02:35:14 *** thunderbiscuit has left #bitcoin-core-dev
422020-07-28T02:45:49 *** AaronvanW has joined #bitcoin-core-dev
432020-07-28T02:51:50 *** Madars has quit IRC
442020-07-28T02:52:25 *** arowser_ has quit IRC
452020-07-28T02:53:22 *** arowser_ has joined #bitcoin-core-dev
462020-07-28T02:57:11 *** arowser_ has quit IRC
472020-07-28T02:57:42 *** arowser_ has joined #bitcoin-core-dev
482020-07-28T02:58:47 *** proofofkeags has joined #bitcoin-core-dev
492020-07-28T03:00:02 *** ByronT has quit IRC
502020-07-28T03:02:42 *** notmandatory[m] has joined #bitcoin-core-dev
512020-07-28T03:14:52 *** Madars has joined #bitcoin-core-dev
522020-07-28T03:17:00 *** justanotheruser has joined #bitcoin-core-dev
532020-07-28T03:17:22 *** mdunnio has quit IRC
542020-07-28T03:17:47 *** AaronvanW has quit IRC
552020-07-28T03:21:47 *** JesusFreke has joined #bitcoin-core-dev
562020-07-28T03:24:11 *** arowser_ has quit IRC
572020-07-28T03:24:36 *** arowser_ has joined #bitcoin-core-dev
582020-07-28T03:26:10 *** arowser_ has quit IRC
592020-07-28T03:26:40 *** arowser_ has joined #bitcoin-core-dev
602020-07-28T03:31:08 *** vasild_ has joined #bitcoin-core-dev
612020-07-28T03:34:03 *** vasild has quit IRC
622020-07-28T03:34:04 *** vasild_ is now known as vasild
632020-07-28T03:36:57 <fanquake> wumpus: I think I've tracked down the issue with your test for the ELF header LOAD commands ð
642020-07-28T03:37:26 <fanquake> Just looks like some alignment issuses in the readelf output.
652020-07-28T03:37:45 *** Madars has quit IRC
662020-07-28T03:38:06 <fanquake> Still need to investigate your queries about potential alignment issues in the actual binary
672020-07-28T03:44:00 <fanquake> The problem only shows up in readelf when the binary itself is large, and the addr/size columns push into the Flg column. So you ended up with '9 R' rather than 'R E' etc
682020-07-28T03:48:43 *** mdunnio has joined #bitcoin-core-dev
692020-07-28T03:56:05 *** mdunnio has quit IRC
702020-07-28T03:59:13 *** arowser_ has quit IRC
712020-07-28T03:59:31 *** jarthur_ has joined #bitcoin-core-dev
722020-07-28T03:59:37 *** arowser_ has joined #bitcoin-core-dev
732020-07-28T04:01:07 *** jarthur has quit IRC
742020-07-28T04:01:10 *** jarthur_ is now known as jarthur
752020-07-28T04:08:24 *** Madars has joined #bitcoin-core-dev
762020-07-28T04:10:38 *** proofofkeags has quit IRC
772020-07-28T04:27:44 *** Madars has quit IRC
782020-07-28T04:49:30 *** Madars has joined #bitcoin-core-dev
792020-07-28T05:07:02 *** rh0nj has quit IRC
802020-07-28T05:10:16 *** Madars has quit IRC
812020-07-28T05:15:25 *** AaronvanW has joined #bitcoin-core-dev
822020-07-28T05:19:52 *** arowser_ has quit IRC
832020-07-28T05:20:51 *** arowser_ has joined #bitcoin-core-dev
842020-07-28T05:26:41 *** proofofkeags has joined #bitcoin-core-dev
852020-07-28T05:31:22 *** proofofkeags has quit IRC
862020-07-28T05:34:34 *** Madars has joined #bitcoin-core-dev
872020-07-28T05:49:08 *** arowser_ has quit IRC
882020-07-28T05:49:25 *** AaronvanW has quit IRC
892020-07-28T05:49:28 *** arowser_ has joined #bitcoin-core-dev
902020-07-28T05:52:47 *** bitcoin-git has joined #bitcoin-core-dev
912020-07-28T05:52:47 <bitcoin-git> [bitcoin] MarcoFalke opened pull request #19604: Pass mempool pointer to UnloadBlockIndex/GetCoinsCacheSizeState (master...2007-memPointer) https://github.com/bitcoin/bitcoin/pull/19604
922020-07-28T05:52:48 *** bitcoin-git has left #bitcoin-core-dev
932020-07-28T05:52:54 *** Madars has quit IRC
942020-07-28T05:58:56 *** jarthur has quit IRC
952020-07-28T06:00:01 *** JesusFreke has quit IRC
962020-07-28T06:05:24 *** proofofkeags has joined #bitcoin-core-dev
972020-07-28T06:06:11 *** arowser_ has quit IRC
982020-07-28T06:06:31 *** arowser_ has joined #bitcoin-core-dev
992020-07-28T06:09:47 *** proofofkeags has quit IRC
1002020-07-28T06:09:48 *** Madars has joined #bitcoin-core-dev
1012020-07-28T06:13:12 *** arowser_ has quit IRC
1022020-07-28T06:20:59 *** jarthur has joined #bitcoin-core-dev
1032020-07-28T06:21:10 *** ircmaxell1 has joined #bitcoin-core-dev
1042020-07-28T06:21:27 *** proofofkeags has joined #bitcoin-core-dev
1052020-07-28T06:25:21 *** arowser_ has joined #bitcoin-core-dev
1062020-07-28T06:25:27 *** jarthur has quit IRC
1072020-07-28T06:25:45 *** proofofkeags has quit IRC
1082020-07-28T06:31:05 *** Madars has quit IRC
1092020-07-28T06:39:35 *** dviola has quit IRC
1102020-07-28T06:43:10 *** jarthur has joined #bitcoin-core-dev
1112020-07-28T06:44:10 *** arowser_ has quit IRC
1122020-07-28T06:44:34 *** arowser_ has joined #bitcoin-core-dev
1132020-07-28T06:53:09 *** Madars has joined #bitcoin-core-dev
1142020-07-28T06:54:33 *** bitcoin-git has joined #bitcoin-core-dev
1152020-07-28T06:54:34 <bitcoin-git> [bitcoin] fanquake pushed 3 commits to master: https://github.com/bitcoin/bitcoin/compare/b62fbf9e1c19...a1da180b1b27
1162020-07-28T06:54:35 <bitcoin-git> bitcoin/master fa1f7f2 MarcoFalke: rpc: Style fixups in gettxoutproof
1172020-07-28T06:54:35 <bitcoin-git> bitcoin/master fa5979d MarcoFalke: rpc: Avoid useless mempool query in gettxoutproof
1182020-07-28T06:54:36 <bitcoin-git> bitcoin/master a1da180 fanquake: Merge #19589: rpc: Avoid useless mempool query in gettxoutproof
1192020-07-28T06:54:45 *** bitcoin-git has left #bitcoin-core-dev
1202020-07-28T06:54:59 *** bitcoin-git has joined #bitcoin-core-dev
1212020-07-28T06:54:59 <bitcoin-git> [bitcoin] fanquake merged pull request #19589: rpc: Avoid useless mempool query in gettxoutproof (master...2007-rpcMempool) https://github.com/bitcoin/bitcoin/pull/19589
1222020-07-28T06:55:00 *** bitcoin-git has left #bitcoin-core-dev
1232020-07-28T06:59:51 *** marcoagner has joined #bitcoin-core-dev
1242020-07-28T07:13:02 *** Madars has quit IRC
1252020-07-28T07:16:04 *** bitcoin-git has joined #bitcoin-core-dev
1262020-07-28T07:16:06 <bitcoin-git> [bitcoin] fanquake pushed 4 commits to master: https://github.com/bitcoin/bitcoin/compare/a1da180b1b27...2979a7aff04b
1272020-07-28T07:16:07 <bitcoin-git> bitcoin/master 634144a John Newbery: [net processing] Fixup MaybeDiscourageAndDisconnect() style
1282020-07-28T07:16:08 <bitcoin-git> bitcoin/master d15b3af John Newbery: [net processing] Always supply debug message to Misbehaving()
1292020-07-28T07:16:09 <bitcoin-git> bitcoin/master a8865f8 John Newbery: [net processing] Tidy up Misbehaving()
1302020-07-28T07:16:11 *** bitcoin-git has left #bitcoin-core-dev
1312020-07-28T07:16:28 *** bitcoin-git has joined #bitcoin-core-dev
1322020-07-28T07:16:28 <bitcoin-git> [bitcoin] fanquake merged pull request #19583: p2p: clean up Misbehaving() (master...2020-07-tidy-misbehavior) https://github.com/bitcoin/bitcoin/pull/19583
1332020-07-28T07:16:29 *** bitcoin-git has left #bitcoin-core-dev
1342020-07-28T07:18:45 *** arowser_ has quit IRC
1352020-07-28T07:19:32 *** bitcoin-git has joined #bitcoin-core-dev
1362020-07-28T07:19:32 <bitcoin-git> [bitcoin] fanquake pushed 2 commits to master: https://github.com/bitcoin/bitcoin/compare/2979a7aff04b...cea39fc268e3
1372020-07-28T07:19:33 <bitcoin-git> bitcoin/master 623f665 Hennadii Stepanov: Fix .gitignore for src/test/fuzz directory
1382020-07-28T07:19:33 <bitcoin-git> bitcoin/master cea39fc fanquake: Merge #19595: Fix .gitignore for src/test/fuzz directory
1392020-07-28T07:19:42 *** bitcoin-git has left #bitcoin-core-dev
1402020-07-28T07:20:02 *** bitcoin-git has joined #bitcoin-core-dev
1412020-07-28T07:20:02 <bitcoin-git> [bitcoin] fanquake merged pull request #19595: Fix .gitignore for src/test/fuzz directory (master...200727-fuzz) https://github.com/bitcoin/bitcoin/pull/19595
1422020-07-28T07:20:12 *** bitcoin-git has left #bitcoin-core-dev
1432020-07-28T07:24:04 *** arowser_ has joined #bitcoin-core-dev
1442020-07-28T07:26:07 *** Guyver2 has joined #bitcoin-core-dev
1452020-07-28T07:26:47 *** bitcoin-git has joined #bitcoin-core-dev
1462020-07-28T07:26:48 <bitcoin-git> [bitcoin] fanquake closed pull request #19578: wallet: Avoid duplicate checks on signing failure (master...2020-07-signtransaction) https://github.com/bitcoin/bitcoin/pull/19578
1472020-07-28T07:26:49 *** bitcoin-git has left #bitcoin-core-dev
1482020-07-28T07:35:12 *** Madars has joined #bitcoin-core-dev
1492020-07-28T07:46:05 *** arowser_ has quit IRC
1502020-07-28T07:46:09 *** AaronvanW has joined #bitcoin-core-dev
1512020-07-28T07:46:35 *** davec has quit IRC
1522020-07-28T07:46:52 *** davec has joined #bitcoin-core-dev
1532020-07-28T07:53:13 *** Pavlenex has joined #bitcoin-core-dev
1542020-07-28T07:54:13 *** Madars has quit IRC
1552020-07-28T07:55:03 *** jonatack has quit IRC
1562020-07-28T07:58:17 *** arowser_ has joined #bitcoin-core-dev
1572020-07-28T08:02:04 *** bitcoin-git has joined #bitcoin-core-dev
1582020-07-28T08:02:06 <bitcoin-git> [bitcoin] fanquake pushed 3 commits to master: https://github.com/bitcoin/bitcoin/compare/cea39fc268e3...e0ed4cc50de1
1592020-07-28T08:02:06 <bitcoin-git> bitcoin/master 00d1ba7 Cory Fields: depends: enable lto support for Apple's ld64
1602020-07-28T08:02:07 <bitcoin-git> bitcoin/master 5962522 Cory Fields: depends: bump native_cctools for fixed lto with external clang
1612020-07-28T08:02:08 <bitcoin-git> bitcoin/master e0ed4cc fanquake: Merge #19530: depends: build LTO support into Apple's ld64
1622020-07-28T08:02:10 *** bitcoin-git has left #bitcoin-core-dev
1632020-07-28T08:02:24 *** bitcoin-git has joined #bitcoin-core-dev
1642020-07-28T08:02:24 <bitcoin-git> [bitcoin] fanquake merged pull request #19530: depends: build LTO support into Apple's ld64 (master...darwin-lto) https://github.com/bitcoin/bitcoin/pull/19530
1652020-07-28T08:02:25 *** bitcoin-git has left #bitcoin-core-dev
1662020-07-28T08:08:08 *** davec has quit IRC
1672020-07-28T08:09:30 *** davec has joined #bitcoin-core-dev
1682020-07-28T08:13:13 *** arowser_ has quit IRC
1692020-07-28T08:13:32 *** arowser_ has joined #bitcoin-core-dev
1702020-07-28T08:15:23 *** mutatrum has quit IRC
1712020-07-28T08:15:23 *** davec has quit IRC
1722020-07-28T08:16:07 *** davec has joined #bitcoin-core-dev
1732020-07-28T08:17:10 *** Madars has joined #bitcoin-core-dev
1742020-07-28T08:18:25 *** AaronvanW has quit IRC
1752020-07-28T08:26:18 *** bitcoin-git has joined #bitcoin-core-dev
1762020-07-28T08:26:18 <bitcoin-git> [bitcoin] MarcoFalke pushed 2 commits to master: https://github.com/bitcoin/bitcoin/compare/e0ed4cc50de1...24ead1a923e3
1772020-07-28T08:26:19 <bitcoin-git> bitcoin/master fdf697f Hennadii Stepanov: ci: Increase CCACHE_SIZE in some builds on Travis
1782020-07-28T08:26:19 <bitcoin-git> bitcoin/master 24ead1a MarcoFalke: Merge #19519: ci: Increase CCACHE_SIZE in some builds on Travis
1792020-07-28T08:26:21 *** bitcoin-git has left #bitcoin-core-dev
1802020-07-28T08:26:38 *** bitcoin-git has joined #bitcoin-core-dev
1812020-07-28T08:26:38 <bitcoin-git> [bitcoin] MarcoFalke merged pull request #19519: ci: Increase CCACHE_SIZE in some builds on Travis (master...200714-ccache) https://github.com/bitcoin/bitcoin/pull/19519
1822020-07-28T08:26:39 *** bitcoin-git has left #bitcoin-core-dev
1832020-07-28T08:33:55 *** bitcoin-git has joined #bitcoin-core-dev
1842020-07-28T08:33:55 <bitcoin-git> [bitcoin] fanquake opened pull request #19605: doc: set CC_FOR_BUILD when building on OpenBSD (master...openbsd_cc_for_build) https://github.com/bitcoin/bitcoin/pull/19605
1852020-07-28T08:33:56 *** bitcoin-git has left #bitcoin-core-dev
1862020-07-28T08:37:02 *** Madars has quit IRC
1872020-07-28T08:40:11 *** bitcoin-git has joined #bitcoin-core-dev
1882020-07-28T08:40:11 <bitcoin-git> [bitcoin] jnewbery opened pull request #19606: Backport wtxid to v0.20 (0.20...2020-07-v20-wtxid-relay) https://github.com/bitcoin/bitcoin/pull/19606
1892020-07-28T08:40:12 *** bitcoin-git has left #bitcoin-core-dev
1902020-07-28T08:46:17 *** AaronvanW has joined #bitcoin-core-dev
1912020-07-28T08:56:36 *** Madars has joined #bitcoin-core-dev
1922020-07-28T08:57:53 *** dfmb_ has joined #bitcoin-core-dev
1932020-07-28T08:58:09 *** arowser_ has quit IRC
1942020-07-28T08:58:27 *** dfmb_ has quit IRC
1952020-07-28T08:58:33 *** arowser_ has joined #bitcoin-core-dev
1962020-07-28T08:58:51 *** promag_ has joined #bitcoin-core-dev
1972020-07-28T08:59:09 *** promag__ has joined #bitcoin-core-dev
1982020-07-28T08:59:12 *** promag_ has quit IRC
1992020-07-28T09:00:02 *** ircmaxell1 has quit IRC
2002020-07-28T09:05:15 *** dfmb_ has joined #bitcoin-core-dev
2012020-07-28T09:05:33 *** dfmb_ has quit IRC
2022020-07-28T09:05:41 *** el_yapoo has joined #bitcoin-core-dev
2032020-07-28T09:07:12 *** promag_ has joined #bitcoin-core-dev
2042020-07-28T09:10:38 *** promag__ has quit IRC
2052020-07-28T09:13:35 *** promag_ has quit IRC
2062020-07-28T09:14:46 *** promag_ has joined #bitcoin-core-dev
2072020-07-28T09:17:13 *** bitcoin-git has joined #bitcoin-core-dev
2082020-07-28T09:17:14 <bitcoin-git> [bitcoin] jnewbery opened pull request #19607: [p2p] Add Peer struct for per-peer data in net processing (master...2020-07-peer) https://github.com/bitcoin/bitcoin/pull/19607
2092020-07-28T09:17:15 *** bitcoin-git has left #bitcoin-core-dev
2102020-07-28T09:18:05 *** Madars has quit IRC
2112020-07-28T09:19:26 *** promag_ has quit IRC
2122020-07-28T09:20:59 *** esotericnonsense has quit IRC
2132020-07-28T09:22:01 *** el_yapoo has quit IRC
2142020-07-28T09:22:11 *** carvsdriver1 has joined #bitcoin-core-dev
2152020-07-28T09:22:20 *** Pavlenex has quit IRC
2162020-07-28T09:33:08 <jnewbery> ShellCheck is breaking travis builds: https://travis-ci.org/github/bitcoin/bitcoin/jobs/712484395
2172020-07-28T09:33:37 <jnewbery> You are downloading ShellCheck from an outdated URL!
2182020-07-28T09:33:37 <jnewbery> Please update to the new URL:
2192020-07-28T09:33:37 <jnewbery> https://github.com/koalaman/shellcheck/releases/download/v0.6.0/shellcheck-v0.6.0.linux.x86_64.tar.xz
2202020-07-28T09:33:40 <jnewbery> For more information, see:
2212020-07-28T09:33:41 <jnewbery> PS: Sorry for breaking your build. The hosting costs were getting out of hand :(
2222020-07-28T09:33:44 <jnewbery> https://github.com/koalaman/shellcheck/issues/1871
2232020-07-28T09:33:59 *** esotericnonsense has joined #bitcoin-core-dev
2242020-07-28T09:34:31 <fanquake> ugh
2252020-07-28T09:34:46 <fanquake> I can fix that now if you're not going to
2262020-07-28T09:36:53 <fanquake> Actually. We are already downloading from https://github.com/koalaman/shellcheck/. So I'm not sure why that would have broken.
2272020-07-28T09:37:15 <jnewbery> ah, it's for my backport to the 0.20 branch
2282020-07-28T09:37:39 <jnewbery> I suppose I need to backport the ShellCheck fix too?
2292020-07-28T09:38:19 <fanquake> Just PR that separately. If it's going to break any other builds / backports and be a pain no need for it to wait on your PR.
2302020-07-28T09:38:31 <jnewbery> will do. Thanks!
2312020-07-28T09:38:33 <fanquake> Should be able to merge right away
2322020-07-28T09:40:58 *** Madars has joined #bitcoin-core-dev
2332020-07-28T09:42:28 *** Pavlenex has joined #bitcoin-core-dev
2342020-07-28T09:48:28 *** AaronvanW has quit IRC
2352020-07-28T09:48:44 *** AaronvanW has joined #bitcoin-core-dev
2362020-07-28T09:59:29 *** EagleTM has joined #bitcoin-core-dev
2372020-07-28T10:03:15 *** promag_ has joined #bitcoin-core-dev
2382020-07-28T10:03:23 *** Bart41Schneider has joined #bitcoin-core-dev
2392020-07-28T10:06:12 *** Madars has quit IRC
2402020-07-28T10:09:19 *** bitdex has quit IRC
2412020-07-28T10:09:56 *** promag_ has quit IRC
2422020-07-28T10:10:00 *** arowser_ has quit IRC
2432020-07-28T10:14:47 *** promag_ has joined #bitcoin-core-dev
2442020-07-28T10:16:40 *** arowser_ has joined #bitcoin-core-dev
2452020-07-28T10:17:35 *** promag_ has quit IRC
2462020-07-28T10:20:55 *** promag_ has joined #bitcoin-core-dev
2472020-07-28T10:21:45 *** Bart41Schneider has quit IRC
2482020-07-28T10:23:58 *** promag_ has quit IRC
2492020-07-28T10:26:26 *** promag_ has joined #bitcoin-core-dev
2502020-07-28T10:28:10 *** promag_ has quit IRC
2512020-07-28T10:31:41 *** Madars has joined #bitcoin-core-dev
2522020-07-28T10:52:40 *** Madars has quit IRC
2532020-07-28T10:54:16 *** reallll has joined #bitcoin-core-dev
2542020-07-28T10:56:43 *** sipa has quit IRC
2552020-07-28T10:57:10 *** reallll is now known as belcher
2562020-07-28T10:57:58 *** belcher_ has quit IRC
2572020-07-28T11:02:02 *** bitcoin-git has joined #bitcoin-core-dev
2582020-07-28T11:02:03 <bitcoin-git> [bitcoin] jonatack opened pull request #19610: p2p, refactor: add `CInv` block message helpers; use in net processing (master...CInv-block-message-helpers) https://github.com/bitcoin/bitcoin/pull/19610
2592020-07-28T11:02:04 *** bitcoin-git has left #bitcoin-core-dev
2602020-07-28T11:02:37 *** troygiorshev has quit IRC
2612020-07-28T11:03:01 *** troygiorshev has joined #bitcoin-core-dev
2622020-07-28T11:03:51 *** sipa has joined #bitcoin-core-dev
2632020-07-28T11:08:13 *** Chris_Stewart_5 has joined #bitcoin-core-dev
2642020-07-28T11:11:40 *** bitcoin-git has joined #bitcoin-core-dev
2652020-07-28T11:11:40 <bitcoin-git> [bitcoin] jonatack opened pull request #19611: p2p: refactor CInv::type from public int to private uint32_t (master...CInv-type-refactoring) https://github.com/bitcoin/bitcoin/pull/19611
2662020-07-28T11:11:50 *** bitcoin-git has left #bitcoin-core-dev
2672020-07-28T11:16:55 *** jrawsthorne has joined #bitcoin-core-dev
2682020-07-28T11:19:24 *** jrawsthorne has quit IRC
2692020-07-28T11:20:13 *** Madars has joined #bitcoin-core-dev
2702020-07-28T11:21:13 *** arowser_ has quit IRC
2712020-07-28T11:21:49 *** arowser_ has joined #bitcoin-core-dev
2722020-07-28T11:28:21 *** infernix has quit IRC
2732020-07-28T11:29:14 *** jrawsthorne has joined #bitcoin-core-dev
2742020-07-28T11:33:08 *** jeremyrubin has quit IRC
2752020-07-28T11:37:45 *** promag_ has joined #bitcoin-core-dev
2762020-07-28T11:39:27 *** Guyver2_ has joined #bitcoin-core-dev
2772020-07-28T11:42:32 *** Guyver2 has quit IRC
2782020-07-28T11:42:38 *** Madars has quit IRC
2792020-07-28T11:46:13 *** promag_ has quit IRC
2802020-07-28T11:52:25 *** arowser_ has quit IRC
2812020-07-28T11:57:04 *** provoostenator has quit IRC
2822020-07-28T11:58:28 *** Guyver2__ has joined #bitcoin-core-dev
2832020-07-28T11:58:55 *** arowser_ has joined #bitcoin-core-dev
2842020-07-28T12:00:02 *** carvsdriver1 has quit IRC
2852020-07-28T12:00:39 *** infernix has joined #bitcoin-core-dev
2862020-07-28T12:01:15 *** arowser_ has quit IRC
2872020-07-28T12:01:25 *** Guyver2_ has quit IRC
2882020-07-28T12:01:35 *** arowser_ has joined #bitcoin-core-dev
2892020-07-28T12:02:56 <darosior> MarcoFalke: regarding https://github.com/bitcoin/bitcoin/pull/19556. I plan to rebase https://github.com/bitcoin/bitcoin/pull/18766 on top of it and you mentioned "Removing the fee estimates global": do you think the fee estimator could be a field of CTxMemPool instead ?
2902020-07-28T12:05:02 *** bitcoin-git has joined #bitcoin-core-dev
2912020-07-28T12:05:03 <bitcoin-git> [bitcoin] fanquake opened pull request #19612: [0.20] lint: fix shellcheck URL in CI install (0.20...fix_shellcheck_0_20) https://github.com/bitcoin/bitcoin/pull/19612
2922020-07-28T12:05:04 *** bitcoin-git has left #bitcoin-core-dev
2932020-07-28T12:05:18 <fanquake> #pointlessPRoftheweek
2942020-07-28T12:05:52 *** Madars has joined #bitcoin-core-dev
2952020-07-28T12:22:11 *** BjarniRunar1 has joined #bitcoin-core-dev
2962020-07-28T12:22:28 *** bitcoin-git has joined #bitcoin-core-dev
2972020-07-28T12:22:29 <bitcoin-git> [bitcoin] MarcoFalke pushed 2 commits to 0.20: https://github.com/bitcoin/bitcoin/compare/58feb9ecb647...6acb21e724e3
2982020-07-28T12:22:29 <bitcoin-git> bitcoin/0.20 7ee4769 fanquake: [0.20] lint: fix shellcheck URL in CI install
2992020-07-28T12:22:30 <bitcoin-git> bitcoin/0.20 6acb21e MarcoFalke: Merge #19612: [0.20] lint: fix shellcheck URL in CI install
3002020-07-28T12:22:32 *** bitcoin-git has left #bitcoin-core-dev
3012020-07-28T12:22:48 *** bitcoin-git has joined #bitcoin-core-dev
3022020-07-28T12:22:48 <bitcoin-git> [bitcoin] MarcoFalke merged pull request #19612: [0.20] lint: fix shellcheck URL in CI install (0.20...fix_shellcheck_0_20) https://github.com/bitcoin/bitcoin/pull/19612
3032020-07-28T12:22:49 *** bitcoin-git has left #bitcoin-core-dev
3042020-07-28T12:26:30 *** Madars has quit IRC
3052020-07-28T12:42:13 *** arowser_ has quit IRC
3062020-07-28T12:42:37 *** arowser_ has joined #bitcoin-core-dev
3072020-07-28T12:44:03 *** Pavlenex has quit IRC
3082020-07-28T12:46:34 *** EagleTM has quit IRC
3092020-07-28T12:47:04 *** Madars has joined #bitcoin-core-dev
3102020-07-28T12:56:43 *** Emcy_ has joined #bitcoin-core-dev
3112020-07-28T12:57:10 *** Emcy has quit IRC
3122020-07-28T12:57:10 *** arowser_ has quit IRC
3132020-07-28T12:57:27 *** dongcarl has quit IRC
3142020-07-28T12:57:47 *** dongcarl has joined #bitcoin-core-dev
3152020-07-28T12:59:42 *** andreacab has joined #bitcoin-core-dev
3162020-07-28T13:02:57 *** EagleTM has joined #bitcoin-core-dev
3172020-07-28T13:03:44 *** arowser_ has joined #bitcoin-core-dev
3182020-07-28T13:04:09 *** arowser_ has quit IRC
3192020-07-28T13:10:14 *** shesek has quit IRC
3202020-07-28T13:10:42 *** Madars has quit IRC
3212020-07-28T13:11:08 *** shesek has joined #bitcoin-core-dev
3222020-07-28T13:11:08 *** shesek has joined #bitcoin-core-dev
3232020-07-28T13:16:21 *** arowser_ has joined #bitcoin-core-dev
3242020-07-28T13:25:13 *** arowser_ has quit IRC
3252020-07-28T13:29:38 *** warren has quit IRC
3262020-07-28T13:32:00 *** warren has joined #bitcoin-core-dev
3272020-07-28T13:37:32 *** arowser_ has joined #bitcoin-core-dev
3282020-07-28T13:41:43 *** vasild has quit IRC
3292020-07-28T13:46:32 *** mdunnio has joined #bitcoin-core-dev
3302020-07-28T13:47:02 *** vasild has joined #bitcoin-core-dev
3312020-07-28T13:50:44 *** Madars has joined #bitcoin-core-dev
3322020-07-28T13:55:13 *** arowser_ has quit IRC
3332020-07-28T13:55:37 *** arowser_ has joined #bitcoin-core-dev
3342020-07-28T13:56:35 *** troygiorshev has quit IRC
3352020-07-28T13:57:39 *** troygiorshev has joined #bitcoin-core-dev
3362020-07-28T14:00:42 *** proofofkeags has joined #bitcoin-core-dev
3372020-07-28T14:02:13 *** arowser_ has quit IRC
3382020-07-28T14:03:40 *** bitcoin-git has joined #bitcoin-core-dev
3392020-07-28T14:03:41 <bitcoin-git> [bitcoin] MarcoFalke opened pull request #19613: travis: Re-enable s390x (master...2007-travisS390x) https://github.com/bitcoin/bitcoin/pull/19613
3402020-07-28T14:03:52 *** bitcoin-git has left #bitcoin-core-dev
3412020-07-28T14:04:19 *** mdunnio has quit IRC
3422020-07-28T14:04:32 *** mdunnio has joined #bitcoin-core-dev
3432020-07-28T14:07:58 *** proofofkeags has quit IRC
3442020-07-28T14:08:12 *** proofofkeags has joined #bitcoin-core-dev
3452020-07-28T14:09:33 <shesek> I released Minsc, a compile-to-Miniscript scripting language with some additional features and syntactic sugar. Documentation and a live compiler are available on https://min.sc/, source code is at https://github.com/shesek/minsc
3462020-07-28T14:09:48 <shesek> on twitter: https://twitter.com/shesek/status/1288111748432576512
3472020-07-28T14:10:41 *** Madars has quit IRC
3482020-07-28T14:16:14 *** andreacab has quit IRC
3492020-07-28T14:16:33 *** andreacab2 has joined #bitcoin-core-dev
3502020-07-28T14:18:46 *** gzhao408 has joined #bitcoin-core-dev
3512020-07-28T14:28:47 *** jonatack has joined #bitcoin-core-dev
3522020-07-28T14:30:03 *** joerodgers has joined #bitcoin-core-dev
3532020-07-28T14:44:46 *** bitcoin-git has joined #bitcoin-core-dev
3542020-07-28T14:44:46 <bitcoin-git> [bitcoin] fanquake opened pull request #19614: util: use HAVE_FDATASYNC to determine fdatasync() use (master...use_have_fdatasync) https://github.com/bitcoin/bitcoin/pull/19614
3552020-07-28T14:44:47 *** bitcoin-git has left #bitcoin-core-dev
3562020-07-28T14:45:24 *** arowser_ has joined #bitcoin-core-dev
3572020-07-28T14:45:57 *** Madars has joined #bitcoin-core-dev
3582020-07-28T14:49:31 *** andreacab2 has quit IRC
3592020-07-28T14:50:15 *** arowser_ has quit IRC
3602020-07-28T14:52:26 *** arowser_ has joined #bitcoin-core-dev
3612020-07-28T14:54:13 *** Davterra has quit IRC
3622020-07-28T14:56:11 *** isis_ is now known as isis
3632020-07-28T14:57:00 *** proofofkeags has quit IRC
3642020-07-28T15:00:01 *** BjarniRunar1 has quit IRC
3652020-07-28T15:02:33 *** andreacab2 has joined #bitcoin-core-dev
3662020-07-28T15:03:18 *** andreaca_ has joined #bitcoin-core-dev
3672020-07-28T15:05:34 *** Davterra has joined #bitcoin-core-dev
3682020-07-28T15:06:45 *** andreacab2 has quit IRC
3692020-07-28T15:07:23 *** Madars has quit IRC
3702020-07-28T15:11:51 *** jonatack has quit IRC
3712020-07-28T15:12:38 *** andreaca_ has quit IRC
3722020-07-28T15:13:15 *** andreacab2 has joined #bitcoin-core-dev
3732020-07-28T15:14:14 *** arowser_ has quit IRC
3742020-07-28T15:17:52 *** andreacab2 has quit IRC
3752020-07-28T15:18:54 *** proofofkeags has joined #bitcoin-core-dev
3762020-07-28T15:21:41 *** untwisted has joined #bitcoin-core-dev
3772020-07-28T15:27:03 *** yancy has quit IRC
3782020-07-28T15:27:19 *** yancy has joined #bitcoin-core-dev
3792020-07-28T15:31:08 *** vasild_ has joined #bitcoin-core-dev
3802020-07-28T15:34:43 *** vasild has quit IRC
3812020-07-28T15:34:44 *** vasild_ is now known as vasild
3822020-07-28T15:48:17 *** jonatack has joined #bitcoin-core-dev
3832020-07-28T15:50:07 *** rh0nj has joined #bitcoin-core-dev
3842020-07-28T15:51:48 *** andreaca_ has joined #bitcoin-core-dev
3852020-07-28T15:53:03 *** gzhao408 has quit IRC
3862020-07-28T15:53:17 *** bitcoin-git has joined #bitcoin-core-dev
3872020-07-28T15:53:17 <bitcoin-git> [bitcoin] MarcoFalke pushed 2 commits to master: https://github.com/bitcoin/bitcoin/compare/24ead1a923e3...a41ae6805338
3882020-07-28T15:53:18 <bitcoin-git> bitcoin/master fae6561 MarcoFalke: travis: Re-enable s390x
3892020-07-28T15:53:18 <bitcoin-git> bitcoin/master a41ae68 MarcoFalke: Merge #19613: travis: Re-enable s390x
3902020-07-28T15:53:20 *** bitcoin-git has left #bitcoin-core-dev
3912020-07-28T15:53:26 *** Madars has joined #bitcoin-core-dev
3922020-07-28T15:53:37 *** bitcoin-git has joined #bitcoin-core-dev
3932020-07-28T15:53:37 <bitcoin-git> [bitcoin] MarcoFalke merged pull request #19613: travis: Re-enable s390x (master...2007-travisS390x) https://github.com/bitcoin/bitcoin/pull/19613
3942020-07-28T15:53:38 *** bitcoin-git has left #bitcoin-core-dev
3952020-07-28T15:54:02 *** bitcoin-git has joined #bitcoin-core-dev
3962020-07-28T15:54:02 <bitcoin-git> [bitcoin] MarcoFalke closed pull request #19509: Per-Peer Message Logging (master...message-dump) https://github.com/bitcoin/bitcoin/pull/19509
3972020-07-28T15:54:11 *** bitcoin-git has left #bitcoin-core-dev
3982020-07-28T15:54:27 *** bitcoin-git has joined #bitcoin-core-dev
3992020-07-28T15:54:27 <bitcoin-git> [bitcoin] MarcoFalke reopened pull request #19509: Per-Peer Message Logging (master...message-dump) https://github.com/bitcoin/bitcoin/pull/19509
4002020-07-28T15:54:28 *** bitcoin-git has left #bitcoin-core-dev
4012020-07-28T15:56:05 *** andreaca_ has quit IRC
4022020-07-28T16:04:44 *** Pavlenex has joined #bitcoin-core-dev
4032020-07-28T16:12:02 *** Pavlenex1 has joined #bitcoin-core-dev
4042020-07-28T16:15:30 *** Pavlenex has quit IRC
4052020-07-28T16:15:31 *** Pavlenex1 is now known as Pavlenex
4062020-07-28T16:17:45 *** Bullit has quit IRC
4072020-07-28T16:18:00 *** arowser_ has joined #bitcoin-core-dev
4082020-07-28T16:19:38 *** Madars has quit IRC
4092020-07-28T16:27:28 *** Talkless has joined #bitcoin-core-dev
4102020-07-28T16:31:23 *** andreacab2 has joined #bitcoin-core-dev
4112020-07-28T16:34:09 *** arowser_ has quit IRC
4122020-07-28T16:35:25 *** andreacab2 has quit IRC
4132020-07-28T16:38:01 *** jb55 has quit IRC
4142020-07-28T16:50:46 *** Madars has joined #bitcoin-core-dev
4152020-07-28T16:55:31 *** Tennis has joined #bitcoin-core-dev
4162020-07-28T16:55:37 *** jeremyrubin has joined #bitcoin-core-dev
4172020-07-28T16:55:51 *** jb55 has joined #bitcoin-core-dev
4182020-07-28T17:09:18 *** andreaca_ has joined #bitcoin-core-dev
4192020-07-28T17:12:35 *** Madars has quit IRC
4202020-07-28T17:13:25 *** andreaca_ has quit IRC
4212020-07-28T17:16:51 *** arowser_ has joined #bitcoin-core-dev
4222020-07-28T18:00:02 *** untwisted has quit IRC
4232020-07-28T18:12:55 *** Pavlenex has quit IRC
4242020-07-28T18:15:02 *** vincenzopalazzo has joined #bitcoin-core-dev
4252020-07-28T18:20:01 *** Fuchs1 has joined #bitcoin-core-dev
4262020-07-28T18:21:28 *** andreacab2 has joined #bitcoin-core-dev
4272020-07-28T18:25:25 *** andreacab2 has quit IRC
4282020-07-28T18:30:02 *** hex17or has quit IRC
4292020-07-28T18:32:18 *** arowser_ has quit IRC
4302020-07-28T18:33:08 *** EagleTM has quit IRC
4312020-07-28T18:35:28 *** Madars has joined #bitcoin-core-dev
4322020-07-28T18:46:17 *** proofofkeags has quit IRC
4332020-07-28T18:46:53 *** proofofkeags has joined #bitcoin-core-dev
4342020-07-28T18:48:03 *** proofofkeags has quit IRC
4352020-07-28T18:48:17 *** proofofkeags has joined #bitcoin-core-dev
4362020-07-28T18:56:37 *** Madars has quit IRC
4372020-07-28T18:57:15 *** justanotheruser has quit IRC
4382020-07-28T19:01:42 *** justanotheruser has joined #bitcoin-core-dev
4392020-07-28T19:04:59 *** EagleTM has joined #bitcoin-core-dev
4402020-07-28T19:09:59 *** Talkless has quit IRC
4412020-07-28T19:10:44 *** oldNorth has joined #bitcoin-core-dev
4422020-07-28T19:17:40 *** oldNorth has quit IRC
4432020-07-28T19:17:56 *** oldNorth has joined #bitcoin-core-dev
4442020-07-28T19:21:40 *** promag_ has joined #bitcoin-core-dev
4452020-07-28T19:34:14 *** andreacab2 has joined #bitcoin-core-dev
4462020-07-28T19:34:48 *** Madars has joined #bitcoin-core-dev
4472020-07-28T19:35:00 *** andreaca_ has joined #bitcoin-core-dev
4482020-07-28T19:38:25 *** andreacab2 has quit IRC
4492020-07-28T19:40:00 *** owowo has joined #bitcoin-core-dev
4502020-07-28T19:41:10 *** andreacab2 has joined #bitcoin-core-dev
4512020-07-28T19:44:05 *** andreaca_ has quit IRC
4522020-07-28T19:44:38 *** promag_ has quit IRC
4532020-07-28T19:57:24 *** andreacab2 has quit IRC
4542020-07-28T19:58:42 *** Madars has quit IRC
4552020-07-28T20:02:09 *** promag_ has joined #bitcoin-core-dev
4562020-07-28T20:05:53 *** icota[m] has quit IRC
4572020-07-28T20:06:25 *** promag_ has quit IRC
4582020-07-28T20:08:31 *** icota[m] has joined #bitcoin-core-dev
4592020-07-28T20:18:48 *** joerodgers has quit IRC
4602020-07-28T20:22:08 *** ritalinona has joined #bitcoin-core-dev
4612020-07-28T20:31:58 *** tryphe_ has quit IRC
4622020-07-28T20:34:44 *** tryphe has joined #bitcoin-core-dev
4632020-07-28T20:42:05 *** Madars has joined #bitcoin-core-dev
4642020-07-28T20:47:01 *** promag_ has joined #bitcoin-core-dev
4652020-07-28T20:48:31 *** michagogo has joined #bitcoin-core-dev
4662020-07-28T20:49:51 *** michagogo has joined #bitcoin-core-dev
4672020-07-28T20:58:16 *** promag_ has quit IRC
4682020-07-28T20:58:54 *** proofofkeags has quit IRC
4692020-07-28T20:59:09 *** promag_ has joined #bitcoin-core-dev
4702020-07-28T21:00:01 *** Fuchs1 has quit IRC
4712020-07-28T21:01:31 *** justanotheruser has quit IRC
4722020-07-28T21:01:50 *** oldNorth has quit IRC
4732020-07-28T21:04:11 *** promag_ has quit IRC
4742020-07-28T21:05:00 *** Madars has quit IRC
4752020-07-28T21:05:19 *** Guyver2__ has quit IRC
4762020-07-28T21:14:00 *** promag_ has joined #bitcoin-core-dev
4772020-07-28T21:20:41 *** steven1 has joined #bitcoin-core-dev
4782020-07-28T21:22:12 *** proofofkeags has joined #bitcoin-core-dev
4792020-07-28T21:29:51 *** arowser_ has joined #bitcoin-core-dev
4802020-07-28T21:32:12 *** EagleTM has quit IRC
4812020-07-28T21:38:41 *** Madars has joined #bitcoin-core-dev
4822020-07-28T22:01:06 *** EagleTM has joined #bitcoin-core-dev
4832020-07-28T22:01:53 *** Madars has quit IRC
4842020-07-28T22:03:13 *** nckx has quit IRC
4852020-07-28T22:05:18 *** nckx has joined #bitcoin-core-dev
4862020-07-28T22:10:25 *** roconnor has quit IRC
4872020-07-28T22:13:32 *** promag_ has quit IRC
4882020-07-28T22:27:49 *** mdunnio has quit IRC
4892020-07-28T22:29:46 *** roconnor has joined #bitcoin-core-dev
4902020-07-28T22:30:58 *** Madars has joined #bitcoin-core-dev
4912020-07-28T22:31:45 *** promag_ has joined #bitcoin-core-dev
4922020-07-28T22:32:39 *** hex17or has joined #bitcoin-core-dev
4932020-07-28T22:33:46 *** promag_ has quit IRC
4942020-07-28T22:34:03 *** marcoagner has quit IRC
4952020-07-28T22:42:38 *** EagleTM has quit IRC
4962020-07-28T22:44:26 *** justanotheruser has joined #bitcoin-core-dev
4972020-07-28T22:45:02 *** arowser_ has quit IRC
4982020-07-28T22:51:49 *** Madars has quit IRC
4992020-07-28T22:52:29 *** EagleTM has joined #bitcoin-core-dev
5002020-07-28T23:01:47 *** gzhao408 has joined #bitcoin-core-dev
5012020-07-28T23:06:14 *** promag_ has joined #bitcoin-core-dev
5022020-07-28T23:06:51 *** vincenzopalazzo has quit IRC
5032020-07-28T23:07:04 *** mdunnio has joined #bitcoin-core-dev
5042020-07-28T23:10:57 *** Deacyde has quit IRC
5052020-07-28T23:12:27 *** mdunnio has quit IRC
5062020-07-28T23:13:00 *** Madars has joined #bitcoin-core-dev
5072020-07-28T23:13:26 *** promag_ has quit IRC
5082020-07-28T23:26:59 *** EagleTM has quit IRC
5092020-07-28T23:37:15 *** EagleTM has joined #bitcoin-core-dev
5102020-07-28T23:43:05 *** ritalinona has left #bitcoin-core-dev
5112020-07-28T23:45:29 <sdaftuar> i saw i missed some discussion around wtxid-relay being deployed in advance of taproot, driving some desire to backport it
5122020-07-28T23:45:38 <sdaftuar> jnewbery: sipa: ^^
5132020-07-28T23:45:48 <sdaftuar> it's not clear to me how important that is...
5142020-07-28T23:47:50 <sdaftuar> for instance, a simpler solution might be to just backport a patch to 0.20 (and 0.19 and older, however far back people want to go) that adds txids of transactions that fail the AreInputsStandard check to the reject filter
5152020-07-28T23:48:16 <sdaftuar> that might take some small refactoring of the logic, but would involve a much less involved p2p change and would presumably be much easier to test and reason about
5162020-07-28T23:48:48 <sdaftuar> i haven't tried doing it to see how hard it would be though, so up to whoever is interested in what direction to go
5172020-07-28T23:50:00 <sipa> sdaftuar: another alternative that was suggested somewhere was just not relaying taproot spending txn to non-wtxidrelay peers
5182020-07-28T23:51:21 <sdaftuar> i guess that would work too -- and also is much simpler than backporting
5192020-07-28T23:51:25 <sipa> (i'm not a fan in general of adding these ad-hoc assumptions about relay policy, but if there is a concern about timelines of wtxid relay and taproot interacting, that's a simple solution)
5202020-07-28T23:51:48 *** promag_ has joined #bitcoin-core-dev
5212020-07-28T23:51:54 <sdaftuar> i like the simple fix to the reject filter because it gives users concerned about bandwidth considerations a simple way to mitigate the issue
5222020-07-28T23:52:03 <sdaftuar> without redoing a lot of p2p code, which is higher risk
5232020-07-28T23:52:17 <sdaftuar> and it should be exactly correct
5242020-07-28T23:52:25 <sdaftuar> and it should be exactly correct/
5252020-07-28T23:52:34 <sdaftuar> that was supposed to say: taproot doesn't support p2sh, right?
5262020-07-28T23:52:40 <sipa> indeed
5272020-07-28T23:53:07 <sipa> adding AreInputsStandard failures to the reject filter also seems simple
5282020-07-28T23:53:25 <sipa> but it will only benefit nodes that adopt that patch
5292020-07-28T23:53:53 <sdaftuar> which i think is (more than?) sufficient for this type of concern
5302020-07-28T23:55:07 <sipa> regarding p2dh: that isn't relevant i think?
5312020-07-28T23:55:24 <sipa> sends to future witness versions are standard already
5322020-07-28T23:55:31 <sipa> only spends from them aren't
5332020-07-28T23:55:33 <sipa> ah.
5342020-07-28T23:55:34 <sdaftuar> i'd have to double-chekc, but i think if taproot supported p2sh wrapped outputs, the witness check would happen elsewhere no?
5352020-07-28T23:55:48 <sipa> but this also means that AreInputsStandard won't detect this
5362020-07-28T23:56:10 <sipa> it needs script execution to detect?
5372020-07-28T23:56:13 <sdaftuar> i think it will -- i think spending a (bare) v1 output will fail there
5382020-07-28T23:56:23 <sdaftuar> we use that solver thing in AreInputsStandard? i'll double check
5392020-07-28T23:56:58 <sipa> ah ye
5402020-07-28T23:58:05 <sipa> Solver will return WITNESS_UNKNOWN, which isn't automatically rejected
5412020-07-28T23:58:31 <sipa> by AreInputsStandard, but it easily could be made so
5422020-07-28T23:59:00 <sdaftuar> oh, you're right -- i assumed that was a failure
5432020-07-28T23:59:14 <sdaftuar> odd