log

age author description
Tue, 02 Jun 2009 11:50:53 -0400 Adam Chlipala Do 'open constraints' automatically; fix sourceless <cselect> monoize bug; Monad library module
Sun, 31 May 2009 15:25:27 -0400 Adam Chlipala Expose resolveClass from Elaborate
Sun, 31 May 2009 13:43:02 -0400 Adam Chlipala Fix pathmap bug; expose lower-level heap manipulation from C
Sun, 31 May 2009 12:41:34 -0400 Adam Chlipala strcspn and friends
Sat, 30 May 2009 14:44:29 -0400 Adam Chlipala Defer pattern-matching exhaustiveness checks and normalize pattern types more thoroughly
Sat, 30 May 2009 13:29:00 -0400 Adam Chlipala Substring functions; fix a nasty MonoReduce pattern match substitution bug
Sat, 30 May 2009 09:59:10 -0400 Adam Chlipala String.length
Thu, 28 May 2009 13:47:05 -0400 Adam Chlipala Fix variable adjustment bug in fn/case alternation
Thu, 28 May 2009 12:40:55 -0400 Adam Chlipala Fix EDLet elab_util bug
Thu, 28 May 2009 12:07:05 -0400 Adam Chlipala Destructing local let, to the point where demo compiles
Thu, 28 May 2009 11:45:45 -0400 Adam Chlipala Use a timeout to avoid errors after unload
Thu, 28 May 2009 10:35:25 -0400 Adam Chlipala Demo compiles with pattern-matching-fu
Thu, 28 May 2009 10:16:50 -0400 Adam Chlipala fn-pattern code in but not tested yet; hello compiles
Tue, 26 May 2009 12:25:06 -0400 Adam Chlipala Chars and more string operations
Sat, 23 May 2009 10:14:51 -0400 Adam Chlipala Change monoization of monads to allow partial applications of operations
Sat, 23 May 2009 09:45:02 -0400 Adam Chlipala Switch to Maranget's pattern exhaustiveness algorithm
Thu, 21 May 2009 11:45:04 -0400 Adam Chlipala Change List.mapM' to avoid leaving functions around
Thu, 21 May 2009 10:34:56 -0400 Adam Chlipala ccheckbox
Thu, 21 May 2009 10:18:20 -0400 Adam Chlipala Split JavaScript inp() into separate functions
Sun, 17 May 2009 18:41:43 -0400 Adam Chlipala Redo Jscomp
Sun, 17 May 2009 14:36:55 -0400 Adam Chlipala Fix argument ordering bug in fuse; fix case subsitution bug in MonoReduce
Sun, 17 May 2009 13:25:57 -0400 Adam Chlipala Corify FFI datatypes properly; eliminate nested JavaScript markers
Sat, 16 May 2009 18:09:14 -0400 Adam Chlipala Loading an FCKeditor
Sat, 16 May 2009 16:59:24 -0400 Adam Chlipala Fix initialization of cselect from source
Sat, 16 May 2009 16:37:48 -0400 Adam Chlipala Fix another problem with overwrites during JavaScript pattern matching
Sat, 16 May 2009 16:02:17 -0400 Adam Chlipala Mutual datatypes through Cjrize
Sat, 16 May 2009 15:55:15 -0400 Adam Chlipala Mutual datatypes through Pathcheck
Sat, 16 May 2009 15:45:12 -0400 Adam Chlipala Mutual datatypes through Effectize
Sat, 16 May 2009 15:22:05 -0400 Adam Chlipala Mutual datatypes through Corify
Sat, 16 May 2009 15:14:17 -0400 Adam Chlipala Mutual datatypes through Elaborate