Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Don't use uw_malloc() or equivalent in generating error messages while ↵ | Adam Chlipala | 2014-08-15 |
| | | | | parsing HTTP request | ||
* | Add tests/dbupload2.* files | Sergey Mironov | 2014-08-15 |
| | | | | | tests/dbupload2.sh is a shell script which run the test scenario On my machine the executable segfaults after curl request | ||
* | Return to working version mode | Adam Chlipala | 2014-08-07 |
| | |||
* | New release | Adam Chlipala | 2014-08-07 |
| | |||
* | MonoReduce bug involving 'error' | Adam Chlipala | 2014-08-06 |
| | |||
* | When unifying constructor-level unification variables, also unify their kinds | Adam Chlipala | 2014-08-01 |
| | |||
* | Differentiate between HTML and normal string literals | Adam Chlipala | 2014-08-01 |
| | |||
* | 'aria-*' attributes | Adam Chlipala | 2014-08-01 |
| | |||
* | New .urp directive: file | Adam Chlipala | 2014-07-31 |
| | |||
* | Added javascript for Basis.strsindex | Samuel Dukhovni | 2014-07-28 |
| | |||
* | Retweak the last tweak to allow type inference to succeed in a strict ↵ | Adam Chlipala | 2014-07-29 |
| | | | | superset of the places where it used to succeed | ||
* | Small tweak to ordering of unification rules, to support better record matching | Adam Chlipala | 2014-07-29 |
| | |||
* | Manual: Heuristic compilation warning | Adam Chlipala | 2014-07-26 |
| | |||
* | Another MonoReduce fix | Adam Chlipala | 2014-07-26 |
| | |||
* | 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 |
| | |||
* | Return to working version mode | Adam Chlipala | 2014-05-31 |
| | |||
* | New release | Adam Chlipala | 2014-05-31 |
| | |||
* | Align to sizeof(void *) instead of fixed 4 | Adam Chlipala | 2014-05-28 |
| | |||
* | 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 |
| |