| Sun, 17 Aug 2014 13:07:56 -0400 |
Adam Chlipala |
New phase: Dbmodecheck |
| Fri, 15 Aug 2014 18:25:56 -0400 |
Adam Chlipala |
Don't use uw_malloc() or equivalent in generating error messages while parsing HTTP request |
| Thu, 31 Jul 2014 09:56:41 -0400 |
Adam Chlipala |
New .urp directive: file |
| Sun, 29 Jun 2014 08:31:21 -0400 |
Adam Chlipala |
Fix uw_Basis_lt_time |
| Fri, 27 Jun 2014 14:39:31 -0400 |
Adam Chlipala |
Add locking to enforce atomicity of message sends from one transaction |
| Sun, 15 Jun 2014 21:13:12 +0000 |
Sergey Mironov |
Call try_rollback before resetting the context |
| Thu, 05 Jun 2014 20:36:12 +0000 |
Sergey Mironov |
Allow '+' char in blessMime |
| Wed, 28 May 2014 11:53:19 -0400 |
Adam Chlipala |
Align to sizeof(void *) instead of fixed 4 |
