1 2019-06-01T00:00:01  *** dhart has quit IRC
  2 2019-06-01T00:04:30  *** Jaykul1 has joined #bitcoin-core-dev
  3 2019-06-01T00:15:02  <moneyball> for those attending CoreDev Amsterdam, or, for those wanting to follow along remotely, you can join ##amsterdamcore
  4 2019-06-01T00:15:08  *** ctrlbreak has joined #bitcoin-core-dev
  5 2019-06-01T00:16:07  *** ccdle12 has quit IRC
  6 2019-06-01T00:25:05  *** pinheadmz has quit IRC
  7 2019-06-01T00:27:37  *** scoop has joined #bitcoin-core-dev
  8 2019-06-01T00:31:58  *** scoop has quit IRC
  9 2019-06-01T00:34:42  *** Cory has quit IRC
 10 2019-06-01T00:35:33  *** ctrlbreak has quit IRC
 11 2019-06-01T00:38:00  *** ctrlbreak has joined #bitcoin-core-dev
 12 2019-06-01T00:39:48  *** Pasha has joined #bitcoin-core-dev
 13 2019-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
 14 2019-06-01T00:40:37  <jeremyrubin> e.g. the RockSalt project
 15 2019-06-01T00:42:59  *** Pasha is now known as Cory
 16 2019-06-01T00:49:23  *** irc_viewer_test has joined #bitcoin-core-dev
 17 2019-06-01T00:50:52  *** justan0theruser is now known as justanotheruser
 18 2019-06-01T00:51:45  *** irc_viewer_test has quit IRC
 19 2019-06-01T01:03:11  *** Dean_Guss has joined #bitcoin-core-dev
 20 2019-06-01T01:04:00  *** ctrlbreak has quit IRC
 21 2019-06-01T01:16:16  *** ctrlbreak has joined #bitcoin-core-dev
 22 2019-06-01T01:23:42  *** ctrlbreak has quit IRC
 23 2019-06-01T01:24:38  *** ctrlbreak has joined #bitcoin-core-dev
 24 2019-06-01T01:25:27  *** ctrlbreak has quit IRC
 25 2019-06-01T01:40:24  *** scoop has joined #bitcoin-core-dev
 26 2019-06-01T01:45:00  *** scoop has quit IRC
 27 2019-06-01T01:45:09  *** bg002h has joined #bitcoin-core-dev
 28 2019-06-01T01:50:13  *** ctrlbreak has joined #bitcoin-core-dev
 29 2019-06-01T01:56:24  *** BGL has quit IRC
 30 2019-06-01T01:59:02  *** gribble has quit IRC
 31 2019-06-01T02:10:06  *** pinheadmz has joined #bitcoin-core-dev
 32 2019-06-01T02:12:04  *** gribble has joined #bitcoin-core-dev
 33 2019-06-01T02:33:41  *** pinheadmz has quit IRC
 34 2019-06-01T02:44:23  *** petteri has joined #bitcoin-core-dev
 35 2019-06-01T02:47:53  *** scoop has joined #bitcoin-core-dev
 36 2019-06-01T02:52:46  *** scoop has quit IRC
 37 2019-06-01T03:00:01  *** Jaykul1 has quit IRC
 38 2019-06-01T03:03:59  *** pinheadmz has joined #bitcoin-core-dev
 39 2019-06-01T03:04:22  *** FrontSevens has joined #bitcoin-core-dev
 40 2019-06-01T03:26:06  *** scoop has joined #bitcoin-core-dev
 41 2019-06-01T03:26:43  *** BGL has joined #bitcoin-core-dev
 42 2019-06-01T03:30:40  *** scoop has quit IRC
 43 2019-06-01T03:31:58  *** rottensox has joined #bitcoin-core-dev
 44 2019-06-01T03:38:48  *** hebasto has joined #bitcoin-core-dev
 45 2019-06-01T03:46:11  *** pinheadmz has quit IRC
 46 2019-06-01T03:52:42  *** Eagle[TM] has joined #bitcoin-core-dev
 47 2019-06-01T03:54:48  *** EagleTM has quit IRC
 48 2019-06-01T04:12:11  *** promag has joined #bitcoin-core-dev
 49 2019-06-01T04:16:39  *** promag has quit IRC
 50 2019-06-01T04:32:22  *** gertjaap has quit IRC
 51 2019-06-01T04:33:09  *** peltre has quit IRC
 52 2019-06-01T04:34:06  *** nejon has quit IRC
 53 2019-06-01T04:34:19  *** noganoo has quit IRC
 54 2019-06-01T04:35:49  *** scoop has joined #bitcoin-core-dev
 55 2019-06-01T04:36:29  *** gertjaap has joined #bitcoin-core-dev
 56 2019-06-01T04:36:38  *** fanquake has quit IRC
 57 2019-06-01T04:40:07  *** scoop has quit IRC
 58 2019-06-01T04:40:49  *** StopAndDecrypt_ has joined #bitcoin-core-dev
 59 2019-06-01T04:41:12  *** gertjaap has quit IRC
 60 2019-06-01T04:41:42  *** StopAndDecrypt has quit IRC
 61 2019-06-01T04:45:23  *** pinheadmz has joined #bitcoin-core-dev
 62 2019-06-01T04:50:58  *** peltre has joined #bitcoin-core-dev
 63 2019-06-01T04:51:41  *** noganoo has joined #bitcoin-core-dev
 64 2019-06-01T04:54:02  *** gertjaap has joined #bitcoin-core-dev
 65 2019-06-01T04:54:42  *** fanquake has joined #bitcoin-core-dev
 66 2019-06-01T04:56:22  *** b10c has joined #bitcoin-core-dev
 67 2019-06-01T04:58:42  *** nejon has joined #bitcoin-core-dev
 68 2019-06-01T05:05:41  *** pinheadmz has quit IRC
 69 2019-06-01T05:21:34  *** davterra has quit IRC
 70 2019-06-01T05:36:29  *** bitcoin-git has joined #bitcoin-core-dev
 71 2019-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
 72 2019-06-01T05:36:30  *** bitcoin-git has left #bitcoin-core-dev
 73 2019-06-01T05:44:31  *** scoop has joined #bitcoin-core-dev
 74 2019-06-01T05:54:18  *** murrayn has quit IRC
 75 2019-06-01T05:55:10  *** scoop has quit IRC
 76 2019-06-01T05:57:52  *** murrayn has joined #bitcoin-core-dev
 77 2019-06-01T05:58:15  *** murrayn is now known as Guest14152
 78 2019-06-01T06:00:02  *** FrontSevens has quit IRC
 79 2019-06-01T06:03:44  *** nyuszika7h1 has joined #bitcoin-core-dev
 80 2019-06-01T06:06:10  *** rottensox is now known as rottenplague
 81 2019-06-01T06:06:10  *** Guest14152 has quit IRC
 82 2019-06-01T06:07:35  *** murray- has joined #bitcoin-core-dev
 83 2019-06-01T06:07:57  *** murray- has left #bitcoin-core-dev
 84 2019-06-01T06:29:46  *** scoop has joined #bitcoin-core-dev
 85 2019-06-01T06:30:47  *** ccdle12 has joined #bitcoin-core-dev
 86 2019-06-01T06:35:28  *** scoop has quit IRC
 87 2019-06-01T06:35:37  *** ccdle12 has quit IRC
 88 2019-06-01T06:37:20  *** ccdle12 has joined #bitcoin-core-dev
 89 2019-06-01T06:43:40  *** murrayn has joined #bitcoin-core-dev
 90 2019-06-01T06:46:22  *** Aaronvan_ has joined #bitcoin-core-dev
 91 2019-06-01T06:49:59  *** AaronvanW has quit IRC
 92 2019-06-01T07:10:47  *** scoop has joined #bitcoin-core-dev
 93 2019-06-01T07:17:20  *** scoop has quit IRC
 94 2019-06-01T07:24:28  *** scoop has joined #bitcoin-core-dev
 95 2019-06-01T07:29:05  *** scoop has quit IRC
 96 2019-06-01T07:49:47  *** scoop has joined #bitcoin-core-dev
 97 2019-06-01T07:56:18  *** scoop has quit IRC
 98 2019-06-01T08:02:26  *** Cory has quit IRC
 99 2019-06-01T08:05:03  *** Eagle[TM] has quit IRC
