| Fri, 14 Feb 2014 15:11:22 -0500 |
Adam Chlipala |
Fix a subtle renaming problem in elaborating functor applications |
| Sun, 09 Feb 2014 19:29:50 -0500 |
Adam Chlipala |
Merge |
| Sun, 09 Feb 2014 19:29:36 -0500 |
Adam Chlipala |
neverInline |
| Fri, 07 Feb 2014 18:34:17 -0500 |
Adam Chlipala |
Turn off GCC's fancy %n checking, because the performance cost is too high |
| Wed, 29 Jan 2014 18:19:25 -0500 |
Adam Chlipala |
Add another simple case for record unification between alpha-equivalent constructors |
| Sun, 19 Jan 2014 14:31:55 -0500 |
Adam Chlipala |
Make that purity analysis a bit more lax again |
| Sun, 19 Jan 2014 13:51:26 -0500 |
Adam Chlipala |
Fix a soundness bug in purity analysis (mono_reduce) |
| Sun, 19 Jan 2014 13:08:01 -0500 |
Adam Chlipala |
New compiler option: -stop |
| Sat, 18 Jan 2014 08:34:19 -0500 |
Adam Chlipala |
Manual: remove database version numbers from Debian package names, where possible |
| Wed, 15 Jan 2014 15:46:46 -0500 |
Adam Chlipala |
Stop quoting Postgres identifiers in 'noMangleSql' mode |
| Wed, 15 Jan 2014 14:54:26 -0500 |
Adam Chlipala |
Postgres: look up table names case-sensitively in catalog |
| Tue, 14 Jan 2014 19:22:53 -0500 |
Adam Chlipala |
MySQL: set character set when opening a new connection |
| Thu, 09 Jan 2014 17:27:24 -0500 |
Adam Chlipala |
Add 'html5' .urp directive |
| 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 |
| Wed, 01 Jan 2014 10:51:47 -0500 |
Adam Chlipala |
Add some URL-related benignEffectful functions |
| Tue, 31 Dec 2013 11:10:19 -0500 |
Adam Chlipala |
Return to working version mode |
| Tue, 31 Dec 2013 10:48:50 -0500 |
Adam Chlipala |
New release |
| Tue, 31 Dec 2013 09:34:41 -0500 |
Adam Chlipala |
Do a bit of extra userspace copying to send HTTP response with a single system call |
| Mon, 30 Dec 2013 11:01:42 -0500 |
Adam Chlipala |
HTTP: continue after accept() failure |
| Sun, 29 Dec 2013 13:18:50 -0500 |
Adam Chlipala |
Compile-time error for periodic tasks in nonpersistent protocols |
| Sun, 29 Dec 2013 10:29:26 -0500 |
Adam Chlipala |
Avoid some spurious error messages about link/form incompatibility; change the text of that error message to include RPC handlers |
| Sat, 28 Dec 2013 06:30:21 -0500 |
Adam Chlipala |
How embarrassing; didn't try compiling before committing |
| Sat, 28 Dec 2013 06:27:08 -0500 |
Adam Chlipala |
Make HTTP keepalive switch between available connections to improve throughput |
| Fri, 27 Dec 2013 12:30:44 -0500 |
Adam Chlipala |
Change where a transaction is marked finished, to avoid forgetting to rollback a failed transaction |
| Fri, 27 Dec 2013 12:10:03 -0500 |
Adam Chlipala |
Raise exception when recv()ing from someone else's channel; improve setting of client ID in RPCs |
| Wed, 25 Dec 2013 13:11:43 -0500 |
Adam Chlipala |
Tweaking handling of database transactions |
| Wed, 25 Dec 2013 12:02:42 -0500 |
Adam Chlipala |
Add a bit of manual clarification about channels and clients |
| Wed, 25 Dec 2013 11:43:41 -0500 |
Adam Chlipala |
No need to ROLLBACK after a failed COMMIT |
