changeset | 6fb9232ade99 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Merge Sqlcache |
files |
changeset | f8903af753ff |
---|---|
branch | |
bookmark | |
tag | |
user | Ziv Scully <ziv@mit.edu> |
description | Support nested queries but disable UrFlow for now. |
files |
changeset | c05f9a5e0f0f |
---|---|
branch | |
bookmark | |
tag | |
user | Ziv Scully <ziv@mit.edu> |
description | Progress on free paths, but consolidation seems to fail more with them. |
files |
changeset | 44ae2254f8fb |
---|---|
branch | |
bookmark | |
tag | |
user | Ziv Scully <ziv@mit.edu> |
description | Factor out urlification. |
files |
changeset | d665925acff8 |
---|---|
branch | |
bookmark | |
tag | |
user | Ziv Scully <ziv@mit.edu> |
description | Factor out [Monoize.Fm] to make it accessible to [Sqlcache]. |
files |
changeset | 88cc0f44c940 |
---|---|
branch | |
bookmark | |
tag | |
user | Ziv Scully <ziv@mit.edu> |
description | Rename C functions and remove functors nested inside modules. |
files |
changeset | 2f7ed04332a0 |
---|---|
branch | |
bookmark | |
tag | |
user | Ziv Scully <ziv@mit.edu> |
description | Progress on LRU cache but still more known bugs to fix. |
files |
changeset | af1585e7d645 |
---|---|
branch | |
bookmark | |
tag | |
user | Ziv Scully <ziv@mit.edu> |
description | More work factoring out Sqlcache back end. |
files |
changeset | a749acc51ae4 |
---|---|
branch | |
bookmark | |
tag | |
user | Ziv Scully <ziv@mit.edu> |
description | Factor out cache implementation from Sqlcache. |
files |
changeset | 70ec9bb337be |
---|---|
branch | |
bookmark | |
tag | |
user | Ziv Scully <ziv@mit.edu> |
description | Progress towards invalidation based on equalities of fields. |
files |
changeset | 639e62ca2530 |
---|---|
branch | |
bookmark | |
tag | |
user | Ziv Scully <ziv@mit.edu> |
description | Mostly finish effectfulness analysis. |
files |
changeset | 365727ff68f4 |
---|---|
branch | |
bookmark | |
tag | |
user | Ziv Scully <ziv@mit.edu> |
description | Complete overhaul: cache queries based on immediate query result, not eventual HTML output. |
files |
changeset | ef766ef6e242 |
---|---|
branch | |
bookmark | |
tag | |
user | Ziv Scully <ziv@mit.edu> |
description | Merge. |
files |
changeset | 0ca11d57c175 |
---|---|
branch | |
bookmark | |
tag | |
user | Ziv Scully <ziv@mit.edu> |
description | Cleans up interface (it's now a command line option) and renames project to "sqlcache" in the all-one-word style. Still has issues to do with concurrency, retrying transactions, and foreign function calls that either rely on state or have side effects. |
files |
changeset | 01c8aceac480 |
---|---|
branch | |
bookmark | |
tag | |
user | Ziv Scully <ziv@mit.edu> |
description | Finishes initial prototype, caching parameterless pages with table-match-based invalidation. Still has problems parsing non-Postgres SQL dialects properly. |
files |
changeset | a9159911c3ba |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | New phase: Dbmodecheck |
files |
changeset | 210fb3dfc483 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Some more nested functor bug-fixing, including generating fresh internal names at applications; still need to debug issues with datatype constructors |
files |
changeset | 0d2fdc2cc46c |
---|---|
branch | |
bookmark | |
tag | |
user | Anders Kaseorg <andersk@mit.edu> |
description | Allow building in a separate build directory Signed-off-by: Anders Kaseorg <andersk@mit.edu> --- Makefile.am | 30 +++--- src/c/Makefile.am | 2 +- src/compiler.mlb | 2 +- src/sources | 302 +++++++++++++++++++++++++++--------------------------- 4 files changed, 168 insertions(+), 168 deletions(-) |
files |
changeset | 3683d1a8c1c8 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Add Sigcheck phase to avoid issues with signatures in global initializers |
files |
changeset | 38297294cf98 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | New NameJs phase, still needing some debugging |
files |
changeset | 4a03aa3251cb |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Initial support for reusing elaboration results |
files |
changeset | cb0f05bdc183 |
---|---|
branch | |
bookmark | |
tag | |
user | Edward Z. Yang <ezyang@mit.edu> |
description | Refactor SQL parsing code from Iflow to Sql, add querydml parser. |
files |
changeset | 3e7c7e200713 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Fix handling of quotes in generating C literals |
files |
changeset | 154cfe2eb366 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Better error messages about server-side use of client-side functions |
files |
changeset | 1c9f8f06c1d6 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Support the full set of XHTML character entities |
files |
changeset | 9cb923efea4d |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Generated pretty-printed HTML for a simple tutorial source file |
files |
changeset | 3b22c3c67f35 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Reduce: Inline let-bound variables whose types involve functions |
files |
changeset | 5b5c0b552f59 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Another run of Specialize, using ReduceLocal on datatype parameters |
files |
changeset | a7b773f1d053 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Command-line use of Iflow |
files |
changeset | 5eac14322548 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Generated basic dummy Iflow conditions |
files |
changeset | 52c6ac6a59f1 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Basic analysis of tag and CSS class usage |
files |
changeset | dfe34fad749d |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | RPC uses VM support for call/cc |
files |
changeset | 2831be2daf2e |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Grid changed to use Dlist.replace; filters stopped working |
files |
changeset | e6070333d8a8 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | demo/sql works with SQLite |
files |
changeset | 45a63416adb4 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Fix dependency misordering |
files |
changeset | b2a175a0f2ef |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Demo working with MySQL |
files |
changeset | 025806b3c014 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Demo compiles again with Postgres and MySQL; MySQL version lacks sequence code and so doesn't work yet |
files |
changeset | 03e7f111fe99 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Start of multi-DBMS support |
files |
changeset | ebefb0609ac3 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Move http protocol into its own file |
files |
changeset | 60240acd15b9 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Successfully starting FastCGI sessions with Apache |
files |
changeset | 346cf1908a17 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Avoid using prepared statements for non-persistent protocols |
files |
changeset | 7f653298dd66 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | C FFI compiler options |
files |
changeset | 5819fb63c93a |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Effectness analysis |
files |
changeset | e0dd85ea58e1 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Label exported symbols by effect-ness; factor out some common datatypes |
files |
changeset | e6706a1df013 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Track uniqueness sets in table types |
files |
changeset | 54ec237a3028 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Marshalcheck |
files |
changeset | aa2290c32ce2 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Avoid any JavaScript when pages don't need it; update demo prose |
files |
changeset | 0dd40b6bfdf3 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Start of RPCification |
files |
changeset | 1901db85acb4 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Start of JsComp |
files |
changeset | 3f20c22098af |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Untangle and shake within Especialize loop |
files |
changeset | 65d8541c130b |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Fusing writes with recursive function calls |
files |
changeset | 685b41e85634 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Defunctionalization gets CommentBlog working |
files |
changeset | 9117a7bf229c |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Especialize working reasonably well; need to add new closure representation pass |
files |
changeset | 9163f8014f9b |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Nested save compiles |
files |
changeset | 787d4931fb07 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Almost have that nested save function compiling |
files |
changeset | 85819353a84f |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | First Unnest tests working |
files |
changeset | bd9ee9aeca2f |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Especialize |
files |
changeset | 758304561b60 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Demo HTML generation, minus source code |
files |
changeset | 168667cdaa95 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Proper configuration and installation |
files |
changeset | 78358e5df273 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Proper generation of relation names; checking that sequences exist |
files |