--- Day changed Sun Jan 03 2016 04:42 -!- waxwing [~waxwing@62.205.214.125] has quit [Read error: Connection reset by peer] 04:45 -!- waxwing [~waxwing@62.205.214.125] has joined #secp256k1 12:00 -!- jtimon [~quassel@103.red-80-26-235.adsl.dynamic.ccgg.telefonica.net] has joined #secp256k1 12:07 -!- jtimon [~quassel@103.red-80-26-235.adsl.dynamic.ccgg.telefonica.net] has quit [Remote host closed the connection] 20:05 < gmaxwell> http://people.cs.kuleuven.be/~bart.jacobs/verifast/ is another program verifier for C that I hadn't seen before.