--- Day changed Sat Nov 07 2015
03:12 -!- GAit [~GAit@2-230-161-158.ip202.fastwebnet.it] has joined #secp256k1
03:15 -!- GAit [~GAit@2-230-161-158.ip202.fastwebnet.it] has quit [Read error: Connection reset by peer]
03:16 -!- GAit [~GAit@2-230-161-158.ip202.fastwebnet.it] has joined #secp256k1
03:16 -!- GAit [~GAit@2-230-161-158.ip202.fastwebnet.it] has quit [Client Quit]
03:16 -!- GAit [~GAit@2-230-161-158.ip202.fastwebnet.it] has joined #secp256k1
03:24 -!- GAit [~GAit@2-230-161-158.ip202.fastwebnet.it] has quit [Quit: Leaving.]
03:26 -!- GAit [~GAit@2-230-161-158.ip202.fastwebnet.it] has joined #secp256k1
03:36 -!- GAit [~GAit@2-230-161-158.ip202.fastwebnet.it] has quit [Quit: Leaving.]
04:46 -!- jtimon [~quassel@74.29.134.37.dynamic.jazztel.es] has joined #secp256k1
05:06 -!- GAit [~GAit@2-230-161-158.ip202.fastwebnet.it] has joined #secp256k1
05:24 -!- GAit [~GAit@2-230-161-158.ip202.fastwebnet.it] has quit [Quit: Leaving.]
05:44 -!- GAit [~GAit@2-225-115-92.ip175.fastwebnet.it] has joined #secp256k1
06:05 -!- GAit [~GAit@2-225-115-92.ip175.fastwebnet.it] has quit [Quit: Leaving.]
09:23 <@andytoshi> i mentioned last night to a couple people that i had gotten the modinv/jacobi stuff up to 100% test coverage -- i was wrong, i have one branch left
09:23 <@andytoshi> last night i thought i had a test vector that hit it, but it doesn't, and actually now i don't see how to find one :)
09:50 <@andytoshi> ah :) i was able to prove that this branch is never hit
12:44 -!- evoskuil [~evoskuil@c-73-225-134-208.hsd1.wa.comcast.net] has quit [Quit:  HydraIRC -> http://www.hydrairc.com <- Chicks dig it]
14:05 -!- evoskuil [~evoskuil@c-73-225-134-208.hsd1.wa.comcast.net] has joined #secp256k1
18:42 -!- imposter [uid57046@gateway/web/irccloud.com/x-lhzxawtvvgenlcyl] has joined #secp256k1
19:05 -!- jtimon [~quassel@74.29.134.37.dynamic.jazztel.es] has quit [Ping timeout: 255 seconds]
21:25 -!- imposter [uid57046@gateway/web/irccloud.com/x-lhzxawtvvgenlcyl] has quit [Quit: Connection closed for inactivity]
23:53 -!- jtimon [~quassel@74.29.134.37.dynamic.jazztel.es] has joined #secp256k1