12019-06-01T00:00:01  *** dhart has quit IRC
  22019-06-01T00:04:30  *** Jaykul1 has joined #bitcoin-core-dev
  32019-06-01T00:15:02  <moneyball> for those attending CoreDev Amsterdam, or, for those wanting to follow along remotely, you can join ##amsterdamcore
  42019-06-01T00:15:08  *** ctrlbreak has joined #bitcoin-core-dev
  52019-06-01T00:16:07  *** ccdle12 has quit IRC
  62019-06-01T00:25:05  *** pinheadmz has quit IRC
  72019-06-01T00:27:37  *** scoop has joined #bitcoin-core-dev
  82019-06-01T00:31:58  *** scoop has quit IRC
  92019-06-01T00:34:42  *** Cory has quit IRC
 102019-06-01T00:35:33  *** ctrlbreak has quit IRC
 112019-06-01T00:38:00  *** ctrlbreak has joined #bitcoin-core-dev
 122019-06-01T00:39:48  *** Pasha has joined #bitcoin-core-dev
 132019-06-01T00:40:19  <jeremyrubin> roconnor: It should also be possible to formally verify a parser in CoQ or something and then extract a C implementation
 142019-06-01T00:40:37  <jeremyrubin> e.g. the RockSalt project
 152019-06-01T00:42:59  *** Pasha is now known as Cory
 162019-06-01T00:49:23  *** irc_viewer_test has joined #bitcoin-core-dev
 172019-06-01T00:50:52  *** justan0theruser is now known as justanotheruser
 182019-06-01T00:51:45  *** irc_viewer_test has quit IRC
 192019-06-01T01:03:11  *** Dean_Guss has joined #bitcoin-core-dev
 202019-06-01T01:04:00  *** ctrlbreak has quit IRC
 212019-06-01T01:16:16  *** ctrlbreak has joined #bitcoin-core-dev
 222019-06-01T01:23:42  *** ctrlbreak has quit IRC
 232019-06-01T01:24:38  *** ctrlbreak has joined #bitcoin-core-dev
 242019-06-01T01:25:27  *** ctrlbreak has quit IRC
 252019-06-01T01:40:24  *** scoop has joined #bitcoin-core-dev
 262019-06-01T01:45:00  *** scoop has quit IRC
 272019-06-01T01:45:09  *** bg002h has joined #bitcoin-core-dev
 282019-06-01T01:50:13  *** ctrlbreak has joined #bitcoin-core-dev
 292019-06-01T01:56:24  *** BGL has quit IRC
 302019-06-01T01:59:02  *** gribble has quit IRC
 312019-06-01T02:10:06  *** pinheadmz has joined #bitcoin-core-dev
 322019-06-01T02:12:04  *** gribble has joined #bitcoin-core-dev
 332019-06-01T02:33:41  *** pinheadmz has quit IRC
 342019-06-01T02:44:23  *** petteri has joined #bitcoin-core-dev
 352019-06-01T02:47:53  *** scoop has joined #bitcoin-core-dev
 362019-06-01T02:52:46  *** scoop has quit IRC
 372019-06-01T03:00:01  *** Jaykul1 has quit IRC
 382019-06-01T03:03:59  *** pinheadmz has joined #bitcoin-core-dev
 392019-06-01T03:04:22  *** FrontSevens has joined #bitcoin-core-dev
 402019-06-01T03:26:06  *** scoop has joined #bitcoin-core-dev
 412019-06-01T03:26:43  *** BGL has joined #bitcoin-core-dev
 422019-06-01T03:30:40  *** scoop has quit IRC
 432019-06-01T03:31:58  *** rottensox has joined #bitcoin-core-dev
 442019-06-01T03:38:48  *** hebasto has joined #bitcoin-core-dev
 452019-06-01T03:46:11  *** pinheadmz has quit IRC
 462019-06-01T03:52:42  *** Eagle[TM] has joined #bitcoin-core-dev
 472019-06-01T03:54:48  *** EagleTM has quit IRC
 482019-06-01T04:12:11  *** promag has joined #bitcoin-core-dev
 492019-06-01T04:16:39  *** promag has quit IRC
 502019-06-01T04:32:22  *** gertjaap has quit IRC
 512019-06-01T04:33:09  *** peltre has quit IRC
 522019-06-01T04:34:06  *** nejon has quit IRC
 532019-06-01T04:34:19  *** noganoo has quit IRC
 542019-06-01T04:35:49  *** scoop has joined #bitcoin-core-dev
 552019-06-01T04:36:29  *** gertjaap has joined #bitcoin-core-dev
 562019-06-01T04:36:38  *** fanquake has quit IRC
 572019-06-01T04:40:07  *** scoop has quit IRC
 582019-06-01T04:40:49  *** StopAndDecrypt_ has joined #bitcoin-core-dev
 592019-06-01T04:41:12  *** gertjaap has quit IRC
 602019-06-01T04:41:42  *** StopAndDecrypt has quit IRC
 612019-06-01T04:45:23  *** pinheadmz has joined #bitcoin-core-dev
 622019-06-01T04:50:58  *** peltre has joined #bitcoin-core-dev
 632019-06-01T04:51:41  *** noganoo has joined #bitcoin-core-dev
 642019-06-01T04:54:02  *** gertjaap has joined #bitcoin-core-dev
 652019-06-01T04:54:42  *** fanquake has joined #bitcoin-core-dev
 662019-06-01T04:56:22  *** b10c has joined #bitcoin-core-dev
 672019-06-01T04:58:42  *** nejon has joined #bitcoin-core-dev
 682019-06-01T05:05:41  *** pinheadmz has quit IRC
 692019-06-01T05:21:34  *** davterra has quit IRC
 702019-06-01T05:36:29  *** bitcoin-git has joined #bitcoin-core-dev
 712019-06-01T05:36:29  <bitcoin-git> [bitcoin] LongShao007 opened pull request #16131: enable -salvagewallet test in wallet_basic.py (master...pytest) https://github.com/bitcoin/bitcoin/pull/16131
 722019-06-01T05:36:30  *** bitcoin-git has left #bitcoin-core-dev
 732019-06-01T05:44:31  *** scoop has joined #bitcoin-core-dev
 742019-06-01T05:54:18  *** murrayn has quit IRC
 752019-06-01T05:55:10  *** scoop has quit IRC
 762019-06-01T05:57:52  *** murrayn has joined #bitcoin-core-dev
 772019-06-01T05:58:15  *** murrayn is now known as Guest14152
 782019-06-01T06:00:02  *** FrontSevens has quit IRC
 792019-06-01T06:03:44  *** nyuszika7h1 has joined #bitcoin-core-dev
 802019-06-01T06:06:10  *** rottensox is now known as rottenplague
 812019-06-01T06:06:10  *** Guest14152 has quit IRC
 822019-06-01T06:07:35  *** murray- has joined #bitcoin-core-dev
 832019-06-01T06:07:57  *** murray- has left #bitcoin-core-dev
 842019-06-01T06:29:46  *** scoop has joined #bitcoin-core-dev
 852019-06-01T06:30:47  *** ccdle12 has joined #bitcoin-core-dev
 862019-06-01T06:35:28  *** scoop has quit IRC
 872019-06-01T06:35:37  *** ccdle12 has quit IRC
 882019-06-01T06:37:20  *** ccdle12 has joined #bitcoin-core-dev
 892019-06-01T06:43:40  *** murrayn has joined #bitcoin-core-dev
 902019-06-01T06:46:22  *** Aaronvan_ has joined #bitcoin-core-dev
 912019-06-01T06:49:59  *** AaronvanW has quit IRC
 922019-06-01T07:10:47  *** scoop has joined #bitcoin-core-dev
 932019-06-01T07:17:20  *** scoop has quit IRC
 942019-06-01T07:24:28  *** scoop has joined #bitcoin-core-dev
 952019-06-01T07:29:05  *** scoop has quit IRC
 962019-06-01T07:49:47  *** scoop has joined #bitcoin-core-dev
 972019-06-01T07:56:18  *** scoop has quit IRC
 982019-06-01T08:02:26  *** Cory has quit IRC
 992019-06-01T08:05:03  *** Eagle[TM] has quit IRC
