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.