log src/compiler.sml

age author description
2008-11-27 Adam Chlipala Stop using redundant Defunc pass
2008-11-25 Adam Chlipala Fusing writes with recursive function calls
2008-11-20 Adam Chlipala Profiling support
2008-11-11 Adam Chlipala Get preliminary ThreadedBlog working
2008-11-09 Adam Chlipala Defunctionalization gets CommentBlog working
2008-11-09 Adam Chlipala Especialize working reasonably well; need to add new closure representation pass
2008-11-08 Adam Chlipala Resolve all tag named in [Basis]; deal with C compilation failure without leaving /tmp files
2008-11-06 Adam Chlipala Request header reading works
2008-11-02 Adam Chlipala Nested save compiles
2008-11-01 Adam Chlipala First Unnest tests working
2008-10-30 Adam Chlipala Especialize
2008-10-28 Adam Chlipala GCCARGS configure option
2008-10-26 Adam Chlipala Avoid using libpq when unneeded
2008-10-23 adamc Add newline at end of file
2008-10-21 Adam Chlipala New implicit argument handling
2008-10-21 Adam Chlipala Simple listShop working
2008-10-21 Adam Chlipala num_float
2008-10-19 Adam Chlipala Support for URL prefixes that works with local demo
2008-10-19 Adam Chlipala Proper configuration and installation
2008-10-19 Adam Chlipala Proper generation of relation names; checking that sequences exist
2008-10-04 Adam Chlipala Small clean-ups in crud; Compiler.check
2008-09-11 Adam Chlipala Crud listing IDs
2008-09-11 Adam Chlipala Fix memory bounds checks; specialization of multi-argument polymorphic function works
2008-09-11 Adam Chlipala Unpoly non-recursive function
2008-09-09 Adam Chlipala Termination checking
2008-09-07 Adam Chlipala pquery working with all four types of columns
2008-09-07 Adam Chlipala Ask GCC to strip executables
2008-09-07 Adam Chlipala Ran a prepared statement with one string parameter
2008-09-02 Adam Chlipala Compiling a parametrized query the inefficient way
2008-09-02 Adam Chlipala Generating SQL files
2008-09-02 Adam Chlipala Initializing database connection
2008-09-02 Adam Chlipala 'database' declaration threaded through compiler
2008-09-02 Adam Chlipala Parsing jobs
2008-08-31 Adam Chlipala Monoize ASC/DESC
2008-08-31 Adam Chlipala Avoid unnecessary WHERE clause
2008-08-31 Adam Chlipala Laconic -> Ur
2008-08-12 Adam Chlipala Finish moving all phases to the new interface
2008-08-12 Adam Chlipala Consolidating compiler phase interface and adding timing
2008-08-08 Adam Chlipala Specialization of single-parameter datatypes
2008-08-03 Adam Chlipala bool in Basis
2008-08-03 Adam Chlipala Optimizing 'case' in Mono_reduce
2008-07-29 Adam Chlipala Datatypes through corify
2008-07-19 Adam Chlipala Change driver to use Pthreads
2008-07-17 Adam Chlipala Proper escaping of cdata
2008-07-17 Adam Chlipala MonoShake
2008-07-17 Adam Chlipala MonoReduce
2008-07-17 Adam Chlipala Proper topological sorting in untangle
2008-07-17 Adam Chlipala Untangle
2008-07-13 Adam Chlipala Print a message on Laconic compilation failure
2008-07-13 Adam Chlipala Turn on gcc -O3
2008-07-13 Adam Chlipala Starting with closure links
2008-07-13 Adam Chlipala Remove closure conversion in favor of zany fun with modules, which also replaces 'page'
2008-07-10 Adam Chlipala Writing HTML
2008-07-03 Adam Chlipala Mono optimizations (start with string concat and space eating)
2008-06-22 Adam Chlipala Separate compilation and automatic basis importation
2008-06-22 Adam Chlipala Parsing signature files
2008-06-19 Adam Chlipala Corify removes modules
2008-06-19 Adam Chlipala Explify
2008-06-12 Adam Chlipala Matching values in signatures
2008-06-12 Adam Chlipala Simple signature matching
2008-06-10 Adam Chlipala Translation to Cjr
2008-06-10 Adam Chlipala Closure conversion
2008-06-10 Adam Chlipala Monoize
2008-06-08 Adam Chlipala Run a shake before reducing
2008-06-08 Adam Chlipala Tree-shaking
2008-06-08 Adam Chlipala Some con reducing
2008-06-08 Adam Chlipala Conversion to Core
2008-06-08 Adam Chlipala Primitive type constants
2008-01-26 Adam Chlipala Elaborating files
2008-01-26 Adam Chlipala Rename Laconic* modules to Source*
2008-01-26 Adam Chlipala Initial parsing and pretty-printing