--- Log opened Sun Feb 23 00:00:02 2020
02:29 < elichai2> FWIW Miri(https://github.com/rust-lang/miri) succesfully runs rust-secp tests with libsecp replaced with autogenerated lib via c2rust https://github.com/elichai/rust-secp256k1/tree/c2rust (this means that we are probably UB free :) )
02:56 -!- jonatack [~jon@2a01:e0a:53c:a200:bb54:3be5:c3d0:9ce5] has quit [Quit: jonatack]
03:06 -!- Maxwell12Rogahn [~Maxwell12@ns334669.ip-5-196-64.eu] has joined #rust-bitcoin
03:29 -!- jonatack [~jon@2a01:e0a:53c:a200:bb54:3be5:c3d0:9ce5] has joined #rust-bitcoin
05:43 -!- Maxwell12Rogahn [~Maxwell12@ns334669.ip-5-196-64.eu] has quit [Ping timeout: 265 seconds]
06:28 -!- varioust [~varioust@cpe-108-167-11-88.neb.res.rr.com] has quit [Ping timeout: 272 seconds]
06:48 < elichai2> arghh I think we need to find another vulnerability to get debian to update the rustc version lol
06:50 -!- varioust [~varioust@rrcs-76-79-17-10.west.biz.rr.com] has joined #rust-bitcoin
06:52 -!- gribble [~gribble@unaffiliated/nanotube/bot/gribble] has quit [Remote host closed the connection]
07:02 -!- varioust [~varioust@rrcs-76-79-17-10.west.biz.rr.com] has quit [Quit: varioust]
07:04 -!- gribble [~gribble@unaffiliated/nanotube/bot/gribble] has joined #rust-bitcoin
07:26 -!- ghost43 [~daer@gateway/tor-sasl/daer] has quit [Remote host closed the connection]
07:29 -!- ghost43 [~daer@gateway/tor-sasl/daer] has joined #rust-bitcoin
08:12 <@andytoshi> lol
08:13 <@andytoshi> and wow!! re miri
08:17 < BlueMatt> nah, just wait for the next firefox release
08:17 < BlueMatt> but, also, gotta update mrustc to support 1.36 :/
08:20 <@andytoshi> stevenro-: can you re-ack https://github.com/rust-bitcoin/rust-bitcoin/pull/399 ? we made a super minor change
09:51 -!- jonatack [~jon@2a01:e0a:53c:a200:bb54:3be5:c3d0:9ce5] has quit [Ping timeout: 240 seconds]
11:39 -!- jonatack [~jon@2a01:e0a:53c:a200:bb54:3be5:c3d0:9ce5] has joined #rust-bitcoin
12:20 -!- rjected [~rjected@natp-128-119-202-229.wireless.umass.edu] has joined #rust-bitcoin
14:29 -!- jonatack [~jon@2a01:e0a:53c:a200:bb54:3be5:c3d0:9ce5] has quit [Ping timeout: 240 seconds]
17:11 < ariard_> BlueMatt: is rust-lightning-bitcoinrpc master good enough or there is another branch with more new stuff?
--- Log closed Mon Feb 24 00:00:03 2020