--- Day changed Mon Feb 08 2016
01:50 -!- GAit [~GAit@2-230-161-158.ip202.fastwebnet.it] has joined #secp256k1
01:58 -!- GAit [~GAit@2-230-161-158.ip202.fastwebnet.it] has quit [Quit: Leaving.]
02:16 -!- btcdrak [uid115429@gateway/web/irccloud.com/x-jxtgnfhsdegmglez] has quit [Quit: Connection closed for inactivity]
02:49 -!- btcdrak [uid115429@gateway/web/irccloud.com/x-zkhqjzgotldxfdsm] has joined #secp256k1
02:55 -!- GAit [~GAit@2-230-161-158.ip202.fastwebnet.it] has joined #secp256k1
03:59 < nickler> gmaxwell: seems like klee found 1 new branch in secp256k1_scalar_sqr_512
04:00 < nickler> 136.243.102.148:8123/sqr/sqr/scalar_4x64_impl.h.gcov.html vs https://people.xiph.org/~greg/secp256k1_coverage_2015_10_31/tt2/secp256k1/src/scalar_4x64_impl.h.gcov.html
04:00 < nickler> line 865
05:00 -!- GAit [~GAit@2-230-161-158.ip202.fastwebnet.it] has quit [Quit: Leaving.]
05:01 -!- GAit [~GAit@2-230-161-158.ip202.fastwebnet.it] has joined #secp256k1
05:44 -!- jtimon [~quassel@126.31.134.37.dynamic.jazztel.es] has joined #secp256k1
07:37 -!- fkhan [weechat@gateway/vpn/mullvad/x-tbjdntsyisiyoteo] has joined #secp256k1
07:37 -!- fkhan [weechat@gateway/vpn/mullvad/x-tbjdntsyisiyoteo] has quit [Changing host]
07:37 -!- fkhan [weechat@unaffiliated/loteriety] has joined #secp256k1
07:37 -!- fkhan [weechat@unaffiliated/loteriety] has quit [Changing host]
07:37 -!- fkhan [weechat@gateway/vpn/mullvad/x-tbjdntsyisiyoteo] has joined #secp256k1
08:56 -!- btcdrak [uid115429@gateway/web/irccloud.com/x-zkhqjzgotldxfdsm] has quit [Quit: Connection closed for inactivity]
10:09 -!- GAit [~GAit@2-230-161-158.ip202.fastwebnet.it] has quit [Read error: Connection reset by peer]
10:09 -!- GAit [~GAit@2-230-161-158.ip202.fastwebnet.it] has joined #secp256k1
10:29 -!- arubi_ is now known as arubi
12:19 -!- cfields [~quassel@unaffiliated/cfields] has quit [Ping timeout: 252 seconds]
12:19 -!- cfields [~quassel@unaffiliated/cfields] has joined #secp256k1
12:21 -!- GAit [~GAit@2-230-161-158.ip202.fastwebnet.it] has quit [Quit: Leaving.]
12:24 -!- GAit [~GAit@2-230-161-158.ip202.fastwebnet.it] has joined #secp256k1
12:34 -!- GAit [~GAit@2-230-161-158.ip202.fastwebnet.it] has quit [Quit: Leaving.]
12:35 -!- GAit [~GAit@2-230-161-158.ip202.fastwebnet.it] has joined #secp256k1
12:57 -!- btcdrak [uid115429@gateway/web/irccloud.com/x-xlmhricsrkukefwb] has joined #secp256k1
16:06 -!- GAit [~GAit@2-230-161-158.ip202.fastwebnet.it] has quit [Quit: Leaving.]
19:04 -!- evoskuil [~evoskuil@c-73-225-134-208.hsd1.wa.comcast.net] has quit [Ping timeout: 240 seconds]
19:05 -!- evoskuil [~evoskuil@c-73-225-134-208.hsd1.wa.comcast.net] has joined #secp256k1
19:15 -!- midnightmagic [~midnightm@unaffiliated/midnightmagic] has quit [Ping timeout: 240 seconds]
19:20 -!- midnightmagic [~midnightm@unaffiliated/midnightmagic] has joined #secp256k1
20:10 -!- jtimon [~quassel@126.31.134.37.dynamic.jazztel.es] has quit [Ping timeout: 250 seconds]