--- Log opened Thu Jun 29 00:00:44 2023
00:02 -!- tromp [~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl] has joined #secp256k1
02:35 < real_or_random> roconnor: AFAIU their current MSVC story is that you can --no-wide-int to fiat_crypto and this simply avoids uint128. but that's not a great story because it's just slower if you don't intrinsics
02:35 < real_or_random> https://github.com/mit-plv/fiat-crypto/issues/1560 is exactly about this problem, and they're still trying to figure out the best way forward
02:36 < real_or_random> testing on compiler snapshots is ready for review https://github.com/bitcoin-core/secp256k1/pull/1313 
02:37 < real_or_random> roconnor: (how did I again manage to omit two verbs in a a single sentence? lol)
02:46 -!- stickies-v [sid544753@id-544753.uxbridge.irccloud.com] has quit [Server closed connection]
02:46 -!- stickies-v [sid544753@id-544753.uxbridge.irccloud.com] has joined #secp256k1
04:04 -!- meshcollider [meshcollid@jujube.rpblc.net] has quit [Ping timeout: 264 seconds]
04:06 -!- meshcollider [meshcollid@meshcollider.jujube.rpblc.net] has joined #secp256k1
06:39 -!- preimage [~halosghos@user/halosghost] has joined #secp256k1
08:38 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has quit [Remote host closed the connection]
08:39 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has joined #secp256k1
10:38 -!- johnzwen- [~johnzweng@zweng.at] has quit [Server closed connection]
10:39 -!- johnzweng [~johnzweng@zweng.at] has joined #secp256k1
13:19 -!- fjahr [sid374480@id-374480.uxbridge.irccloud.com] has quit [Server closed connection]
13:20 -!- fjahr [sid374480@id-374480.uxbridge.irccloud.com] has joined #secp256k1
17:21 -!- Apocalyptic [~Apocalypt@user/apocalyptic] has quit [Server closed connection]
17:21 -!- Apocalyptic [~Apocalypt@user/apocalyptic] has joined #secp256k1
18:02 -!- preimage [~halosghos@user/halosghost] has quit [Quit: WeeChat 3.8]
19:58 -!- FelixWeis_ [sid154231@id-154231.hampstead.irccloud.com] has quit [Server closed connection]
19:59 -!- FelixWeis_ [sid154231@id-154231.hampstead.irccloud.com] has joined #secp256k1
21:08 -!- Netsplit *.net <-> *.split quits: ghost43
--- Log closed Fri Jun 30 00:00:45 2023