log src/compiler.sig

age author description
2009-12-24 Adam Chlipala Module roots
2009-12-24 Adam Chlipala Convenience libifying; allow more NULLs with globals
2009-12-22 Adam Chlipala Alternate job-parsing interface, to avoid merging library directives
2009-12-16 Adam Chlipala Especialize uses a termination measure based on number of arguments introduced
2009-12-08 Adam Chlipala Shake bug fix; pattern reduction in ReduceLocal
2009-11-25 Adam Chlipala Refactor compile functions; allow empty tag contents
2009-10-25 Adam Chlipala RPC uses VM support for call/cc
2009-10-25 Adam Chlipala Inlining threshold for Mono_reduce
2009-09-17 Adam Chlipala Grid changed to use Dlist.replace; filters stopped working
2009-09-08 Adam Chlipala dragList almost kinda works
2009-07-19 Adam Chlipala Working on Grid; have gone from one dynamic table bizareness to another
2009-07-16 Adam Chlipala Demo working with MySQL
2009-06-28 Adam Chlipala Start of multi-DBMS support
2009-05-14 Adam Chlipala Improving/reordering Unpoly and Especialize; pathmaps
2009-05-02 Adam Chlipala allow/deny working in Mono_opt
2009-05-02 Adam Chlipala Path rewriting
2009-05-02 Adam Chlipala More FFI compiler options
2009-05-02 Adam Chlipala Successfully influenced effectful-ness status of FFI func
2009-04-30 Adam Chlipala C FFI compiler options
2009-04-26 Adam Chlipala Reading blobs from the database
2009-04-16 Adam Chlipala Effectness analysis
2009-04-04 Adam Chlipala Fix overzealous Marshalcheck; garbage-collect string-embedded closures when no dyns are active
2009-03-28 Adam Chlipala Marshalcheck
2009-03-24 Adam Chlipala Variable timeouts and client keep-alive
2009-03-10 Adam Chlipala Avoid any JavaScript when pages don't need it; update demo prose
2009-03-09 Adam Chlipala Conversion of functions to CPS, to facilitate ServerCall
2009-02-14 Adam Chlipala Start of RPCification
2009-01-13 Adam Chlipala Initial experiments with nested <dyn>
2008-12-21 Adam Chlipala Handling singnal bind
2008-12-20 Adam Chlipala Start of JsComp
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-02 Adam Chlipala Nested save compiles
2008-11-01 Adam Chlipala First Unnest tests working
2008-10-30 Adam Chlipala Especialize
2008-10-26 Adam Chlipala Avoid using libpq when unneeded
2008-10-19 Adam Chlipala Support for URL prefixes that works with local demo
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 Unpoly non-recursive function
2008-09-09 Adam Chlipala Termination checking
2008-09-07 Adam Chlipala Ran a prepared statement with one string parameter
2008-09-02 Adam Chlipala Generating SQL files
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 Optimizing 'case' in Mono_reduce
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 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-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 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 Tree-shaking
2008-06-08 Adam Chlipala Some con reducing
2008-06-08 Adam Chlipala Conversion to Core
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