Commit message (Collapse) | Author | Age | ||
---|---|---|---|---|
... | ||||
| * | Fix index-matching bug in MonoReduce effect calculation | Adam Chlipala | 2014-07-21 | |
| | | ||||
| * | Default 'jsFunc' for less-safe FFI | Adam Chlipala | 2014-07-16 | |
| | | ||||
| * | Fix off-by-one error in less-safe FFI wrapper generation | Adam Chlipala | 2014-07-13 | |
| | | ||||
| * | Return to working version mode | Adam Chlipala | 2014-07-04 | |
| | | ||||
| * | New release | Adam Chlipala | 2014-07-04 | |
| | | ||||
| * | Top.max and Top.min | Adam Chlipala | 2014-06-29 | |
| | | ||||
| * | Fix uw_Basis_lt_time | Adam Chlipala | 2014-06-29 | |
| | | ||||
| * | Add locking to enforce atomicity of message sends from one transaction | Adam Chlipala | 2014-06-27 | |
| | | ||||
| * | Finish example | Adam Chlipala | 2014-06-25 | |
| | | ||||
| * | New syntactic shorthand for antiquoting subqueries | Adam Chlipala | 2014-06-25 | |
| | | ||||
| * | Call try_rollback before resetting the context | Sergey Mironov | 2014-06-15 | |
| | | | | | | | | This will allow FFI cleanup handlers to complete. | |||
| * | 'sql_injectable_prim' instance for 'url' | Adam Chlipala | 2014-06-15 | |
| | | ||||
| * | Return to working version mode | Adam Chlipala | 2014-06-15 | |
| | | ||||
| * | New release | Adam Chlipala | 2014-06-15 | |
| | | ||||
| * | Treat <button> 'value' attribute as content of tag | Adam Chlipala | 2014-06-13 | |
| | | ||||
| * | let..where..end | Adam Chlipala | 2014-06-11 | |
| | | ||||
| * | Allow '+' char in blessMime | Sergey Mironov | 2014-06-05 | |
| | | | | | | | | | | | | See this one [1] for an example [1] - http://www.w3.org/TR/SVGTiny12/mimereg.html | |||
| * | Fix a bug in demos with 'rewrite all' | Adam Chlipala | 2014-06-11 | |
| | | ||||
| * | Change String to avoid Char dependency | Adam Chlipala | 2014-06-11 | |
| | | ||||
| * | String.trim; add OnChange to more tags | Adam Chlipala | 2014-06-10 | |
| | | ||||
| * | Remove special treatment of <button> | Adam Chlipala | 2014-06-09 | |
| | | ||||
* | | Merge. | Ziv Scully | 2014-05-31 | |
|\| | ||||
| * | Return to working version mode | Adam Chlipala | 2014-05-31 | |
| | | ||||
| * | New release | Adam Chlipala | 2014-05-31 | |
| | | ||||
* | | 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. | |||
* | | Merge. | Ziv Scully | 2014-05-30 | |
|\| | ||||
* | | Removes DBMS choice override from compiler.sml (which was there for debugging). | Ziv Scully | 2014-05-30 | |
| | | ||||
| * | Align to sizeof(void *) instead of fixed 4 | Adam Chlipala | 2014-05-28 | |
| | | ||||
* | | Merge. | Ziv Scully | 2014-05-27 | |
|\| | ||||
* | | Forgets deleted files. | Ziv Scully | 2014-05-27 | |
| | | ||||
* | | 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. | |||
| * | 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 ↵ | Adam Chlipala | 2014-05-18 | |
| | | | | | | | | (based on patch by Evan Danaher) | |||
| * | 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 ↵ | Adam Chlipala | 2014-04-15 | |
| | | | | | | | | serialization failures | |||
* | | 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 | |
| | |