log

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