| 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 |
| Wed, 07 Jan 2015 09:25:13 -0500 |
Adam Chlipala |
Fix arguments to PQprepare() |
| Mon, 17 Feb 2014 14:34:48 -0500 |
Adam Chlipala |
MySQL does case-sensitive catalog queries |
| Tue, 14 Jan 2014 19:22:53 -0500 |
Adam Chlipala |
MySQL: set character set when opening a new connection |
| Tue, 07 Jan 2014 08:36:18 -0500 |
Adam Chlipala |
MySQL: Combine transaction setup commands into one mysql_query() |
| Sun, 05 Jan 2014 20:20:09 -0500 |
Adam Chlipala |
MySQL: catch deadlocks during queries |
| Sat, 04 Jan 2014 19:02:14 -0500 |
Adam Chlipala |
noMangleSql .urp directive |
| Thu, 12 Dec 2013 17:42:48 -0500 |
Adam Chlipala |
Start SQL transactions as read-only when possible, based on conservative program analysis |
| Tue, 03 Dec 2013 16:54:04 -0500 |
Adam Chlipala |
Increase precision for rendering floats to SQL |
| Thu, 13 Dec 2012 17:51:34 -0500 |
Adam Chlipala |
Fix determination of MySQL timestamp hour fields (may still be wrong once DST bit flips) |
