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 |
2008-10-30 |
Adam Chlipala |
Especialize |
2008-10-19 |
Adam Chlipala |
Demo HTML generation, minus source code |
2008-10-19 |
Adam Chlipala |
Proper configuration and installation |
2008-10-19 |
Adam Chlipala |
Proper generation of relation names; checking that sequences exist |
2008-09-13 |
Adam Chlipala |
foldTR2 |
2008-09-11 |
Adam Chlipala |
Unpoly non-recursive function |
2008-09-09 |
Adam Chlipala |
Termination checking |