100 2019-06-01T08:09:30  *** Cory has joined #bitcoin-core-dev
101 2019-06-01T08:21:11  *** scoop has joined #bitcoin-core-dev
102 2019-06-01T08:25:36  *** scoop has quit IRC
103 2019-06-01T08:32:37  *** scoop has joined #bitcoin-core-dev
104 2019-06-01T08:41:43  *** harding has quit IRC
105 2019-06-01T08:44:14  *** harding has joined #bitcoin-core-dev
106 2019-06-01T08:45:53  *** scoop has quit IRC
107 2019-06-01T08:49:28  *** spinza has quit IRC
108 2019-06-01T08:57:33  *** spinza has joined #bitcoin-core-dev
109 2019-06-01T09:00:01  *** nyuszika7h1 has quit IRC
110 2019-06-01T09:04:08  *** DragonEyes1 has joined #bitcoin-core-dev
111 2019-06-01T09:08:14  *** d_t has quit IRC
112 2019-06-01T09:22:25  *** obsrver has joined #bitcoin-core-dev
113 2019-06-01T09:51:33  *** scoop has joined #bitcoin-core-dev
114 2019-06-01T09:55:44  *** scoop has quit IRC
115 2019-06-01T10:13:45  *** ossifrage_ is now known as ossifrage
116 2019-06-01T10:14:36  *** darosior has joined #bitcoin-core-dev
117 2019-06-01T10:19:37  *** Aaronvan_ has quit IRC
118 2019-06-01T10:49:06  *** intrinsicValue has joined #bitcoin-core-dev
119 2019-06-01T11:01:24  *** scoop has joined #bitcoin-core-dev
120 2019-06-01T11:01:58  *** spinza has quit IRC
121 2019-06-01T11:05:51  *** scoop has quit IRC
122 2019-06-01T11:09:28  *** spinza has joined #bitcoin-core-dev
123 2019-06-01T11:16:11  *** cluelessperson has quit IRC
124 2019-06-01T11:22:08  *** owowo has quit IRC
125 2019-06-01T11:22:13  *** intrinsicValue has quit IRC
126 2019-06-01T11:22:48  *** continueShining has joined #bitcoin-core-dev
127 2019-06-01T11:24:04  *** continueShining has quit IRC
128 2019-06-01T11:27:10  *** owowo has joined #bitcoin-core-dev
129 2019-06-01T11:31:38  *** intrinsicValue has joined #bitcoin-core-dev
130 2019-06-01T11:42:25  *** scoop has joined #bitcoin-core-dev
131 2019-06-01T11:46:43  *** scoop has quit IRC
132 2019-06-01T12:00:01  *** DragonEyes1 has quit IRC
133 2019-06-01T12:04:06  *** Eramdam1 has joined #bitcoin-core-dev
134 2019-06-01T12:04:19  *** intrinsicValue has quit IRC
135 2019-06-01T12:15:50  *** scoop has joined #bitcoin-core-dev
136 2019-06-01T12:16:48  *** scoop has quit IRC
137 2019-06-01T12:17:25  *** scoop has joined #bitcoin-core-dev
138 2019-06-01T12:36:38  *** zivl has joined #bitcoin-core-dev
139 2019-06-01T12:45:16  *** Chris_Stewart_5 has joined #bitcoin-core-dev
140 2019-06-01T12:47:40  *** scoop has quit IRC
141 2019-06-01T12:51:49  *** DeanWeen has joined #bitcoin-core-dev
142 2019-06-01T12:53:25  *** Dean_Guss has quit IRC
143 2019-06-01T13:09:41  *** lunchtime has joined #bitcoin-core-dev
144 2019-06-01T13:09:55  *** lunchtime has left #bitcoin-core-dev
145 2019-06-01T13:23:07  *** mdunnio has joined #bitcoin-core-dev
146 2019-06-01T13:32:07  *** berndj has quit IRC
147 2019-06-01T13:32:27  *** berndj has joined #bitcoin-core-dev
148 2019-06-01T13:36:37  *** berndj has quit IRC
149 2019-06-01T13:43:50  *** berndj has joined #bitcoin-core-dev
150 2019-06-01T13:50:21  *** d_t has joined #bitcoin-core-dev
151 2019-06-01T13:55:33  *** mdunnio has quit IRC
152 2019-06-01T13:59:09  *** berndj has quit IRC
153 2019-06-01T13:59:35  *** berndj has joined #bitcoin-core-dev
154 2019-06-01T14:18:34  *** zivl has quit IRC
155 2019-06-01T14:31:01  *** Chris_Stewart_5 has quit IRC
156 2019-06-01T14:35:07  *** StopAndDecrypt_ has quit IRC
157 2019-06-01T14:42:38  *** Guyver2 has joined #bitcoin-core-dev
158 2019-06-01T14:48:08  *** scoop has joined #bitcoin-core-dev
159 2019-06-01T14:50:01  *** d_t has quit IRC
160 2019-06-01T14:52:27  *** scoop has quit IRC
161 2019-06-01T14:56:52  *** omonk has quit IRC
162 2019-06-01T14:58:12  *** omonk has joined #bitcoin-core-dev
163 2019-06-01T15:00:01  *** Eramdam1 has quit IRC
164 2019-06-01T15:12:40  *** epicfail^ has joined #bitcoin-core-dev
165 2019-06-01T15:24:18  *** siom has joined #bitcoin-core-dev
166 2019-06-01T15:33:38  *** pinheadmz has joined #bitcoin-core-dev
167 2019-06-01T15:47:27  *** davterra has joined #bitcoin-core-dev
168 2019-06-01T15:47:47  *** agrotronic has joined #bitcoin-core-dev
169 2019-06-01T15:50:34  *** scoop has joined #bitcoin-core-dev
170 2019-06-01T16:07:18  *** _Sam-- has left #bitcoin-core-dev
171 2019-06-01T16:22:17  *** siom has quit IRC
172 2019-06-01T16:24:17  *** darosior has quit IRC
173 2019-06-01T16:26:25  *** pinheadmz has quit IRC
174 2019-06-01T16:27:05  *** inoor has joined #bitcoin-core-dev
175 2019-06-01T16:30:23  *** mdunnio has joined #bitcoin-core-dev
176 2019-06-01T16:30:28  *** afk11 has joined #bitcoin-core-dev
177 2019-06-01T16:39:59  *** pinheadmz has joined #bitcoin-core-dev
178 2019-06-01T16:44:13  *** ccdle12 has quit IRC
179 2019-06-01T16:45:37  *** scoop has quit IRC
180 2019-06-01T16:59:35  *** Dean_Guss has joined #bitcoin-core-dev
181 2019-06-01T16:59:39  *** DeanWeen has quit IRC
182 2019-06-01T17:14:39  *** d_t has joined #bitcoin-core-dev
183 2019-06-01T17:23:51  *** scoop has joined #bitcoin-core-dev
184 2019-06-01T17:31:18  *** Skirmant has joined #bitcoin-core-dev
185 2019-06-01T17:35:17  *** obsrver has quit IRC
186 2019-06-01T17:38:27  *** Dean_Guss has quit IRC
187 2019-06-01T17:39:44  *** mdunnio has quit IRC
188 2019-06-01T17:40:40  *** pinheadmz has quit IRC
189 2019-06-01T17:57:43  *** pinheadmz has joined #bitcoin-core-dev
190 2019-06-01T18:00:01  *** epicfail^ has quit IRC
191 2019-06-01T18:10:23  *** tobiastom1 has joined #bitcoin-core-dev
192 2019-06-01T18:12:41  *** Dean_Guss has joined #bitcoin-core-dev
193 2019-06-01T18:18:49  *** promag has joined #bitcoin-core-dev
194 2019-06-01T18:28:25  *** agrotronic has quit IRC
195 2019-06-01T18:45:05  *** hebasto has quit IRC
196 2019-06-01T18:57:25  *** promag has quit IRC
197 2019-06-01T18:57:28  *** scoop has quit IRC
198 2019-06-01T18:58:46  *** promag has joined #bitcoin-core-dev
199 2019-06-01T19:03:15  *** promag has quit IRC
200 2019-06-01T19:14:52  *** mdunnio has joined #bitcoin-core-dev
201 2019-06-01T19:14:59  *** promag has joined #bitcoin-core-dev
202 2019-06-01T19:17:45  *** d_t has quit IRC
203 2019-06-01T19:19:19  *** promag has quit IRC
204 2019-06-01T19:24:44  *** mdunnio has quit IRC
205 2019-06-01T20:02:57  *** Dean_Guss has quit IRC
206 2019-06-01T20:07:01  *** rh0nj has quit IRC
207 2019-06-01T20:08:08  *** rh0nj has joined #bitcoin-core-dev
208 2019-06-01T20:18:55  *** teardown has quit IRC
209 2019-06-01T20:35:01  *** Chris_Stewart_5 has joined #bitcoin-core-dev
210 2019-06-01T20:50:47  *** zivl has joined #bitcoin-core-dev
211 2019-06-01T21:00:02  *** tobiastom1 has quit IRC
212 2019-06-01T21:05:09  *** pdurbin1 has joined #bitcoin-core-dev
213 2019-06-01T21:10:00  *** Guyver2 has quit IRC
214 2019-06-01T21:22:28  *** mdunnio has joined #bitcoin-core-dev
215 2019-06-01T21:40:16  *** Chris_Stewart_5 has quit IRC
216 2019-06-01T22:38:04  *** irc_viewer_test has joined #bitcoin-core-dev
217 2019-06-01T22:40:21  *** Dean_Guss has joined #bitcoin-core-dev
218 2019-06-01T22:48:36  *** spinza has quit IRC
219 2019-06-01T22:51:49  *** Dean_Guss has quit IRC
220 2019-06-01T22:57:24  *** inoor has quit IRC
221 2019-06-01T23:06:35  *** spinza has joined #bitcoin-core-dev
222 2019-06-01T23:12:50  *** KaizenNaka has joined #bitcoin-core-dev
223 2019-06-01T23:14:38  *** owowo has quit IRC
224 2019-06-01T23:18:14  *** TheHoliestRoger has quit IRC
225 2019-06-01T23:18:51  *** TheHoliestRoger has joined #bitcoin-core-dev
226 2019-06-01T23:20:42  *** mdunnio has quit IRC
227 2019-06-01T23:21:24  *** owowo has joined #bitcoin-core-dev
228 2019-06-01T23:23:00  *** scoop has joined #bitcoin-core-dev
229 2019-06-01T23:32:16  *** booyah has quit IRC
230 2019-06-01T23:32:42  *** booyah has joined #bitcoin-core-dev
231 2019-06-01T23:35:05  *** justanotheruser has quit IRC
232 2019-06-01T23:39:47  *** TheRec has quit IRC
233 2019-06-01T23:41:49  *** TheRec has joined #bitcoin-core-dev
234 2019-06-01T23:48:39  *** scoop has quit IRC
235 2019-06-01T23:53:36  *** Cory has quit IRC