log src/sources

age author description
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
2008-10-30 Adam Chlipala Especialize
2008-10-19 Adam Chlipala Demo HTML generation, minus source code
2008-10-19 Adam Chlipala Proper configuration and installation
2008-10-19 Adam Chlipala Proper generation of relation names; checking that sequences exist
2008-09-13 Adam Chlipala foldTR2
2008-09-11 Adam Chlipala Unpoly non-recursive function
2008-09-09 Adam Chlipala Termination checking