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 |
2009-03-28 |
Adam Chlipala |
Marshalcheck |
2009-03-10 |
Adam Chlipala |
Avoid any JavaScript when pages don't need it; update demo prose |
2009-02-14 |
Adam Chlipala |
Start of RPCification |
2008-12-20 |
Adam Chlipala |
Start of JsComp |
2008-11-27 |
Adam Chlipala |
Untangle and shake within Especialize loop |
2008-11-25 |
Adam Chlipala |
Fusing writes with recursive function calls |
2008-11-09 |
Adam Chlipala |
Defunctionalization gets CommentBlog working |
2008-11-09 |
Adam Chlipala |
Especialize working reasonably well; need to add new closure representation pass |
2008-11-02 |
Adam Chlipala |
Nested save compiles |
2008-11-02 |
Adam Chlipala |
Almost have that nested save function compiling |
2008-11-01 |
Adam Chlipala |
First Unnest tests working |