Sun, 03 May 2015 09:40:13 -0400 |
Adam Chlipala |
Set dummy header lookup function in static.c |
Fri, 24 Apr 2015 10:01:56 -0400 |
Adam Chlipala |
Ignore manual.out |
Fri, 24 Apr 2015 07:51:47 -0400 |
Julian Squires |
Allow file directives to contain slashes |
Fri, 24 Apr 2015 07:43:22 -0400 |
Julian Squires |
Use hyperref in manual |
Thu, 23 Apr 2015 16:37:15 -0400 |
Istvan Chung |
Fix missing SQL name-mangling in table initialization |
Sun, 12 Apr 2015 14:28:27 -0400 |
Adam Chlipala |
Return to working version mode |
Sun, 12 Apr 2015 14:19:02 -0400 |
Adam Chlipala |
New release |
Tue, 07 Apr 2015 14:18:53 -0400 |
Ziv Scully |
New mouse events oncontextmenu, onmouseenter, and onmouseleave. |
Sun, 08 Mar 2015 11:12:28 -0400 |
Adam Chlipala |
Make flattening of reactive HTML trees iterative instead of recursive, to avoid stack overflows |
Sun, 08 Mar 2015 11:05:54 -0400 |
Adam Chlipala |
Fix dynClass JavaScript reversion |
Sun, 08 Mar 2015 10:55:05 -0400 |
Adam Chlipala |
Fix interpretation of 'file' argument paths |
Fri, 06 Mar 2015 09:46:21 -0500 |
Adam Chlipala |
Change MonoReduce to do fixed-pointing, since it sometimes enables more optimizations for itself (e.g., yanking lambdas out of [case]s) |
Thu, 05 Mar 2015 15:05:53 -0500 |
Adam Chlipala |
Document hexadecimal literals |
Thu, 05 Mar 2015 15:03:04 -0500 |
Adam Chlipala |
Hexadecimal integer literals, contributed by Gabriel Riba |
Thu, 05 Mar 2015 14:58:34 -0500 |
Adam Chlipala |
Document new infix operators |
Thu, 05 Mar 2015 14:50:31 -0500 |
Adam Chlipala |
Some new infix operators, contributed by Gabriel Riba |
Tue, 03 Mar 2015 15:55:00 -0500 |
Adam Chlipala |
Support 'dynClass' and 'dynStyle' for <body> |
Mon, 16 Feb 2015 14:52:56 -0500 |
Adam Chlipala |
Evaluate minus and times in MonoOpt |
Sun, 26 Oct 2014 14:07:07 +0000 |
Sergey Mironov |
Add 'download' attribute to <a/>, part of HTML5 |
Sat, 14 Feb 2015 08:27:50 -0500 |
Adam Chlipala |
Return to working version mode |
Sat, 14 Feb 2015 08:17:36 -0500 |
Adam Chlipala |
New release |
Thu, 12 Feb 2015 15:09:26 -0500 |
Adam Chlipala |
The 2nd half of proper CSRF protection related to environment variables |
Wed, 11 Feb 2015 13:12:59 -0500 |
Adam Chlipala |
An Emacs urweb-mode optimization contributed by John Wiegley |
Tue, 10 Feb 2015 09:58:35 -0500 |
Adam Chlipala |
Merge |
Tue, 10 Feb 2015 09:58:20 -0500 |
Adam Chlipala |
Fix resolution of 'file' paths |
Thu, 05 Feb 2015 11:09:25 -0500 |
Adam Chlipala |
Treat getHeader and getenv as vectors for reading request data supplied implicitly by browsers |
Sun, 01 Feb 2015 15:50:54 -0500 |
Adam Chlipala |
Don't allow singleton <button> tags |
Sun, 01 Feb 2015 12:29:14 -0500 |
Adam Chlipala |
A new MonoReduce optimization for lifting 'let' out of field projection; JavaScript compilation for exponentiation |
Wed, 28 Jan 2015 08:47:04 -0500 |
Adam Chlipala |
Improve wildification for records of type-class witnesses |
Thu, 22 Jan 2015 11:26:24 -0500 |
Adam Chlipala |
Fix case issue in name mangling for MySQL |
Thu, 22 Jan 2015 11:00:17 -0500 |
Adam Chlipala |
Reference manual: fix rendering of field removal operators |
Thu, 22 Jan 2015 09:55:05 -0500 |
Adam Chlipala |
Fix a potential memory bug in fastcgi.c |
Thu, 22 Jan 2015 09:46:20 -0500 |
Adam Chlipala |
Fix silly mistake from last commit; also switch away from rand() in openssl.c |
Mon, 12 Jan 2015 12:02:54 -0500 |
Adam Chlipala |
Switch to using OpenSSL PRNG for the one remaining rand() |
Wed, 07 Jan 2015 09:25:13 -0500 |
Adam Chlipala |
Fix arguments to PQprepare() |
Sat, 03 Jan 2015 10:28:36 -0500 |
Adam Chlipala |
Return to working version mode |
Sat, 03 Jan 2015 10:21:26 -0500 |
Adam Chlipala |
Fixing one small issue with changes to signature matching (grandfathered into release) |
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 |
Tue, 29 Jul 2014 14:46:06 -0400 |
Adam Chlipala |
Retweak the last tweak to allow type inference to succeed in a strict superset of the places where it used to succeed |
Tue, 29 Jul 2014 14:38:50 -0400 |
Adam Chlipala |
Small tweak to ordering of unification rules, to support better record matching |
Sat, 26 Jul 2014 09:39:45 -0400 |
Adam Chlipala |
Manual: Heuristic compilation warning |
Sat, 26 Jul 2014 09:26:11 -0400 |
Adam Chlipala |
Another MonoReduce fix |
Mon, 21 Jul 2014 08:11:03 -0400 |
Adam Chlipala |
Fix index-matching bug in MonoReduce effect calculation |
Wed, 16 Jul 2014 04:06:11 -0400 |
Adam Chlipala |
Default 'jsFunc' for less-safe FFI |
Sun, 13 Jul 2014 06:14:23 -0400 |
Adam Chlipala |
Fix off-by-one error in less-safe FFI wrapper generation |
Fri, 04 Jul 2014 09:41:32 -0400 |
Adam Chlipala |
Return to working version mode |
Fri, 04 Jul 2014 09:30:30 -0400 |
Adam Chlipala |
New release |
Sun, 29 Jun 2014 08:33:47 -0400 |
Adam Chlipala |
Top.max and Top.min |
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 |
Wed, 25 Jun 2014 14:19:58 -0400 |
Adam Chlipala |
Finish example |
Wed, 25 Jun 2014 14:04:13 -0400 |
Adam Chlipala |
New syntactic shorthand for antiquoting subqueries |
Sun, 15 Jun 2014 21:13:12 +0000 |
Sergey Mironov |
Call try_rollback before resetting the context |
Sun, 15 Jun 2014 10:48:53 -0400 |
Adam Chlipala |
'sql_injectable_prim' instance for 'url' |
Sun, 15 Jun 2014 09:27:41 -0400 |
Adam Chlipala |
Return to working version mode |
Sun, 15 Jun 2014 09:18:01 -0400 |
Adam Chlipala |
New release |
Fri, 13 Jun 2014 10:57:02 -0400 |
Adam Chlipala |
Treat <button> 'value' attribute as content of tag |
Wed, 11 Jun 2014 14:22:47 -0400 |
Adam Chlipala |
let..where..end |
Thu, 05 Jun 2014 20:36:12 +0000 |
Sergey Mironov |
Allow '+' char in blessMime |
Wed, 11 Jun 2014 13:56:00 -0400 |
Adam Chlipala |
Fix a bug in demos with 'rewrite all' |
Wed, 11 Jun 2014 08:31:14 -0400 |
Adam Chlipala |
Change String to avoid Char dependency |
Tue, 10 Jun 2014 10:58:22 -0400 |
Adam Chlipala |
String.trim; add OnChange to more tags |
Mon, 09 Jun 2014 18:26:03 -0400 |
Adam Chlipala |
Remove special treatment of <button> |
Sat, 31 May 2014 16:57:52 -0400 |
Adam Chlipala |
Return to working version mode |
Sat, 31 May 2014 16:47:42 -0400 |
Adam Chlipala |
New release |
Wed, 28 May 2014 11:53:19 -0400 |
Adam Chlipala |
Align to sizeof(void *) instead of fixed 4 |
Sun, 25 May 2014 09:21:56 -0400 |
Adam Chlipala |
Warn about MLton memory usage |
Sun, 18 May 2014 19:09:09 -0400 |
Adam Chlipala |
Fix datetime construction (contributed by Patrick Hurst) |
Sat, 10 May 2014 20:38:13 -0400 |
David Snider |
Added HTML5 Semantic Tags |
Sun, 18 May 2014 18:58:50 -0400 |
Adam Chlipala |
Change context-local memory allocation to return word-aligned addresses (based on patch by Evan Danaher) |
Sun, 04 May 2014 12:33:44 -0400 |
Adam Chlipala |
Fix dynClass for non-<body> contexts |
Sat, 03 May 2014 07:59:45 -0400 |
Adam Chlipala |
A .urs comment about [queryL*] |
Fri, 02 May 2014 19:19:09 -0400 |
Adam Chlipala |
New lessSafeFfi |