log src/compiler.sml

age author description
Sun, 07 Sep 2008 10:52:51 -0400 Adam Chlipala Ask GCC to strip executables
Sun, 07 Sep 2008 09:28:13 -0400 Adam Chlipala Ran a prepared statement with one string parameter
Tue, 02 Sep 2008 17:31:45 -0400 Adam Chlipala Compiling a parametrized query the inefficient way
Tue, 02 Sep 2008 13:44:54 -0400 Adam Chlipala Generating SQL files
Tue, 02 Sep 2008 11:57:25 -0400 Adam Chlipala Initializing database connection
Tue, 02 Sep 2008 10:51:41 -0400 Adam Chlipala 'database' declaration threaded through compiler
Tue, 02 Sep 2008 10:31:16 -0400 Adam Chlipala Parsing jobs
Sun, 31 Aug 2008 16:54:13 -0400 Adam Chlipala Monoize ASC/DESC
Sun, 31 Aug 2008 15:32:31 -0400 Adam Chlipala Avoid unnecessary WHERE clause
Sun, 31 Aug 2008 08:32:18 -0400 Adam Chlipala Laconic -> Ur
Tue, 12 Aug 2008 14:55:05 -0400 Adam Chlipala Finish moving all phases to the new interface
Tue, 12 Aug 2008 14:40:07 -0400 Adam Chlipala Consolidating compiler phase interface and adding timing
Fri, 08 Aug 2008 17:55:51 -0400 Adam Chlipala Specialization of single-parameter datatypes
Sun, 03 Aug 2008 18:53:20 -0400 Adam Chlipala bool in Basis
Sun, 03 Aug 2008 13:30:27 -0400 Adam Chlipala Optimizing 'case' in Mono_reduce
Tue, 29 Jul 2008 13:16:21 -0400 Adam Chlipala Datatypes through corify
Sat, 19 Jul 2008 18:56:57 -0400 Adam Chlipala Change driver to use Pthreads
Thu, 17 Jul 2008 13:33:56 -0400 Adam Chlipala Proper escaping of cdata
Thu, 17 Jul 2008 13:12:16 -0400 Adam Chlipala MonoShake
Thu, 17 Jul 2008 12:59:52 -0400 Adam Chlipala MonoReduce
Thu, 17 Jul 2008 12:40:21 -0400 Adam Chlipala Proper topological sorting in untangle
Thu, 17 Jul 2008 12:19:44 -0400 Adam Chlipala Untangle
Sun, 13 Jul 2008 12:51:58 -0400 Adam Chlipala Print a message on Laconic compilation failure
Sun, 13 Jul 2008 12:47:54 -0400 Adam Chlipala Turn on gcc -O3
Sun, 13 Jul 2008 11:43:57 -0400 Adam Chlipala Starting with closure links
Sun, 13 Jul 2008 10:17:06 -0400 Adam Chlipala Remove closure conversion in favor of zany fun with modules, which also replaces 'page'
Thu, 10 Jul 2008 14:02:54 -0400 Adam Chlipala Writing HTML
Thu, 03 Jul 2008 18:06:52 -0400 Adam Chlipala Mono optimizations (start with string concat and space eating)
Sun, 22 Jun 2008 14:23:05 -0400 Adam Chlipala Separate compilation and automatic basis importation
Sun, 22 Jun 2008 11:04:10 -0400 Adam Chlipala Parsing signature files