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)