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 |
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 |
2008-09-07 |
Adam Chlipala |
Ran a prepared statement with one string parameter |
2008-08-31 |
Adam Chlipala |
Laconic -> Ur |
2008-08-08 |
Adam Chlipala |
Specialization of single-parameter datatypes |
2008-07-17 |
Adam Chlipala |
MonoShake |
2008-07-17 |
Adam Chlipala |
MonoReduce |
2008-07-17 |
Adam Chlipala |
Untangle |
2008-07-13 |
Adam Chlipala |
Starting with closure links |
2008-07-13 |
Adam Chlipala |
Remove closure conversion in favor of zany fun with modules, which also replaces 'page' |
2008-07-10 |
Adam Chlipala |
Fix dependency graph mismatch in sources |
2008-07-03 |
Adam Chlipala |
Mono optimizations (start with string concat and space eating) |
2008-07-01 |
Adam Chlipala |
Initial disjointness prover |
2008-07-01 |
Adam Chlipala |
Factor some operations into ElabOps |
2008-06-19 |
Adam Chlipala |
Explify |
2008-06-10 |
Adam Chlipala |
Translation to Cjr |
2008-06-10 |
Adam Chlipala |
Closure conversion |
2008-06-10 |
Adam Chlipala |
Monoize |
2008-06-08 |
Adam Chlipala |
Tree-shaking |
2008-06-08 |
Adam Chlipala |
Some con reducing |
2008-06-08 |
Adam Chlipala |
Conversion to Core |
2008-06-08 |
Adam Chlipala |
Primitive type constants |
2008-06-08 |
Adam Chlipala |
Lifting cons in ElabEnv |
2008-03-28 |
Adam Chlipala |
Start of elaborating expressions |
2008-01-26 |
Adam Chlipala |
Check for leftover kind unifs |
2008-01-26 |
Adam Chlipala |
Elaborating files |
2008-01-26 |
Adam Chlipala |
Rename Laconic* modules to Source* |
2008-01-26 |
Adam Chlipala |
Elaborating cons and decls |
2008-01-26 |
Adam Chlipala |
Start of elaboration |
2008-01-26 |
Adam Chlipala |
Initial parsing and pretty-printing |
2008-01-26 |
Adam Chlipala |
Initial skeleton |