2014-02-20 |
Adam Chlipala |
Some more nested functor bug-fixing, including generating fresh internal names at applications; still need to debug issues with datatype constructors |
2014-02-18 |
Adam Chlipala |
Merge with small clean-ups |
2014-02-18 |
Patrick Hurst |
Closing old datetime branch. |
2014-02-18 |
Patrick Hurst |
Add Datetime JavaScript support. |
2014-02-15 |
Patrick Hurst |
Merge in upstream |
2014-02-14 |
Patrick Hurst |
Merge in upstream |
2014-01-29 |
Patrick Hurst |
Merge in upstream |
2014-01-25 |
Patrick Hurst |
Use localtime, not gmtime, for datetime functions. |
2014-01-25 |
Patrick Hurst |
Trim trailing whitespace in urweb.c. |
2014-01-20 |
Patrick Hurst |
Bare-bones Datetime JS support. |
2014-01-18 |
Patrick Hurst |
Merge in upstream changes. |
2013-12-10 |
Patrick Hurst |
Declare datetimeDayOfWeek in urweb_cpp.h. |
2013-12-10 |
Patrick Hurst |
Add datetime functions for adding time intervals. |
2013-12-08 |
Patrick Hurst |
Finish datetime -> t rename |
2013-12-08 |
Patrick Hurst |
Rename datetime type to t in the .urs file. |
2013-12-08 |
Patrick Hurst |
Add day-of-week/month <-> int conversion functions. |
2013-12-05 |
Patrick Hurst |
Day of week functions. |
2013-12-05 |
Patrick Hurst |
Basic datetime library. |
2013-12-05 |
Patrick Hurst |
Add basic year/month/day/hour/minute/second <-> time functions. |
2014-02-17 |
Adam Chlipala |
MySQL does case-sensitive catalog queries |
2014-02-15 |
Adam Chlipala |
Use neverInline in reduce |
2014-02-14 |
Adam Chlipala |
Fix a subtle renaming problem in elaborating functor applications |
2014-02-10 |
Adam Chlipala |
Merge |
2014-02-10 |
Adam Chlipala |
neverInline |
2014-02-07 |
Adam Chlipala |
Turn off GCC's fancy %n checking, because the performance cost is too high |
2014-01-29 |
Adam Chlipala |
Add another simple case for record unification between alpha-equivalent constructors |
2014-01-19 |
Adam Chlipala |
Make that purity analysis a bit more lax again |
2014-01-19 |
Adam Chlipala |
Fix a soundness bug in purity analysis (mono_reduce) |
2014-01-19 |
Adam Chlipala |
New compiler option: -stop |
2014-01-18 |
Adam Chlipala |
Manual: remove database version numbers from Debian package names, where possible |
2014-01-15 |
Adam Chlipala |
Stop quoting Postgres identifiers in 'noMangleSql' mode |
2014-01-15 |
Adam Chlipala |
Postgres: look up table names case-sensitively in catalog |
2014-01-15 |
Adam Chlipala |
MySQL: set character set when opening a new connection |
2014-01-09 |
Adam Chlipala |
Add 'html5' .urp directive |
2014-01-07 |
Adam Chlipala |
MySQL: Combine transaction setup commands into one mysql_query() |
2014-01-06 |
Adam Chlipala |
MySQL: catch deadlocks during queries |
2014-01-05 |
Adam Chlipala |
noMangleSql .urp directive |
2014-01-01 |
Adam Chlipala |
Add some URL-related benignEffectful functions |
2013-12-31 |
Adam Chlipala |
Return to working version mode |
2013-12-31 |
Adam Chlipala |
New release |
2013-12-31 |
Adam Chlipala |
Do a bit of extra userspace copying to send HTTP response with a single system call |
2013-12-30 |
Adam Chlipala |
HTTP: continue after accept() failure |
2013-12-29 |
Adam Chlipala |
Compile-time error for periodic tasks in nonpersistent protocols |
2013-12-29 |
Adam Chlipala |
Avoid some spurious error messages about link/form incompatibility; change the text of that error message to include RPC handlers |
2013-12-28 |
Adam Chlipala |
How embarrassing; didn't try compiling before committing |
2013-12-28 |
Adam Chlipala |
Make HTTP keepalive switch between available connections to improve throughput |
2013-12-27 |
Adam Chlipala |
Change where a transaction is marked finished, to avoid forgetting to rollback a failed transaction |
2013-12-27 |
Adam Chlipala |
Raise exception when recv()ing from someone else's channel; improve setting of client ID in RPCs |
2013-12-25 |
Adam Chlipala |
Tweaking handling of database transactions |
2013-12-25 |
Adam Chlipala |
Add a bit of manual clarification about channels and clients |
2013-12-25 |
Adam Chlipala |
No need to ROLLBACK after a failed COMMIT |
2013-12-23 |
Adam Chlipala |
Proper handling of serialization failures during SQL COMMIT |
2013-12-18 |
Adam Chlipala |
Fix compilation of apps that don't use database; fix HTTP pipelining |
2013-12-12 |
Adam Chlipala |
Start SQL transactions as read-only when possible, based on conservative program analysis |
2013-12-12 |
Adam Chlipala |
Only output Content-script-type header when there is client-side code |
2013-12-12 |
Adam Chlipala |
HTTP: avoid duplicate Content-length |
2013-12-11 |
Adam Chlipala |
RAND_bytes isn't thread-safe, so wrap it with a lock |
2013-12-11 |
Adam Chlipala |
Change handling of returned text blobs, to activate the normal EWrite optimizations |
2013-12-11 |
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 |
2013-12-11 |
Adam Chlipala |
Add '-q' option to HTTP binaries |