| Sat, 31 Oct 2015 19:21:05 -0400 |
Adam Chlipala |
Remove spurious failure about reopening database connection |
| Sat, 17 Oct 2015 11:31:22 -0400 |
Adam Chlipala |
Database-server reconnection for MySQL |
| Sat, 17 Oct 2015 11:08:12 -0400 |
Adam Chlipala |
Switching to a more dynamic method of handling database reconnection, restarting transactions |
| Sat, 17 Oct 2015 10:49:25 -0400 |
Adam Chlipala |
Start of support for surviving database-server restarts, for Postgres |
| Thu, 06 Aug 2015 10:15:53 -0400 |
Benjamin Barenblat |
Make OpenSSL usage thread-safe (closes #206) |
| Sun, 10 May 2015 12:13:12 -0400 |
Adam Chlipala |
Make naughtyDebug use protocol-specific logging |
| Thu, 22 Jan 2015 09:46:20 -0500 |
Adam Chlipala |
Fix silly mistake from last commit; also switch away from rand() in openssl.c |
| Mon, 12 Jan 2015 12:02:54 -0500 |
Adam Chlipala |
Switch to using OpenSSL PRNG for the one remaining rand() |
