log

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