log src/sources

age author description
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
2008-09-07 Adam Chlipala Ran a prepared statement with one string parameter
2008-08-31 Adam Chlipala Laconic -> Ur
2008-08-08 Adam Chlipala Specialization of single-parameter datatypes
2008-07-17 Adam Chlipala MonoShake
2008-07-17 Adam Chlipala MonoReduce
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'