| 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 |
| Fri, 02 May 2014 17:16:02 -0400 |
Adam Chlipala |
Monadic bind supports patterns |
| Fri, 02 May 2014 15:32:10 -0400 |
Adam Chlipala |
HTML5 data-* attributes |
| Wed, 30 Apr 2014 13:05:54 -0400 |
Adam Chlipala |
<thead>, <tbody>, <tfoot> |
| Tue, 29 Apr 2014 16:47:45 -0400 |
Adam Chlipala |
Allow parens grouping joins in FROM clauses |
| Sat, 26 Apr 2014 11:54:44 -0400 |
Adam Chlipala |
Return to working version mode |
| Sat, 26 Apr 2014 11:15:21 -0400 |
Adam Chlipala |
Fix a bug in GROUP BY generation [keeping within today's release] |
| Sat, 26 Apr 2014 09:42:35 -0400 |
Adam Chlipala |
New release |
| Mon, 21 Apr 2014 12:09:58 -0400 |
Adam Chlipala |
Change <active> to avoid generating an empty <span> for empty content |
| Thu, 17 Apr 2014 17:41:24 -0400 |
Adam Chlipala |
uw_register_transactional() can return error codes |
| Tue, 15 Apr 2014 19:12:49 -0400 |
Adam Chlipala |
Tweaking uw_commit() logic, partly to fix a resource clean-up bug on SQL serialization failures |
| Mon, 24 Feb 2014 09:10:31 +0000 |
Sergey Mironov |
Add <pre> tag support |
| Wed, 26 Feb 2014 09:43:47 +0000 |
Sergey Mironov |
Protect uw_Basis_new_client_source from invalid ctx->id |
| Wed, 26 Feb 2014 08:21:52 +0000 |
Sergey Mironov |
Define uw_loggers structure, allow FFI code to access it |
| Sun, 13 Apr 2014 21:36:44 -0400 |
Adam Chlipala |
Update manual inaccuracies about client-side functions |
| Mon, 17 Mar 2014 16:52:10 -0400 |
Adam Chlipala |
-explainEmbed |
| Fri, 07 Mar 2014 11:50:45 -0500 |
Adam Chlipala |
getenv calls UNIX getenv() when no special alternative is set |
| Tue, 04 Mar 2014 08:46:33 -0500 |
Adam Chlipala |
Change Basis.getenv to return None outside the context of a web request |
| Tue, 25 Feb 2014 16:34:04 -0500 |
Adam Chlipala |
Parse new bytea output format from Postgres 9.x |
| Thu, 20 Feb 2014 15:50:33 -0500 |
Adam Chlipala |
Tweaked parameter renaming for functors, so now demos and the original bug-triggering application work |
| Thu, 20 Feb 2014 10:48:17 -0500 |
Adam Chlipala |
Fixed issue with datatype constructors inside functors; now on to some problem with modules inside functors |
| Thu, 20 Feb 2014 10:27:15 -0500 |
Adam Chlipala |
Some more nested functor bug-fixing, including generating fresh internal names at applications; still need to debug issues with datatype constructors |
| Tue, 18 Feb 2014 07:07:01 -0500 |
Adam Chlipala |
Merge with small clean-ups |
| Mon, 17 Feb 2014 19:25:30 -0500 |
Patrick Hurst |
Closing old datetime branch. |
| Mon, 17 Feb 2014 19:21:46 -0500 |
Patrick Hurst |
Add Datetime JavaScript support. |
| Sat, 15 Feb 2014 01:04:31 -0500 |
Patrick Hurst |
Merge in upstream |
| Fri, 14 Feb 2014 04:00:03 -0500 |
Patrick Hurst |
Merge in upstream |
| Wed, 29 Jan 2014 18:29:43 -0500 |
Patrick Hurst |
Merge in upstream |
| Sat, 25 Jan 2014 18:15:14 -0500 |
Patrick Hurst |
Use localtime, not gmtime, for datetime functions. |
| Sat, 25 Jan 2014 18:13:33 -0500 |
Patrick Hurst |
Trim trailing whitespace in urweb.c. |
| Mon, 20 Jan 2014 04:34:42 -0500 |
Patrick Hurst |
Bare-bones Datetime JS support. |
| Sat, 18 Jan 2014 18:26:24 -0500 |
Patrick Hurst |
Merge in upstream changes. |
| Mon, 09 Dec 2013 20:41:24 -0500 |
Patrick Hurst |
Declare datetimeDayOfWeek in urweb_cpp.h. |
| Mon, 09 Dec 2013 19:19:12 -0500 |
Patrick Hurst |
Add datetime functions for adding time intervals. |
| Sun, 08 Dec 2013 13:14:58 -0500 |
Patrick Hurst |
Finish datetime -> t rename |
| Sun, 08 Dec 2013 03:25:31 -0500 |
Patrick Hurst |
Rename datetime type to t in the .urs file. |
| Sat, 07 Dec 2013 21:31:51 -0500 |
Patrick Hurst |
Add day-of-week/month <-> int conversion functions. |
| Thu, 05 Dec 2013 11:36:54 -0500 |
Patrick Hurst |
Day of week functions. |
| Thu, 05 Dec 2013 11:36:46 -0500 |
Patrick Hurst |
Basic datetime library. |
| Thu, 05 Dec 2013 11:36:06 -0500 |
Patrick Hurst |
Add basic year/month/day/hour/minute/second <-> time functions. |
| Mon, 17 Feb 2014 14:34:48 -0500 |
Adam Chlipala |
MySQL does case-sensitive catalog queries |
| Sat, 15 Feb 2014 10:06:18 -0500 |
Adam Chlipala |
Use neverInline in reduce |
| 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 |
| Mon, 23 Dec 2013 15:59:17 +0000 |
Adam Chlipala |
Proper handling of serialization failures during SQL COMMIT |
| Tue, 17 Dec 2013 20:12:33 -0500 |
Adam Chlipala |
Fix compilation of apps that don't use database; fix HTTP pipelining |
| Thu, 12 Dec 2013 17:42:48 -0500 |
Adam Chlipala |
Start SQL transactions as read-only when possible, based on conservative program analysis |
| Thu, 12 Dec 2013 10:31:34 -0500 |
Adam Chlipala |
Only output Content-script-type header when there is client-side code |
| Thu, 12 Dec 2013 10:24:38 -0500 |
Adam Chlipala |
HTTP: avoid duplicate Content-length |
| Wed, 11 Dec 2013 18:54:42 -0500 |
Adam Chlipala |
RAND_bytes isn't thread-safe, so wrap it with a lock |
| Wed, 11 Dec 2013 18:22:10 -0500 |
Adam Chlipala |
Change handling of returned text blobs, to activate the normal EWrite optimizations |
| Wed, 11 Dec 2013 14:57:54 -0500 |
Adam Chlipala |
Fix regression in http.c for long-polling connections; add lazy initialization of database connections, to avoid the overhead in handlers that don't use SQL |
| Wed, 11 Dec 2013 11:06:08 -0500 |
Adam Chlipala |
Add '-q' option to HTTP binaries |
| Mon, 07 Oct 2013 14:08:10 +0400 |
Sergey Mironov |
Add show instance for 'id' type |
| Mon, 09 Dec 2013 17:25:53 -0500 |
Adam Chlipala |
Merge |
| Mon, 09 Dec 2013 17:23:25 -0500 |
Adam Chlipala |
Add JavaScript mappings for isprint and ord |
| Mon, 09 Dec 2013 15:47:14 -0500 |
Adam Chlipala |
Rename <activeHead> to <script> and make it work properly |
| Fri, 06 Dec 2013 14:52:47 +0400 |
Sergey Mironov |
activeHead: don't modify the head. just execute the code provided |
| Fri, 06 Dec 2013 13:59:39 +0400 |
Sergey Mironov |
Add activeHead tag. |
| Fri, 06 Dec 2013 08:54:03 -0500 |
Adam Chlipala |
Small reformatting and documentation for '-print-cinclude' |
| Wed, 06 Nov 2013 13:54:07 +0400 |
Sergey Mironov |
Add -print-cinlude command line option |
| Fri, 06 Dec 2013 08:44:26 -0500 |
Adam Chlipala |
Add 'xhead' case to Monoize |
| Tue, 03 Dec 2013 16:54:04 -0500 |
Adam Chlipala |
Increase precision for rendering floats to SQL |
| Sun, 01 Dec 2013 16:28:02 -0500 |
Adam Chlipala |
Remove extra line break for onError |
| Fri, 29 Nov 2013 08:12:57 -0500 |
Adam Chlipala |
Postgres: remove DML error code logging and (hopefully) fix the real problem, not checking for concurrency faults on SELECTs |
| Thu, 28 Nov 2013 11:06:11 -0500 |
Adam Chlipala |
Add keepalive option to the http protocol |
| Wed, 27 Nov 2013 15:42:24 -0500 |
Adam Chlipala |
Postgres: print SQLSTATE on DML failure, to help figure out when new special cases should be added |
| Wed, 27 Nov 2013 15:28:55 -0500 |
Adam Chlipala |
Add Connection and Content-length headers to raw HTTP responses |
| Wed, 27 Nov 2013 08:59:57 -0500 |
Adam Chlipala |
In HTTP protocol C code, increase listening socket backlog to maximum |
| Sun, 24 Nov 2013 10:06:37 -0500 |
Adam Chlipala |
Return to working version mode |
| Sun, 24 Nov 2013 09:56:50 -0500 |
Adam Chlipala |
Sneaky still-in-today's-release update of 'table' signature item handling |
| Sun, 24 Nov 2013 09:26:38 -0500 |
Adam Chlipala |
New release |
| Fri, 22 Nov 2013 09:48:16 -0500 |
Adam Chlipala |
Get SML/NJ support working again |
| Fri, 22 Nov 2013 09:36:14 -0500 |
Anders Kaseorg |
make dist: Use fewer wildcards |
| Fri, 22 Nov 2013 09:36:14 -0500 |
Anders Kaseorg |
make clean: Clean bin/mlton, src/urweb.mlton.lex, |
| Fri, 22 Nov 2013 09:36:14 -0500 |
Anders Kaseorg |
make uninstall: Uninstall types_cpp.h, urweb_cpp.h |
| Fri, 22 Nov 2013 09:36:14 -0500 |
Anders Kaseorg |
Allow building in a separate build directory |
| Fri, 22 Nov 2013 09:36:14 -0500 |
Anders Kaseorg |
Remove autogenerated config.h.in from version control |
| Fri, 22 Nov 2013 09:36:14 -0500 |
Anders Kaseorg |
xml/parse: Accept entity files on the command line |
| Thu, 21 Nov 2013 16:36:22 -0500 |
Adam Chlipala |
Add autogen.sh |
| Thu, 21 Nov 2013 15:39:45 -0500 |
Adam Chlipala |
Switch back to working version mode |
| Thu, 21 Nov 2013 15:23:27 -0500 |
Adam Chlipala |
Remove autogenerated files from version control |
| Thu, 21 Nov 2013 15:12:42 -0500 |
Adam Chlipala |
Add bin to EXTRA_DIST |
| Thu, 21 Nov 2013 15:08:37 -0500 |
Adam Chlipala |
Add src/c/*.h to EXTRA_DIST |
| Thu, 21 Nov 2013 15:06:41 -0500 |
Adam Chlipala |
Add more include files to EXTRA_DIST |
| Thu, 21 Nov 2013 15:04:17 -0500 |
Adam Chlipala |
Some more EXTRA_DIST |
| Thu, 21 Nov 2013 14:59:33 -0500 |
Adam Chlipala |
Getting more specific about 'src' in EXTRA_DIST |
| Thu, 21 Nov 2013 14:53:01 -0500 |
Adam Chlipala |
Experimenting with distribution via 'make dist', to allow deletion of autogenerated files from version control |
| Thu, 21 Nov 2013 14:36:57 -0500 |
Adam Chlipala |
Regenerate Makefile.in |
| Thu, 21 Nov 2013 14:32:11 -0500 |
Anders Kaseorg |
compileC: Link libraries in the right order |
| Thu, 21 Nov 2013 14:32:11 -0500 |
Anders Kaseorg |
Add missing inter-library dependencies |
| Sun, 17 Nov 2013 07:54:59 -0500 |
Adam Chlipala |
Manual: add a pointer to background reading on inference rule notation |
| Thu, 14 Nov 2013 06:36:36 -0500 |
Adam Chlipala |
Fix more of client-side error handlers |
| Thu, 14 Nov 2013 06:16:58 -0500 |
Adam Chlipala |
Fix regression in execution of 'onError' handlers |
| Tue, 05 Nov 2013 11:58:52 -0500 |
Adam Chlipala |
Identify more local definitions as functions that should be lifted to the top level, which has synergistic effects on inlining later |
| Mon, 04 Nov 2013 16:00:48 -0500 |
Adam Chlipala |
A fancier test for the new SQL constraints subtyping |
| Mon, 04 Nov 2013 15:14:23 -0500 |
Adam Chlipala |
Interpret 'table' signature items more flexibly, automatically adding (Ur) constraints to support a kind of subtyping over (SQL) constraint sets |
| Mon, 04 Nov 2013 08:38:20 -0500 |
Adam Chlipala |
Rename ListPair.map2 to ListPair.mp |
| Sun, 03 Nov 2013 19:27:30 -0500 |
Adam Chlipala |
ListPair.map2, based on code by escalier@riseup.net |
| Thu, 17 Oct 2013 09:22:38 -0400 |
Adam Chlipala |
Save disjointness environments across top-level declarations |
| Mon, 14 Oct 2013 08:08:57 -0400 |
Adam Chlipala |
Change Pthread thread creation logic to avoid Cygwin limitations with setting stack size |
| Fri, 11 Oct 2013 17:15:28 -0400 |
Adam Chlipala |
New header file scheme to support FFI code in either of C or C++ [based on suggestion by Ron de Bruijn] |
| Thu, 10 Oct 2013 18:31:10 -0400 |
Adam Chlipala |
Remove uw_cutErrorLocation() hijinks |
| Thu, 10 Oct 2013 18:04:29 -0400 |
Adam Chlipala |
Remove debug prints |
| Thu, 10 Oct 2013 18:01:30 -0400 |
Adam Chlipala |
Make transactional FFI functions effectful by default |
| Thu, 10 Oct 2013 14:48:43 -0400 |
Adam Chlipala |
Take proper account of signatures changing during page generation |
| Mon, 07 Oct 2013 14:08:53 +0400 |
Sergey Mironov |
Add <dl> <dt> <dd> tags |
| Thu, 10 Oct 2013 14:01:19 -0400 |
Adam Chlipala |
Manual entries for -ccompiler and -print-ccompiler |
| Mon, 07 Oct 2013 14:07:31 +0400 |
Sergey Mironov |
Add xhead type |
| Mon, 07 Oct 2013 14:07:06 +0400 |
Sergey Mironov |
Add <em> and <strong> tags |
| Wed, 18 Sep 2013 15:45:18 +0400 |
Sergey Mironov |
Add -print-ccompiler command line option |
| Tue, 20 Aug 2013 17:13:50 +0400 |
Sergey Mironov |
Add -ccompiler command line argument |
| Tue, 01 Oct 2013 07:33:20 -0400 |
Adam Chlipala |
Add monoize case for 'dml' type |
| Mon, 30 Sep 2013 16:37:37 -0400 |
Adam Chlipala |
Detect more SQL uses without 'database' directive |
| Thu, 26 Sep 2013 16:22:06 -0400 |
Adam Chlipala |
Get -root working properly again |
| Fri, 13 Sep 2013 10:24:10 -0400 |
Adam Chlipala |
Tweak Sergey's patch to work with Postgres |
| Fri, 13 Sep 2013 10:09:15 -0400 |
Sergey Mironov |
Add hex SQL syntax for blobs, such as X'0ABC12343'. Works with sqlite. |
| Mon, 19 Aug 2013 12:38:43 -0400 |
Adam Chlipala |
Potentially exponential search through where to head-normalize in [decompileCon] |
| Mon, 19 Aug 2013 12:25:32 -0400 |
Adam Chlipala |
Allow [where con] to descend within submodule structure; open submodule constraints while checking later signature items |
| Sat, 10 Aug 2013 10:13:40 -0400 |
Adam Chlipala |
Expand coverage of 'functionInside' for Especialize |
| Fri, 09 Aug 2013 16:13:44 -0400 |
Adam Chlipala |
Add 'rel' attribute to <a> |
| Fri, 09 Aug 2013 16:04:16 -0400 |
Adam Chlipala |
Extend Especialize rule: find maximal argument prefixes that end in 1 or more arguments with functional types |
| Wed, 17 Jul 2013 10:48:31 -0400 |
Adam Chlipala |
Make that error message even more helpful |
| Wed, 17 Jul 2013 10:40:13 -0400 |
Adam Chlipala |
Make that new error message text a bit more accurate |
| Wed, 17 Jul 2013 10:35:43 -0400 |
Adam Chlipala |
Tweak error message about naughty GET handlers |
| Wed, 17 Jul 2013 09:09:48 -0400 |
Adam Chlipala |
Postgres unicode printing fix from Artyom Shalkhakov |
| Sat, 15 Jun 2013 08:18:47 -0400 |
Adam Chlipala |
Add Sigcheck phase to avoid issues with signatures in global initializers |
| Fri, 07 Jun 2013 16:11:52 -0400 |
Adam Chlipala |
Undo 'let' inlining tweak; improve optimization of 'case' of type 'transaction' |
| Sun, 02 Jun 2013 10:17:52 -0400 |
Adam Chlipala |
Tweak to 'let' inlining behavior |
| Sun, 21 Apr 2013 13:32:10 -0400 |
Adam Chlipala |
Return to working version mode |
| Sun, 21 Apr 2013 13:03:20 -0400 |
Adam Chlipala |
Get Iflow working again |
| Sun, 21 Apr 2013 10:29:30 -0400 |
Adam Chlipala |
New release |
| Sun, 21 Apr 2013 10:17:43 -0400 |
Adam Chlipala |
Plugging some gaps in the manual |
| Tue, 16 Apr 2013 11:25:56 -0400 |
Adam Chlipala |
Get -css flag working again |
| Tue, 16 Apr 2013 10:55:48 -0400 |
Adam Chlipala |
Basis.tryRpc |
| Mon, 01 Apr 2013 10:13:49 -0400 |
Adam Chlipala |
Change Name_js to skip code snippets that depend on the CSRF-protection signature |
| Tue, 19 Mar 2013 19:10:31 -0400 |
Adam Chlipala |
Attempt to get more static linking for OpenSSL |
| Fri, 15 Mar 2013 16:09:55 -0400 |
Adam Chlipala |
Make Scriptcheck catch more script/message-passing uses, and move the phase earlier in compilation |
| Tue, 12 Mar 2013 16:21:20 -0400 |
Adam Chlipala |
Manual: Reveal JavaScript representation of transaction type family |
| Tue, 05 Mar 2013 09:29:50 -0500 |
Adam Chlipala |
Make CGI programs use Status header to set HTTP status code |
| Sat, 05 Jan 2013 18:19:20 -0500 |
Jason Gross |
Add MLTONARGS to xml/parse |
| Mon, 31 Dec 2012 09:04:35 -0500 |
Adam Chlipala |
Add more HTML singleton tags, anticipating that others may make them available via the FFI |
| Thu, 27 Dec 2012 15:34:11 -0500 |
Adam Chlipala |
Add some name-mangling rules to allow XML attribute 'name' and attributes with dashes |
| 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) |
| Wed, 12 Dec 2012 16:42:15 -0500 |
Adam Chlipala |
Autogenerate some files |
| Wed, 12 Dec 2012 14:47:06 -0500 |
Jason Gross |
Add ./configure MLTONARGS option for MLTON arguments |
| Tue, 11 Dec 2012 15:58:23 -0500 |
Adam Chlipala |
Ignore polymorphism in JavaScript calls to custom FFI functions, allowing a kind of simple dynamic typing (unsafe, of course) |
| Fri, 30 Nov 2012 10:02:13 -0500 |
Adam Chlipala |
add Placeholder attribute to <password>; change <textbox> code generation to set 'type' to 'text' |
| Fri, 30 Nov 2012 09:50:00 -0500 |
Adam Chlipala |
Fix generation of timestamp literals for MySQL and SQLite |
| Wed, 28 Nov 2012 16:56:45 -0500 |
Adam Chlipala |
Allow any FFI module to declare new HTML tags |
| Wed, 28 Nov 2012 11:45:46 -0500 |
Adam Chlipala |
Rename Basis.exp to Basis.pow, to avoid confusion with 'expression'; add a test case for it |
| Wed, 28 Nov 2012 11:41:54 -0500 |
Austin Seipp |
Standard library additions: Option.unsafeGet, Basis.exp |
| Wed, 28 Nov 2012 11:39:38 -0500 |
Austin Seipp |
Fix broken implementation of 'urweb daemon stop' |
| Mon, 22 Oct 2012 01:49:22 +0400 |
Vladimir Shabanov |
Removed unused parent() function which conflicts with window.parent. |
| Sat, 20 Oct 2012 13:51:46 -0400 |
Adam Chlipala |
Switch linker order |
| Tue, 25 Sep 2012 08:29:27 -0400 |
Adam Chlipala |
Return to working version mode |
| Tue, 25 Sep 2012 08:16:58 -0400 |
Adam Chlipala |
New release |
| Sun, 23 Sep 2012 20:47:20 -0500 |
Austin Seipp |
Fix compilation when using Clang on OS X; it doesn't like -pthread |
| Wed, 19 Sep 2012 18:01:22 -0400 |
Adam Chlipala |
Paranoid inlining prevention for FFI types at the Core level; less paranoid inlining promotion for passive values at the Mono level |
| Wed, 19 Sep 2012 14:36:12 -0400 |
Adam Chlipala |
Merge |
| Wed, 19 Sep 2012 14:20:47 -0400 |
Adam Chlipala |
Edward Z. Yang's patch to avoid repeating linker arguments |
| Sun, 16 Sep 2012 08:31:54 -0400 |
Adam Chlipala |
Better error message about signals remaining in server-side code |
| Fri, 14 Sep 2012 07:35:48 -0400 |
Adam Chlipala |
Reduce default inlining thresholds; improve a let-substitution optimization to compensate |
| Fri, 14 Sep 2012 06:44:14 -0400 |
Adam Chlipala |
Merge |
| Wed, 12 Sep 2012 19:49:02 +0400 |
Vladimir Shabanov |
Fixed HTTP date format and added Cache-Control to app.js |
| Sun, 05 Aug 2012 14:55:28 -0400 |
Adam Chlipala |
Tweaking treatment of function application: substitute or introduce a 'let'? |
| Tue, 04 Sep 2012 16:30:22 -0400 |
Adam Chlipala |
Manual addition for last changeset |
| Tue, 04 Sep 2012 03:32:59 +0400 |
Vladimir Shabanov |
Added 'coreInline' and 'monoInline' .urp options |
| Mon, 03 Sep 2012 09:51:23 -0400 |
Adam Chlipala |
Update tutorial for Ur/Web changes |
| Thu, 30 Aug 2012 17:58:37 +0400 |
Vladimir Shabanov |
Minor js optimizations. |
| Thu, 30 Aug 2012 17:04:30 +0400 |
Vladimir Shabanov |
Removed setting of ignored XMLHttpRequest headers. |
| Thu, 30 Aug 2012 17:00:18 +0400 |
Vladimir Shabanov |
Fixed memory leak in dynClass |
| Wed, 22 Aug 2012 08:46:32 -0400 |
Adam Chlipala |
show_sql_query |
| Sat, 18 Aug 2012 13:57:48 -0400 |
Adam Chlipala |
Add list of files to new error message |
| Sat, 18 Aug 2012 13:51:41 -0400 |
Adam Chlipala |
Better error message for funky command lines |
| Tue, 07 Aug 2012 10:02:19 -0400 |
Adam Chlipala |
Return to working version mode |
| Tue, 07 Aug 2012 09:41:02 -0400 |
Adam Chlipala |
New release |
| Sun, 05 Aug 2012 17:11:39 -0400 |
Adam Chlipala |
Revert last changeset for now; needs more thought |
| Sun, 05 Aug 2012 14:55:28 -0400 |
Adam Chlipala |
Tweaking treatment of function application: substitute or introduce a 'let'? |
| Fri, 03 Aug 2012 12:39:04 -0400 |
Adam Chlipala |
Back out last change and pursue a different fix, based on explicitly aborting script execution at times when we don't expect scripts to run |
| Fri, 03 Aug 2012 08:38:47 -0400 |
Adam Chlipala |
Undo change to script evaluation, originally made to support <active> + 'giveFocus'; alternate approach to making 'giveFocus' work in dynamic code generatione |
| Fri, 03 Aug 2012 08:32:03 -0400 |
Adam Chlipala |
Fix some unportable uses of C character class functions |
| Thu, 02 Aug 2012 18:12:37 -0400 |
Adam Chlipala |
New NameJs phase, still needing some debugging |
| Thu, 02 Aug 2012 16:33:25 -0400 |
Adam Chlipala |
Basis.getenv |
| Sun, 29 Jul 2012 12:54:17 -0400 |
Adam Chlipala |
Removed evaluation of js function name strings. (from Vladimir Shabanov) |
| Sun, 29 Jul 2012 12:27:13 -0400 |
Adam Chlipala |
Remove 'class' declaration; now use 'con' instead |
| Thu, 26 Jul 2012 10:04:58 -0400 |
Adam Chlipala |
Remove misguided type class optimization |
| Wed, 25 Jul 2012 14:04:59 -0400 |
Adam Chlipala |
Allow type class instances with hypotheses via local ('let') definitions |
| Wed, 25 Jul 2012 08:20:15 -0400 |
Adam Chlipala |
Change 'spawn' implementation to allow blocking within <active code> |
| Tue, 24 Jul 2012 19:49:50 -0400 |
Adam Chlipala |
Fix JavaScript implementation of strcspn() |
| Mon, 23 Jul 2012 09:03:41 -0400 |
Adam Chlipala |
Disallow suspending operations in <active code={...}> |
| Mon, 23 Jul 2012 08:38:39 -0400 |
Adam Chlipala |
Add more global mouse event hooks |
| Sun, 22 Jul 2012 09:42:17 -0400 |
Adam Chlipala |
Nicer <active> semantics |
| Sat, 21 Jul 2012 21:07:15 -0400 |
Adam Chlipala |
Fix bug in handling of event attributes within client-side widgets |
| Sat, 21 Jul 2012 15:34:07 -0400 |
Adam Chlipala |
Get regular forms working again |
| Sat, 21 Jul 2012 15:16:57 -0400 |
Adam Chlipala |
Top.postFields |
| Sat, 21 Jul 2012 13:55:35 -0400 |
Adam Chlipala |
<active> |
| Sat, 21 Jul 2012 11:59:41 -0400 |
Adam Chlipala |
Basis.giveFocus |
| Sat, 21 Jul 2012 10:12:35 -0400 |
Adam Chlipala |
Update demo code for key/mouse handler change |
| Sat, 21 Jul 2012 10:02:53 -0400 |
Adam Chlipala |
New event records for key and mouse handlers |
| Wed, 18 Jul 2012 17:29:13 -0400 |
Adam Chlipala |
Support fancy expressions in module-level 'val' declarations |
| Fri, 13 Jul 2012 09:01:01 -0400 |
Adam Chlipala |
Change propagation of source value to textarea |
| Sat, 23 Jun 2012 10:11:33 -0400 |
Adam Chlipala |
Flush elaboration cache when switching between .urp files |
| Sat, 23 Jun 2012 09:46:40 -0400 |
Adam Chlipala |
HTTP daemons now take '-a' option to set IP address to listen on |
| Sun, 03 Jun 2012 11:29:31 -0400 |
Adam Chlipala |
Lighter-weight encoding of window function use |
| Sat, 02 Jun 2012 16:47:09 -0400 |
Adam Chlipala |
Partitioning and ordering for window functions |
| Sat, 02 Jun 2012 16:00:50 -0400 |
Adam Chlipala |
Compiled a window function use |
| Sat, 02 Jun 2012 15:35:58 -0400 |
Adam Chlipala |
Track whether SQL expressions may use window functions, in preparation for actual window function support |
| Sat, 02 Jun 2012 10:54:49 -0400 |
Adam Chlipala |
Avoid redundant rollbacks |
| Sat, 26 May 2012 09:16:14 -0400 |
Adam Chlipala |
Proper error messages for missing source files |
| Sat, 19 May 2012 12:12:54 -0400 |
Adam Chlipala |
Return to working version mode |
| Sat, 19 May 2012 11:46:29 -0400 |
Adam Chlipala |
New release |
| Sat, 19 May 2012 11:38:14 -0400 |
Adam Chlipala |
More manual detail on registering error handlers |
| Sat, 19 May 2012 11:32:24 -0400 |
Adam Chlipala |
Merge |
| Sat, 19 May 2012 11:32:12 -0400 |
Adam Chlipala |
Some standard library additions from Edward Z. Yang |
| Thu, 17 May 2012 16:22:05 -0400 |
Adam Chlipala |
Implicit records of folders |
| Thu, 17 May 2012 10:20:24 -0400 |
Adam Chlipala |
Be more conservative in choosing candidates for Especialize, re: mutual recursion |
| Thu, 17 May 2012 03:22:34 +0400 |
Vladimir Shabanov |
Vector fonts in manual |
| Thu, 17 May 2012 01:41:30 +0400 |
Vladimir Shabanov |
Speed up space eating in MonoOpt |
| Wed, 16 May 2012 22:46:35 +0400 |
Vladimir Shabanov |
Allow RPC and run it synchronously in onunload event. |
| Sun, 13 May 2012 17:41:21 -0400 |
Adam Chlipala |
Lance Hepler's fix to configure.ac; small refactor of fastcgi.c to avoid undefined behavior |
| Sun, 13 May 2012 14:27:29 -0400 |
Adam Chlipala |
Fix hyphenation for demos; parse CSS class 'table' as 'tabl' |
| Sat, 12 May 2012 15:22:39 -0400 |
Adam Chlipala |
Automake 1.12 compatibility, based on suggestions by Lance Hepler |
| Sat, 12 May 2012 12:15:26 -0400 |
Adam Chlipala |
Return to working version mode |
| Sat, 12 May 2012 11:59:31 -0400 |
Adam Chlipala |
New release |
| Wed, 09 May 2012 08:53:10 -0400 |
Adam Chlipala |
In incremental elaboration, handle invalidated FFI signatures |
| Mon, 07 May 2012 08:16:18 -0400 |
Adam Chlipala |
Fix manual's grammar for subquery FROM items |
| Sun, 06 May 2012 16:08:48 -0400 |
Adam Chlipala |
Run-time CSS style validation |
| Sun, 06 May 2012 15:46:25 -0400 |
Adam Chlipala |
Fix bugs in support for 'style' and 'dynStyle' |
| Sun, 06 May 2012 15:34:10 -0400 |
Adam Chlipala |
Clarify need for 'prefix' for FastCGI |
| Sun, 06 May 2012 15:27:30 -0400 |
Adam Chlipala |
New optional suffice for 'rewrite' in .urp files: [-] |
| Sun, 06 May 2012 15:15:46 -0400 |
Adam Chlipala |
'dynStyle' pseudo-attribute |
| Sun, 06 May 2012 14:01:29 -0400 |
Adam Chlipala |
'style' attributes |
| Sun, 06 May 2012 13:07:13 -0400 |
Adam Chlipala |
Simplify type of Basis.tag, regarding 'class' attribute; new compatibility parsing of 'class' values given as string literals |
| Sun, 06 May 2012 12:37:43 -0400 |
Adam Chlipala |
Fix from Edward Yang to generation of 404 errors in FastCGI |
| Sat, 05 May 2012 19:57:54 -0400 |
Adam Chlipala |
Adjust error message format to match Emacs defaults |
| Sat, 05 May 2012 13:08:26 -0400 |
Adam Chlipala |
Fix bug in installation of source files to proper directories |
| Sat, 05 May 2012 12:58:13 -0400 |
Adam Chlipala |
-dumpTypesOnError |
| Sat, 05 May 2012 12:45:35 -0400 |
Adam Chlipala |
Send daemon output to calling process |
| Fri, 04 May 2012 10:38:22 -0400 |
Adam Chlipala |
Report which files lead to duplicate module names |
| Fri, 04 May 2012 10:33:04 -0400 |
Adam Chlipala |
More diagnostic information about some type class resolution failures |
| Fri, 04 May 2012 10:07:27 -0400 |
Adam Chlipala |
Reinitialize lexer state properly |
| Thu, 03 May 2012 10:29:12 -0400 |
Adam Chlipala |
Adaptations to ezyang's patch |
| Wed, 02 May 2012 17:17:57 -0400 |
Edward Z. Yang |
Add support for -boot flag, which allows in-tree execution of Ur/Web |
| Thu, 03 May 2012 09:56:41 -0400 |
Adam Chlipala |
Catch duplicate top-level module names; fix dropping of constraints during incremental elaboration; document treatment of record types as type class instance types |
| Wed, 02 May 2012 08:56:19 -0400 |
Adam Chlipala |
Don't modify the module cache after elaboration failures |
| Wed, 02 May 2012 08:34:50 -0400 |
Adam Chlipala |
Better discovery of type class instances from recursive definitions |
| Wed, 02 May 2012 08:23:30 -0400 |
Adam Chlipala |
In simplifying constructors for error messages, unfold constructor synonyms from modules |
| Sun, 29 Apr 2012 20:37:45 -0400 |
Adam Chlipala |
Fix generation of normal datatypes from polymorphic variants |
| Sun, 29 Apr 2012 16:23:03 -0400 |
Adam Chlipala |
'urweb daemon start' and 'urweb daemon stop' |
| Sun, 29 Apr 2012 13:17:31 -0400 |
Adam Chlipala |
Initial support for reusing elaboration results |
| Sat, 28 Apr 2012 12:00:35 -0400 |
Adam Chlipala |
Include JavaScript files properly in error handler pages |
| Sat, 28 Apr 2012 11:35:12 -0400 |
Adam Chlipala |
Fix urlification of recursive polymorphic variants |
| Fri, 27 Apr 2012 09:52:16 -0400 |
Adam Chlipala |
Avoid generating empty <script> tags |
| Fri, 27 Apr 2012 09:43:09 -0400 |
Adam Chlipala |
Ensure proper ordering of <script> execution, to bring identifiers into scope in time |
| Fri, 27 Apr 2012 07:35:59 -0400 |
Adam Chlipala |
Omit unnecessary parens around arrows in pretty-printing |
| Wed, 25 Apr 2012 03:07:07 +0400 |
Vladimir Shabanov |
Removed excess zero byte from empty pages. |
| Sun, 22 Apr 2012 10:57:22 -0400 |
Adam Chlipala |
'linker' .urp directive |
