| 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) |
