log src/sources

age author description
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
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