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 |