Commit message (Collapse) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | Optimizing writes of single characters | Adam Chlipala | 2014-12-04 | |
| | ||||
* | More aggressive inlining of 'let' with record literals, plus some changes to ↵ | Adam Chlipala | 2014-12-04 | |
| | | | | Monoization of queries, to make inlining more common | |||
* | MonoOpt: remove concatenation with empty string | Adam Chlipala | 2014-12-03 | |
| | ||||
* | Some more optimization of string expressions showing up in JSON generation ↵ | Adam Chlipala | 2014-12-03 | |
| | | | | (Meta library) | |||
* | Tiny lexer change for SML/NJ compatibility (suggested by Ziv Scully) | Adam Chlipala | 2014-11-25 | |
| | ||||
* | More HTML5 AJAX widgets | Adam Chlipala | 2014-11-16 | |
| | ||||
* | Textual HTML5 AJAX widgets | Adam Chlipala | 2014-11-16 | |
| | ||||
* | Some more HTML5 input types | Adam Chlipala | 2014-11-16 | |
| | ||||
* | More simple textual HTML5 input types | Adam Chlipala | 2014-11-16 | |
| | ||||
* | Remove 'value' attribute of <checkbox> | Adam Chlipala | 2014-11-16 | |
| | ||||
* | Make 'required' and 'autofocus' attributes Boolean; add a syntax extension ↵ | Adam Chlipala | 2014-11-16 | |
| | | | | for parsing their usual HTML syntax | |||
* | HTML5 input attributes: placeholder, required, autofocus; email input type ↵ | Sergey Mironov | 2014-10-12 | |
| | | | | (without cformTag equivalent) | |||
* | uw_remoteSock() | Adam Chlipala | 2014-11-16 | |
| | ||||
* | Default to parsing time strings with the application-configured format | Adam Chlipala | 2014-09-20 | |
| | ||||
* | Introduce recv timeout controlled by '-T' option in http.c | Sergey Mironov | 2014-09-02 | |
| | | | | | This should prevent a DDoS attack where attacker and keeps the connection open but send no data. | |||
* | Check realloc's return code to prevent segfault on out of memory condition ↵ | Sergey Mironov | 2014-09-02 | |
| | | | | (Part 3) | |||
* | Replace common "if(!quiet) printf(...)" pattern with a macro | Sergey Mironov | 2014-09-02 | |
| | ||||
* | Check realloc's return code to prevent segfault on out of memory condition ↵ | Sergey Mironov | 2014-08-24 | |
| | | | | (Part 2) | |||
* | In computing command lines, put filenames inside of quotes, to support ↵ | Adam Chlipala | 2014-09-04 | |
| | | | | spaces and other funky characters nicely | |||
* | Return to working version mode | Adam Chlipala | 2014-08-30 | |
| | ||||
* | New release | Adam Chlipala | 2014-08-30 | |
| | ||||
* | Extend ScriptCheck to take RPCs into account | Adam Chlipala | 2014-08-24 | |
| | ||||
* | Check realloc's return code to prevent segfault on out of memoty condition | Sergey Mironov | 2014-08-23 | |
| | ||||
* | Add 'role' data attribute. | Sergey Mironov | 2014-07-07 | |
| | | | | | | | Note, that 'role' attribute is a part of reach ARIA API described here: http://www.w3.org/TR/wai-aria/ Among 'role', it defines lots of aria-* attributes | |||
* | Return to working version mode | Adam Chlipala | 2014-08-19 | |
| | ||||
* | <cselect> and <coption> type fixes (grandfathered into release) | Adam Chlipala | 2014-08-19 | |
| | ||||
* | New release | Adam Chlipala | 2014-08-19 | |
| | ||||
* | A new test for <button> | Adam Chlipala | 2014-08-17 | |
| | ||||
* | Allow Body tags inside cformTags | Sergey Mironov | 2014-08-17 | |
| | | | | | This is required by Bootstrap. For example, see http://getbootstrap.com/components/#alerts-dismissible | |||
* | New phase: Dbmodecheck | Adam Chlipala | 2014-08-17 | |
| | ||||
* | Adds AJAX-oriented widget cpassword. | Ziv Scully | 2014-08-10 | |
| | ||||
* | 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 | |
| |