Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Add bg_thread.dummy.sml to mock MLton threads in sml/nj | Simon Van Casteren | 2020-01-08 |
| | |||
* | Added background threads | Simon Van Casteren | 2019-12-15 |
| | |||
* | Moved json and lsp code into seperate modules | Simon Van Casteren | 2019-12-13 |
| | |||
* | Added initial version of lsp | Simon Van Casteren | 2019-12-13 |
| | |||
* | Added comments and extracted typeOf/getInfo into seperate module | FrigoEU | 2019-08-03 |
| | |||
* | first iteration of "typeOf" command | FrigoEU | 2019-07-31 |
| | |||
* | Fix build error. | Artyom Shalkhakov | 2019-01-27 |
| | |||
* | 'filecache' .urp directive, fixing a longstanding MonoUtil bug in the process | Adam Chlipala | 2018-06-03 |
| | |||
* | Use hash instead of timestamp in app.js filename | Jacob Mitchell | 2016-09-08 |
| | | | | | Makes Ur/Web project builds reproducible without sacrificing HTTP caching. Uses a public domain SHA1 implementation by tom7. See #38. | ||
* | Sqlcache: also record script additions; do a MonoReduce afterward, to help ↵ | Adam Chlipala | 2016-03-12 |
| | | | | Prepare do a better job | ||
* | Merge Sqlcache | Adam Chlipala | 2015-12-20 |
|\ | |||
| * | Support nested queries but disable UrFlow for now. | Ziv Scully | 2015-11-19 |
| | | |||
| * | Progress on free paths, but consolidation seems to fail more with them. | Ziv Scully | 2015-11-09 |
| | | |||
| * | Factor out urlification. | Ziv Scully | 2015-09-21 |
| | | |||
| * | Factor out [Monoize.Fm] to make it accessible to [Sqlcache]. | Ziv Scully | 2015-09-21 |
| | | |||
| * | Rename C functions and remove functors nested inside modules. | Ziv Scully | 2015-07-19 |
| | | |||
| * | Progress on LRU cache but still more known bugs to fix. | Ziv Scully | 2015-06-28 |
| | | |||
| * | More work factoring out Sqlcache back end. | Ziv Scully | 2015-05-06 |
| | | |||
| * | Factor out cache implementation from Sqlcache. | Ziv Scully | 2015-05-06 |
| | | |||
| * | Progress towards invalidation based on equalities of fields. | Ziv Scully | 2014-11-10 |
| | | |||
| * | Mostly finish effectfulness analysis. | Ziv Scully | 2014-10-31 |
| | | |||
| * | Complete overhaul: cache queries based on immediate query result, not ↵ | Ziv Scully | 2014-10-14 |
| | | | | | | | | eventual HTML output. | ||
| * | Merge. | Ziv Scully | 2014-09-13 |
| |\ | |/ |/| | |||
* | | New phase: Dbmodecheck | Adam Chlipala | 2014-08-17 |
| | | |||
| * | Cleans up interface (it's now a command line option) and renames project to ↵ | Ziv Scully | 2014-05-31 |
| | | | | | | | | "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. | ||
| * | Finishes initial prototype, caching parameterless pages with ↵ | Ziv Scully | 2014-05-27 |
|/ | | | | table-match-based invalidation. Still has problems parsing non-Postgres SQL dialects properly. | ||
* | Some more nested functor bug-fixing, including generating fresh internal ↵ | Adam Chlipala | 2014-02-20 |
| | | | | names at applications; still need to debug issues with datatype constructors | ||
* | Allow building in a separate build directory | Anders Kaseorg | 2013-11-22 |
| | | | | | | | | | | 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(-) | ||
* | Add Sigcheck phase to avoid issues with signatures in global initializers | Adam Chlipala | 2013-06-15 |
| | |||
* | New NameJs phase, still needing some debugging | Adam Chlipala | 2012-08-02 |
| | |||
* | Initial support for reusing elaboration results | Adam Chlipala | 2012-04-29 |
| | |||
* | Refactor SQL parsing code from Iflow to Sql, add querydml parser. | Edward Z. Yang | 2012-03-12 |
| | |||
* | Fix handling of quotes in generating C literals | Adam Chlipala | 2012-01-02 |
| | |||
* | Better error messages about server-side use of client-side functions | Adam Chlipala | 2011-11-14 |
| | |||
* | Support the full set of XHTML character entities | Adam Chlipala | 2011-11-05 |
| | |||
* | Generated pretty-printed HTML for a simple tutorial source file | Adam Chlipala | 2011-07-15 |
| | |||
* | Reduce: Inline let-bound variables whose types involve functions | Adam Chlipala | 2010-08-22 |
| | |||
* | Another run of Specialize, using ReduceLocal on datatype parameters | Adam Chlipala | 2010-06-05 |
| | |||
* | Command-line use of Iflow | Adam Chlipala | 2010-04-13 |
| | |||
* | Generated basic dummy Iflow conditions | Adam Chlipala | 2010-04-04 |
| | |||
* | Basic analysis of tag and CSS class usage | Adam Chlipala | 2010-02-27 |
| | |||
* | RPC uses VM support for call/cc | Adam Chlipala | 2009-10-25 |
| | |||
* | Grid changed to use Dlist.replace; filters stopped working | Adam Chlipala | 2009-09-17 |
| | |||
* | demo/sql works with SQLite | Adam Chlipala | 2009-07-17 |
| | |||
* | Fix dependency misordering | Adam Chlipala | 2009-07-17 |
| | |||
* | Demo working with MySQL | Adam Chlipala | 2009-07-16 |
| | |||
* | Demo compiles again with Postgres and MySQL; MySQL version lacks sequence ↵ | Adam Chlipala | 2009-07-12 |
| | | | | code and so doesn't work yet | ||
* | Start of multi-DBMS support | Adam Chlipala | 2009-06-28 |
| | |||
* | Move http protocol into its own file | Adam Chlipala | 2009-06-28 |
| | |||
* | Successfully starting FastCGI sessions with Apache | Adam Chlipala | 2009-06-27 |
| |