log src/sources

age author description
2014-08-17 Adam Chlipala New phase: Dbmodecheck
2014-02-20 Adam Chlipala Some more nested functor bug-fixing, including generating fresh internal names at applications; still need to debug issues with datatype constructors
2013-11-22 Anders Kaseorg Allow building in a separate build directory
2013-06-15 Adam Chlipala Add Sigcheck phase to avoid issues with signatures in global initializers
2012-08-02 Adam Chlipala New NameJs phase, still needing some debugging
2012-04-29 Adam Chlipala Initial support for reusing elaboration results
2012-03-12 Edward Z. Yang Refactor SQL parsing code from Iflow to Sql, add querydml parser.
2012-01-02 Adam Chlipala Fix handling of quotes in generating C literals
2011-11-14 Adam Chlipala Better error messages about server-side use of client-side functions
2011-11-05 Adam Chlipala Support the full set of XHTML character entities
2011-07-15 Adam Chlipala Generated pretty-printed HTML for a simple tutorial source file
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