1002019-06-01T08:09:30  *** Cory has joined #bitcoin-core-dev
1012019-06-01T08:21:11  *** scoop has joined #bitcoin-core-dev
1022019-06-01T08:25:36  *** scoop has quit IRC
1032019-06-01T08:32:37  *** scoop has joined #bitcoin-core-dev
1042019-06-01T08:41:43  *** harding has quit IRC
1052019-06-01T08:44:14  *** harding has joined #bitcoin-core-dev
1062019-06-01T08:45:53  *** scoop has quit IRC
1072019-06-01T08:49:28  *** spinza has quit IRC
1082019-06-01T08:57:33  *** spinza has joined #bitcoin-core-dev
1092019-06-01T09:00:01  *** nyuszika7h1 has quit IRC
1102019-06-01T09:04:08  *** DragonEyes1 has joined #bitcoin-core-dev
1112019-06-01T09:08:14  *** d_t has quit IRC
1122019-06-01T09:22:25  *** obsrver has joined #bitcoin-core-dev
1132019-06-01T09:51:33  *** scoop has joined #bitcoin-core-dev
1142019-06-01T09:55:44  *** scoop has quit IRC
1152019-06-01T10:13:45  *** ossifrage_ is now known as ossifrage
1162019-06-01T10:14:36  *** darosior has joined #bitcoin-core-dev
1172019-06-01T10:19:37  *** Aaronvan_ has quit IRC
1182019-06-01T10:49:06  *** intrinsicValue has joined #bitcoin-core-dev
1192019-06-01T11:01:24  *** scoop has joined #bitcoin-core-dev
1202019-06-01T11:01:58  *** spinza has quit IRC
1212019-06-01T11:05:51  *** scoop has quit IRC
1222019-06-01T11:09:28  *** spinza has joined #bitcoin-core-dev
1232019-06-01T11:16:11  *** cluelessperson has quit IRC
1242019-06-01T11:22:08  *** owowo has quit IRC
1252019-06-01T11:22:13  *** intrinsicValue has quit IRC
1262019-06-01T11:22:48  *** continueShining has joined #bitcoin-core-dev
1272019-06-01T11:24:04  *** continueShining has quit IRC
1282019-06-01T11:27:10  *** owowo has joined #bitcoin-core-dev
1292019-06-01T11:31:38  *** intrinsicValue has joined #bitcoin-core-dev
1302019-06-01T11:42:25  *** scoop has joined #bitcoin-core-dev
1312019-06-01T11:46:43  *** scoop has quit IRC
1322019-06-01T12:00:01  *** DragonEyes1 has quit IRC
1332019-06-01T12:04:06  *** Eramdam1 has joined #bitcoin-core-dev
1342019-06-01T12:04:19  *** intrinsicValue has quit IRC
1352019-06-01T12:15:50  *** scoop has joined #bitcoin-core-dev
1362019-06-01T12:16:48  *** scoop has quit IRC
1372019-06-01T12:17:25  *** scoop has joined #bitcoin-core-dev
1382019-06-01T12:36:38  *** zivl has joined #bitcoin-core-dev
1392019-06-01T12:45:16  *** Chris_Stewart_5 has joined #bitcoin-core-dev
1402019-06-01T12:47:40  *** scoop has quit IRC
1412019-06-01T12:51:49  *** DeanWeen has joined #bitcoin-core-dev
1422019-06-01T12:53:25  *** Dean_Guss has quit IRC
1432019-06-01T13:09:41  *** lunchtime has joined #bitcoin-core-dev
1442019-06-01T13:09:55  *** lunchtime has left #bitcoin-core-dev
1452019-06-01T13:23:07  *** mdunnio has joined #bitcoin-core-dev
1462019-06-01T13:32:07  *** berndj has quit IRC
1472019-06-01T13:32:27  *** berndj has joined #bitcoin-core-dev
1482019-06-01T13:36:37  *** berndj has quit IRC
1492019-06-01T13:43:50  *** berndj has joined #bitcoin-core-dev
1502019-06-01T13:50:21  *** d_t has joined #bitcoin-core-dev
1512019-06-01T13:55:33  *** mdunnio has quit IRC
1522019-06-01T13:59:09  *** berndj has quit IRC
1532019-06-01T13:59:35  *** berndj has joined #bitcoin-core-dev
1542019-06-01T14:18:34  *** zivl has quit IRC
1552019-06-01T14:31:01  *** Chris_Stewart_5 has quit IRC
1562019-06-01T14:35:07  *** StopAndDecrypt_ has quit IRC
1572019-06-01T14:42:38  *** Guyver2 has joined #bitcoin-core-dev
1582019-06-01T14:48:08  *** scoop has joined #bitcoin-core-dev
1592019-06-01T14:50:01  *** d_t has quit IRC
1602019-06-01T14:52:27  *** scoop has quit IRC
1612019-06-01T14:56:52  *** omonk has quit IRC
1622019-06-01T14:58:12  *** omonk has joined #bitcoin-core-dev
1632019-06-01T15:00:01  *** Eramdam1 has quit IRC
1642019-06-01T15:12:40  *** epicfail^ has joined #bitcoin-core-dev
1652019-06-01T15:24:18  *** siom has joined #bitcoin-core-dev
1662019-06-01T15:33:38  *** pinheadmz has joined #bitcoin-core-dev
1672019-06-01T15:47:27  *** davterra has joined #bitcoin-core-dev
1682019-06-01T15:47:47  *** agrotronic has joined #bitcoin-core-dev
1692019-06-01T15:50:34  *** scoop has joined #bitcoin-core-dev
1702019-06-01T16:07:18  *** _Sam-- has left #bitcoin-core-dev
1712019-06-01T16:22:17  *** siom has quit IRC
1722019-06-01T16:24:17  *** darosior has quit IRC
1732019-06-01T16:26:25  *** pinheadmz has quit IRC
1742019-06-01T16:27:05  *** inoor has joined #bitcoin-core-dev
1752019-06-01T16:30:23  *** mdunnio has joined #bitcoin-core-dev
1762019-06-01T16:30:28  *** afk11 has joined #bitcoin-core-dev
1772019-06-01T16:39:59  *** pinheadmz has joined #bitcoin-core-dev
1782019-06-01T16:44:13  *** ccdle12 has quit IRC
1792019-06-01T16:45:37  *** scoop has quit IRC
1802019-06-01T16:59:35  *** Dean_Guss has joined #bitcoin-core-dev
1812019-06-01T16:59:39  *** DeanWeen has quit IRC
1822019-06-01T17:14:39  *** d_t has joined #bitcoin-core-dev
1832019-06-01T17:23:51  *** scoop has joined #bitcoin-core-dev
1842019-06-01T17:31:18  *** Skirmant has joined #bitcoin-core-dev
1852019-06-01T17:35:17  *** obsrver has quit IRC
1862019-06-01T17:38:27  *** Dean_Guss has quit IRC
1872019-06-01T17:39:44  *** mdunnio has quit IRC
1882019-06-01T17:40:40  *** pinheadmz has quit IRC
1892019-06-01T17:57:43  *** pinheadmz has joined #bitcoin-core-dev
1902019-06-01T18:00:01  *** epicfail^ has quit IRC
1912019-06-01T18:10:23  *** tobiastom1 has joined #bitcoin-core-dev
1922019-06-01T18:12:41  *** Dean_Guss has joined #bitcoin-core-dev
1932019-06-01T18:18:49  *** promag has joined #bitcoin-core-dev
1942019-06-01T18:28:25  *** agrotronic has quit IRC
1952019-06-01T18:45:05  *** hebasto has quit IRC
1962019-06-01T18:57:25  *** promag has quit IRC
1972019-06-01T18:57:28  *** scoop has quit IRC
1982019-06-01T18:58:46  *** promag has joined #bitcoin-core-dev
1992019-06-01T19:03:15  *** promag has quit IRC
2002019-06-01T19:14:52  *** mdunnio has joined #bitcoin-core-dev
2012019-06-01T19:14:59  *** promag has joined #bitcoin-core-dev
2022019-06-01T19:17:45  *** d_t has quit IRC
2032019-06-01T19:19:19  *** promag has quit IRC
2042019-06-01T19:24:44  *** mdunnio has quit IRC
2052019-06-01T20:02:57  *** Dean_Guss has quit IRC
2062019-06-01T20:07:01  *** rh0nj has quit IRC
2072019-06-01T20:08:08  *** rh0nj has joined #bitcoin-core-dev
2082019-06-01T20:18:55  *** teardown has quit IRC
2092019-06-01T20:35:01  *** Chris_Stewart_5 has joined #bitcoin-core-dev
2102019-06-01T20:50:47  *** zivl has joined #bitcoin-core-dev
2112019-06-01T21:00:02  *** tobiastom1 has quit IRC
2122019-06-01T21:05:09  *** pdurbin1 has joined #bitcoin-core-dev
2132019-06-01T21:10:00  *** Guyver2 has quit IRC
2142019-06-01T21:22:28  *** mdunnio has joined #bitcoin-core-dev
2152019-06-01T21:40:16  *** Chris_Stewart_5 has quit IRC
2162019-06-01T22:38:04  *** irc_viewer_test has joined #bitcoin-core-dev
2172019-06-01T22:40:21  *** Dean_Guss has joined #bitcoin-core-dev
2182019-06-01T22:48:36  *** spinza has quit IRC
2192019-06-01T22:51:49  *** Dean_Guss has quit IRC
2202019-06-01T22:57:24  *** inoor has quit IRC
2212019-06-01T23:06:35  *** spinza has joined #bitcoin-core-dev
2222019-06-01T23:12:50  *** KaizenNaka has joined #bitcoin-core-dev
2232019-06-01T23:14:38  *** owowo has quit IRC
2242019-06-01T23:18:14  *** TheHoliestRoger has quit IRC
2252019-06-01T23:18:51  *** TheHoliestRoger has joined #bitcoin-core-dev
2262019-06-01T23:20:42  *** mdunnio has quit IRC
2272019-06-01T23:21:24  *** owowo has joined #bitcoin-core-dev
2282019-06-01T23:23:00  *** scoop has joined #bitcoin-core-dev
2292019-06-01T23:32:16  *** booyah has quit IRC
2302019-06-01T23:32:42  *** booyah has joined #bitcoin-core-dev
2312019-06-01T23:35:05  *** justanotheruser has quit IRC
2322019-06-01T23:39:47  *** TheRec has quit IRC
2332019-06-01T23:41:49  *** TheRec has joined #bitcoin-core-dev
2342019-06-01T23:48:39  *** scoop has quit IRC
2352019-06-01T23:53:36  *** Cory has quit IRC