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 |
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 |
2009-09-17 |
Adam Chlipala |
Grid changed to use Dlist.replace; filters stopped working |
2009-07-17 |
Adam Chlipala |
demo/sql works with SQLite |
2009-07-17 |
Adam Chlipala |
Fix dependency misordering |
2009-07-16 |
Adam Chlipala |
Demo working with MySQL |
2009-07-12 |
Adam Chlipala |
Demo compiles again with Postgres and MySQL; MySQL version lacks sequence code and so doesn't work yet |
2009-06-28 |
Adam Chlipala |
Start of multi-DBMS support |
2009-06-28 |
Adam Chlipala |
Move http protocol into its own file |
2009-06-27 |
Adam Chlipala |
Successfully starting FastCGI sessions with Apache |
2009-06-27 |
Adam Chlipala |
Avoid using prepared statements for non-persistent protocols |
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 |