log src/sources

age author description
2010-08-22 Adam Chlipala Reduce: Inline let-bound variables whose types involve functions
2010-06-05 Adam Chlipala Another run of Specialize, using ReduceLocal on datatype parameters
2010-04-13 Adam Chlipala Command-line use of Iflow
2010-04-04 Adam Chlipala Generated basic dummy Iflow conditions
2010-02-27 Adam Chlipala Basic analysis of tag and CSS class usage
2009-10-25 Adam Chlipala RPC uses VM support for call/cc
2009-09-17 Adam Chlipala Grid changed to use Dlist.replace; filters stopped working
2009-07-17 Adam Chlipala demo/sql works with SQLite
2009-07-17 Adam Chlipala Fix dependency misordering
2009-07-16 Adam Chlipala Demo working with MySQL
2009-07-12 Adam Chlipala Demo compiles again with Postgres and MySQL; MySQL version lacks sequence code and so doesn't work yet
2009-06-28 Adam Chlipala Start of multi-DBMS support
2009-06-28 Adam Chlipala Move http protocol into its own file
2009-06-27 Adam Chlipala Successfully starting FastCGI sessions with Apache
2009-06-27 Adam Chlipala Avoid using prepared statements for non-persistent protocols
2009-04-30 Adam Chlipala C FFI compiler options
2009-04-16 Adam Chlipala Effectness analysis
2009-04-16 Adam Chlipala Label exported symbols by effect-ness; factor out some common datatypes
2009-04-07 Adam Chlipala Track uniqueness sets in table types
2009-03-28 Adam Chlipala Marshalcheck
2009-03-10 Adam Chlipala Avoid any JavaScript when pages don't need it; update demo prose
2009-02-14 Adam Chlipala Start of RPCification
2008-12-20 Adam Chlipala Start of JsComp
2008-11-27 Adam Chlipala Untangle and shake within Especialize loop
2008-11-25 Adam Chlipala Fusing writes with recursive function calls
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-02 Adam Chlipala Nested save compiles
2008-11-02 Adam Chlipala Almost have that nested save function compiling
2008-11-01 Adam Chlipala First Unnest tests working