| Sat, 03 Jan 2015 09:56:57 -0500 |
Adam Chlipala |
New release |
| Tue, 30 Dec 2014 17:02:31 -0500 |
Adam Chlipala |
Fix a bug in subsignature checking for submodules |
| Fri, 26 Dec 2014 12:30:22 -0500 |
Adam Chlipala |
Add to .hgignore |
| Thu, 25 Dec 2014 18:32:27 -0500 |
Adam Chlipala |
Client-side conversion of string to bool |
| Wed, 24 Dec 2014 12:35:20 -0500 |
Adam Chlipala |
Broaden handling of wildcard rewrites |
| Tue, 23 Dec 2014 14:41:23 -0500 |
Adam Chlipala |
List.mem |
| Tue, 23 Dec 2014 13:42:20 -0500 |
Adam Chlipala |
Improve wildify heuristic for finding record type-class witnesses |
| Tue, 23 Dec 2014 12:24:38 -0500 |
Adam Chlipala |
New antiquote syntax for ORDER BY |
| Tue, 23 Dec 2014 11:23:27 -0500 |
Adam Chlipala |
Another try at a proper fix for constraint matching in subsignature checking |
| Sun, 21 Dec 2014 13:20:11 -0500 |
Adam Chlipala |
Compatibility fix in header file |
| Thu, 18 Dec 2014 07:48:37 -0500 |
Adam Chlipala |
Fix XML syntax for closing <input> tags |
| Sat, 06 Dec 2014 15:45:41 -0500 |
Adam Chlipala |
Return to working version mode |
| Sat, 06 Dec 2014 15:26:56 -0500 |
Adam Chlipala |
New release |
| Fri, 05 Dec 2014 19:41:27 -0500 |
Adam Chlipala |
Move code from last changeset, to improve performance |
| Thu, 04 Dec 2014 20:22:39 -0500 |
Adam Chlipala |
In checking signature subsumption, be sure to try constraints last. |
| Thu, 04 Dec 2014 19:54:04 -0500 |
Adam Chlipala |
Optimizing writes of single characters |
| Thu, 04 Dec 2014 02:47:24 -0500 |
Adam Chlipala |
More aggressive inlining of 'let' with record literals, plus some changes to Monoization of queries, to make inlining more common |
| Wed, 03 Dec 2014 21:21:37 -0500 |
Adam Chlipala |
MonoOpt: remove concatenation with empty string |
| Wed, 03 Dec 2014 21:06:15 -0500 |
Adam Chlipala |
Some more optimization of string expressions showing up in JSON generation (Meta library) |
| Tue, 25 Nov 2014 08:21:09 -0500 |
Adam Chlipala |
Tiny lexer change for SML/NJ compatibility (suggested by Ziv Scully) |
| Sun, 16 Nov 2014 15:20:13 -0500 |
Adam Chlipala |
More HTML5 AJAX widgets |
| Sun, 16 Nov 2014 15:03:29 -0500 |
Adam Chlipala |
Textual HTML5 AJAX widgets |
| Sun, 16 Nov 2014 14:39:38 -0500 |
Adam Chlipala |
Some more HTML5 input types |
| Sun, 16 Nov 2014 14:16:11 -0500 |
Adam Chlipala |
More simple textual HTML5 input types |
| Sun, 16 Nov 2014 14:06:24 -0500 |
Adam Chlipala |
Remove 'value' attribute of <checkbox> |
| Sun, 16 Nov 2014 14:02:17 -0500 |
Adam Chlipala |
Make 'required' and 'autofocus' attributes Boolean; add a syntax extension for parsing their usual HTML syntax |
| Sun, 12 Oct 2014 10:03:36 +0000 |
Sergey Mironov |
HTML5 input attributes: placeholder, required, autofocus; email input type (without cformTag equivalent) |
| Sun, 16 Nov 2014 13:39:18 -0500 |
Adam Chlipala |
uw_remoteSock() |
| Sat, 20 Sep 2014 13:55:25 -0400 |
Adam Chlipala |
Default to parsing time strings with the application-configured format |
| Tue, 02 Sep 2014 17:42:10 +0000 |
Sergey Mironov |
Introduce recv timeout controlled by '-T' option in http.c |
| Tue, 02 Sep 2014 17:37:22 +0000 |
Sergey Mironov |
Check realloc's return code to prevent segfault on out of memory condition (Part 3) |
| Tue, 02 Sep 2014 17:36:14 +0000 |
Sergey Mironov |
Replace common "if(!quiet) printf(...)" pattern with a macro |
| Sun, 24 Aug 2014 11:56:41 +0400 |
Sergey Mironov |
Check realloc's return code to prevent segfault on out of memory condition (Part 2) |
| Thu, 04 Sep 2014 08:40:14 -0400 |
Adam Chlipala |
In computing command lines, put filenames inside of quotes, to support spaces and other funky characters nicely |
| Sat, 30 Aug 2014 08:48:41 -0400 |
Adam Chlipala |
Return to working version mode |
| Sat, 30 Aug 2014 08:28:59 -0400 |
Adam Chlipala |
New release |
| Sun, 24 Aug 2014 11:43:49 -0400 |
Adam Chlipala |
Extend ScriptCheck to take RPCs into account |
| Sat, 23 Aug 2014 11:59:34 +0000 |
Sergey Mironov |
Check realloc's return code to prevent segfault on out of memoty condition |
| Mon, 07 Jul 2014 10:05:04 +0400 |
Sergey Mironov |
Add 'role' data attribute. |
| Tue, 19 Aug 2014 11:23:26 -0400 |
Adam Chlipala |
Return to working version mode |
| Tue, 19 Aug 2014 11:17:39 -0400 |
Adam Chlipala |
<cselect> and <coption> type fixes (grandfathered into release) |
| Tue, 19 Aug 2014 11:08:25 -0400 |
Adam Chlipala |
New release |
| Sun, 17 Aug 2014 15:56:43 -0400 |
Adam Chlipala |
A new test for <button> |
| Sun, 17 Aug 2014 18:28:37 +0000 |
Sergey Mironov |
Allow Body tags inside cformTags |
| Sun, 17 Aug 2014 13:07:56 -0400 |
Adam Chlipala |
New phase: Dbmodecheck |
| Sun, 10 Aug 2014 13:40:53 -0400 |
Ziv Scully |
Adds AJAX-oriented widget cpassword. |
| 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 |
| Fri, 15 Aug 2014 07:11:31 +0000 |
Sergey Mironov |
Add tests/dbupload2.* files |
| Thu, 07 Aug 2014 09:28:41 -0400 |
Adam Chlipala |
Return to working version mode |
| Thu, 07 Aug 2014 09:17:52 -0400 |
Adam Chlipala |
New release |
| Wed, 06 Aug 2014 09:50:02 -0400 |
Adam Chlipala |
MonoReduce bug involving 'error' |
| Fri, 01 Aug 2014 16:11:36 -0400 |
Adam Chlipala |
When unifying constructor-level unification variables, also unify their kinds |
| Fri, 01 Aug 2014 15:44:17 -0400 |
Adam Chlipala |
Differentiate between HTML and normal string literals |
| Fri, 01 Aug 2014 11:43:44 -0400 |
Adam Chlipala |
'aria-*' attributes |
| Thu, 31 Jul 2014 09:56:41 -0400 |
Adam Chlipala |
New .urp directive: file |
| Mon, 28 Jul 2014 20:18:43 -0400 |
Samuel Dukhovni |
Added javascript for Basis.strsindex |
