--- Log opened Thu May 14 00:00:20 2020
00:13 -!- luke-jr [~luke-jr@unaffiliated/luke-jr] has quit [Ping timeout: 272 seconds]
00:30 -!- luke-jr [~luke-jr@unaffiliated/luke-jr] has joined #secp256k1
01:00 -!- Cory [~Cory@071-013-023-252.res.spectrum.com] has quit [Changing host]
01:00 -!- Cory [~Cory@unaffiliated/cory] has joined #secp256k1
04:52 -!- luke-jr [~luke-jr@unaffiliated/luke-jr] has quit [Ping timeout: 256 seconds]
04:58 -!- andytoshi [~apoelstra@unaffiliated/andytoshi] has quit [Ping timeout: 258 seconds]
05:08 -!- luke-jr [~luke-jr@unaffiliated/luke-jr] has joined #secp256k1
05:13 -!- luke-jr [~luke-jr@unaffiliated/luke-jr] has quit [Ping timeout: 256 seconds]
05:15 -!- luke-jr [~luke-jr@unaffiliated/luke-jr] has joined #secp256k1
05:20 -!- andytoshi [~apoelstra@wpsoftware.net] has joined #secp256k1
05:20 -!- andytoshi [~apoelstra@wpsoftware.net] has quit [Changing host]
05:20 -!- andytoshi [~apoelstra@unaffiliated/andytoshi] has joined #secp256k1
07:31 -!- jonatack [~jon@2a01:e0a:53c:a200:bb54:3be5:c3d0:9ce5] has quit [Quit: jonatack]
09:42 -!- jonatack [~jon@2a01:e0a:53c:a200:bb54:3be5:c3d0:9ce5] has joined #secp256k1
10:42 -!- gzhao408 [49fcfb03@c-73-252-251-3.hsd1.ca.comcast.net] has joined #secp256k1
10:53 -!- gzhao408 [49fcfb03@c-73-252-251-3.hsd1.ca.comcast.net] has quit [Remote host closed the connection]
12:32 -!- dongcarl [~dongcarl@unaffiliated/dongcarl] has quit [Ping timeout: 272 seconds]
14:10 < real_or_random> elichai2: hm, interesting. I guess it's in theory better than valgrind because it explores all branches? AFAIU, it's sound
14:10 < real_or_random> but I may be wrong
14:11 < real_or_random> I mean... I meant it covers all execution traces, not all "branches"
16:32 -!- gzhao408 [49fcfb03@c-73-252-251-3.hsd1.ca.comcast.net] has joined #secp256k1
18:23 -!- gzhao408 [49fcfb03@c-73-252-251-3.hsd1.ca.comcast.net] has quit [Remote host closed the connection]
22:51 -!- jonatack [~jon@2a01:e0a:53c:a200:bb54:3be5:c3d0:9ce5] has quit [Quit: jonatack]
23:01 -!- jonatack [~jon@2a01:e0a:53c:a200:bb54:3be5:c3d0:9ce5] has joined #secp256k1
--- Log closed Fri May 15 00:00:21 2020