--- Day changed Tue Jan 05 2016 00:34 -!- GAit [~GAit@2-230-161-158.ip202.fastwebnet.it] has quit [Quit: Leaving.] 01:41 -!- jtimon [~quassel@103.red-80-26-235.adsl.dynamic.ccgg.telefonica.net] has joined #secp256k1 02:42 -!- nickler [~nickler@185.12.46.130] has quit [Ping timeout: 265 seconds] 02:42 -!- nickler [~nickler@185.12.46.130] has joined #secp256k1 09:06 < gmaxwell> nickler: it should be possible; but the deeper ones would take some amount of fiddling. 09:07 < gmaxwell> I generally prefer to try to let randomized searches find things, wherever possible. 09:08 < gmaxwell> or other automation. consider, if we get klee to do it, then thats repeatable and we can use the same technique later.. where manually back computing the input takes per instance effort. 09:15 -!- GAit [~GAit@2-228-102-98.ip191.fastwebnet.it] has joined #secp256k1 09:19 -!- GAit [~GAit@2-228-102-98.ip191.fastwebnet.it] has quit [Ping timeout: 245 seconds] 11:10 -!- GAit [~GAit@2-230-161-158.ip202.fastwebnet.it] has joined #secp256k1 11:18 -!- jtimon [~quassel@103.red-80-26-235.adsl.dynamic.ccgg.telefonica.net] has quit [Ping timeout: 264 seconds] 15:41 -!- GAit [~GAit@2-230-161-158.ip202.fastwebnet.it] has quit [Quit: Leaving.]