log

age author description
Mon, 12 Jan 2015 12:02:54 -0500 Adam Chlipala Switch to using OpenSSL PRNG for the one remaining rand()
Wed, 07 Jan 2015 09:25:13 -0500 Adam Chlipala Fix arguments to PQprepare()
Sat, 03 Jan 2015 10:28:36 -0500 Adam Chlipala Return to working version mode