Mercurial > urweb
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. |