log

age author description
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