Commit message (Collapse) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | Fix a bug in subsignature checking for submodules | Adam Chlipala | 2014-12-30 | |
| | ||||
* | Add to .hgignore | Adam Chlipala | 2014-12-26 | |
| | ||||
* | Client-side conversion of string to bool | Adam Chlipala | 2014-12-25 | |
| | ||||
* | Broaden handling of wildcard rewrites | Adam Chlipala | 2014-12-24 | |
| | ||||
* | List.mem | Adam Chlipala | 2014-12-23 | |
| | ||||
* | Improve wildify heuristic for finding record type-class witnesses | Adam Chlipala | 2014-12-23 | |
| | ||||
* | New antiquote syntax for ORDER BY | Adam Chlipala | 2014-12-23 | |
| | ||||
* | Another try at a proper fix for constraint matching in subsignature checking | Adam Chlipala | 2014-12-23 | |
| | ||||
* | Compatibility fix in header file | Adam Chlipala | 2014-12-21 | |
| | ||||
* | Fix XML syntax for closing <input> tags | Adam Chlipala | 2014-12-18 | |
| | ||||
* | Return to working version mode | Adam Chlipala | 2014-12-06 | |
| | ||||
* | New release | Adam Chlipala | 2014-12-06 | |
| | ||||
* | Move code from last changeset, to improve performance | Adam Chlipala | 2014-12-05 | |
| | ||||
* | In checking signature subsumption, be sure to try constraints last. | Adam Chlipala | 2014-12-04 | |
| | ||||
* | 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 | |
| |