| Commit message (Expand) | Author | Age |
* | Merge. | Ziv Scully | 2014-05-27 |
|\ |
|
* | | Forgets deleted files. | Ziv Scully | 2014-05-27 |
* | | Finishes initial prototype, caching parameterless pages with table-match-base... | Ziv Scully | 2014-05-27 |
| * | Warn about MLton memory usage | Adam Chlipala | 2014-05-25 |
| * | Fix datetime construction (contributed by Patrick Hurst) | Adam Chlipala | 2014-05-18 |
| * | Added HTML5 Semantic Tags | David Snider | 2014-05-10 |
| * | Change context-local memory allocation to return word-aligned addresses (base... | Adam Chlipala | 2014-05-18 |
| * | Fix dynClass for non-<body> contexts | Adam Chlipala | 2014-05-04 |
| * | A .urs comment about [queryL*] | Adam Chlipala | 2014-05-03 |
| * | New lessSafeFfi | Adam Chlipala | 2014-05-02 |
| * | Monadic bind supports patterns | Adam Chlipala | 2014-05-02 |
| * | HTML5 data-* attributes | Adam Chlipala | 2014-05-02 |
| * | <thead>, <tbody>, <tfoot> | Adam Chlipala | 2014-04-30 |
| * | Allow parens grouping joins in FROM clauses | Adam Chlipala | 2014-04-29 |
| * | Return to working version mode | Adam Chlipala | 2014-04-26 |
| * | Fix a bug in GROUP BY generation [keeping within today's release] | Adam Chlipala | 2014-04-26 |
| * | New release | Adam Chlipala | 2014-04-26 |
| * | Change <active> to avoid generating an empty <span> for empty content | Adam Chlipala | 2014-04-21 |
| * | uw_register_transactional() can return error codes | Adam Chlipala | 2014-04-17 |
| * | Tweaking uw_commit() logic, partly to fix a resource clean-up bug on SQL seri... | Adam Chlipala | 2014-04-15 |
* | | ML half of initial prototype. (Doesn't compile because there's no C yet.) | Ziv Scully | 2014-03-25 |
* | | Identifies tables read or touched by queries. | Ziv Scully | 2014-03-08 |
| * | Add <pre> tag support | Sergey Mironov | 2014-02-24 |
| * | Protect uw_Basis_new_client_source from invalid ctx->id | Sergey Mironov | 2014-02-26 |
| * | Define uw_loggers structure, allow FFI code to access it | Sergey Mironov | 2014-02-26 |
| * | Update manual inaccuracies about client-side functions | Adam Chlipala | 2014-04-13 |
| * | -explainEmbed | Adam Chlipala | 2014-03-17 |
|/ |
|
* | getenv calls UNIX getenv() when no special alternative is set | Adam Chlipala | 2014-03-07 |
* | Change Basis.getenv to return None outside the context of a web request | Adam Chlipala | 2014-03-04 |
* | Parse new bytea output format from Postgres 9.x | Adam Chlipala | 2014-02-25 |
* | Tweaked parameter renaming for functors, so now demos and the original bug-tr... | Adam Chlipala | 2014-02-20 |
* | Fixed issue with datatype constructors inside functors; now on to some proble... | Adam Chlipala | 2014-02-20 |
* | Some more nested functor bug-fixing, including generating fresh internal name... | Adam Chlipala | 2014-02-20 |
* | Merge with small clean-ups | Adam Chlipala | 2014-02-18 |
|\ |
|
| * | Add Datetime JavaScript support. | Patrick Hurst | 2014-02-17 |
* | | MySQL does case-sensitive catalog queries | Adam Chlipala | 2014-02-17 |
* | | Use neverInline in reduce | Adam Chlipala | 2014-02-15 |
| * | Merge in upstream | Patrick Hurst | 2014-02-15 |
| |\
| |/
|/| |
|
* | | Fix a subtle renaming problem in elaborating functor applications | Adam Chlipala | 2014-02-14 |
| * | Merge in upstream | Patrick Hurst | 2014-02-14 |
| |\
| |/
|/| |
|
* | | Merge | Adam Chlipala | 2014-02-09 |
|\ \ |
|
* | | | neverInline | Adam Chlipala | 2014-02-09 |
| * | | Turn off GCC's fancy %n checking, because the performance cost is too high | Adam Chlipala | 2014-02-07 |
| | * | Merge in upstream | Patrick Hurst | 2014-01-29 |
| | |\
| | |/
| |/| |
|
| * | | Add another simple case for record unification between alpha-equivalent const... | Adam Chlipala | 2014-01-29 |
|/ / |
|
| * | Use localtime, not gmtime, for datetime functions. | Patrick Hurst | 2014-01-25 |
| * | Trim trailing whitespace in urweb.c. | Patrick Hurst | 2014-01-25 |
* | | Make that purity analysis a bit more lax again | Adam Chlipala | 2014-01-19 |
* | | Fix a soundness bug in purity analysis (mono_reduce) | Adam Chlipala | 2014-01-19 |
* | | New compiler option: -stop | Adam Chlipala | 2014-01-19 |